public class MinHeight extends GraphicObject
location, semantics
format
Constructor and Description |
---|
MinHeight()
Synthetic minimal constructor provided by the umod compiler.
|
Modifier and Type | Method and Description |
---|---|
MinHeight |
doclone()
Clones this object.
|
Format |
format()
Delivers a format object for pretty-printing by inheritance from some ancestor class.
|
MinHeight |
initFrom(java.lang.Object o0)
Copies values of all common fields from the argument.
|
doPrint, get_location, get_rawExtension, get_semantics, set_location, set_semantics
public MinHeight()
public MinHeight doclone()
Cloneable
is known to
be implemented.doclone
in class GraphicObject
public Format format()
format
in interface Formattable
format
in class GraphicObject
public MinHeight initFrom(java.lang.Object o0)
initFrom
in class GraphicObject