public static class LLJava.Exit extends LLJava.Monitor
post, pre
location
format
Constructor and Description |
---|
Exit()
Synthetic minimal constructor provided by the umod compiler.
|
Modifier and Type | Method and Description |
---|---|
LLJava.Exit |
doclone()
Clones this object.
|
Format |
format()
Delivers a format object for pretty-printing, as specified in the umod source.
|
static String |
getFormatHint()
Delivers the format specification from the umod source.
|
LLJava.Exit |
initFrom(Object o0)
Copies values of all common fields from the argument.
|
get_post, get_post, get_pre, get_pre, set_post, set_pre
toString
get_location, get_location, set_location
public Exit()
public LLJava.Exit doclone()
Cloneable
is known
to be implemented.doclone
in class LLJava.Monitor
public static String getFormatHint()
'exit'
public Format format()
format
in interface Formattable
format
in class LLJava.Monitor
public LLJava.Exit initFrom(Object o0)
initFrom
in class LLJava.Monitor
see also the complete user documentation .