public static class Verify.__Formatter extends Verify.MATCH_ONLY_00
format()
in
the various model element classes, or Verify.toFormat(Object)
in the main model
class. This class works only in the background.Modifier and Type | Field and Description |
---|---|
int |
default_indent |
protected static Format |
format_empty |
int |
mode |
static String |
nulltext |
protected Format |
result |
_visitor_debug_stream, partial
Constructor and Description |
---|
__Formatter() |
public static String nulltext
public int default_indent
public int mode
protected static final Format format_empty
protected Format result
protected int getKey()
protected void foreignObject(Object e0)
foreignObject
in class Verify.MATCH_ONLY_00
public void nomatch(Object e0)
nomatch
in class Verify.MATCH_ONLY_00
protected void defaultformat(Object e0)
protected Format __throwIt()
protected Format toFormat(Verify.Type el)
protected void action(Verify.Type el)
action
in class Verify.MATCH_ONLY_00
protected Format toFormat(Verify.Top el)
protected void action(Verify.Top el)
action
in class Verify.MATCH_ONLY_00
protected Format toFormat(Verify.Category1 el)
protected void action(Verify.Category1 el)
action
in class Verify.MATCH_ONLY_00
protected Format toFormat(Verify.OneWord el)
protected void action(Verify.OneWord el)
action
in class Verify.MATCH_ONLY_00
protected Format toFormat(Verify.Int el)
protected void action(Verify.Int el)
action
in class Verify.MATCH_ONLY_00
protected Format toFormat(Verify.Float el)
protected void action(Verify.Float el)
action
in class Verify.MATCH_ONLY_00
protected Format toFormat(Verify.Reference el)
protected void action(Verify.Reference el)
action
in class Verify.MATCH_ONLY_00
protected Format toFormat(Verify.Uninitialized el)
protected void action(Verify.Uninitialized el)
action
in class Verify.MATCH_ONLY_00
protected Format toFormat(Verify.UninitializedThis el)
protected void action(Verify.UninitializedThis el)
action
in class Verify.MATCH_ONLY_00
protected Format toFormat(Verify.UninitializedNew el)
protected void action(Verify.UninitializedNew el)
action
in class Verify.MATCH_ONLY_00
protected Format toFormat(Verify.Object el)
protected void action(Verify.Object el)
action
in class Verify.MATCH_ONLY_00
protected Format toFormat(Verify.Null el)
protected void action(Verify.Null el)
action
in class Verify.MATCH_ONLY_00
protected Format toFormat(Verify.Category2 el)
protected void action(Verify.Category2 el)
action
in class Verify.MATCH_ONLY_00
protected Format toFormat(Verify.TwoWord el)
protected void action(Verify.TwoWord el)
action
in class Verify.MATCH_ONLY_00
protected Format toFormat(Verify.Long el)
protected void action(Verify.Long el)
action
in class Verify.MATCH_ONLY_00
protected Format toFormat(Verify.Double el)
protected void action(Verify.Double el)
action
in class Verify.MATCH_ONLY_00
see also the complete user documentation .