Package eu.bandm.tools.lljava.absy

Class Verify.__Formatter

java.lang.Object

eu.bandm.tools.lljava.absy.Verify.MATCH_ONLY_00

eu.bandm.tools.lljava.absy.Verify.__Formatter

Enclosing class:

Verify

@Generated(generator="eu.bandm.tools.umod",
           version="",
           timestamp="2025-08-17_22h53m42")
public static class Verify.__Formatter
extends Verify.MATCH_ONLY_00

(Ancillary class for generating pretty-print format objects).
The user invokes the methods format() in the various model element classes, or Verify.toFormat(Object) in the main model class. This class works only in the background.

Field Summary

Fields

Modifier and Type	Field	Description
int	default_indent
protected static final Format	format_empty
int	mode
static String	nulltext
protected Format	result

Fields inherited from class eu.bandm.tools.lljava.absy.Verify.MATCH_ONLY_00

_visitor_debug_stream, partial

Constructor Summary

Constructors

Constructor	Description
__Formatter()

Method Summary

Modifier and Type	Method	Description
protected Format	__throwIt()
protected void	action(Verify.Category1 el)
protected void	action(Verify.Category2 el)
protected void	action(Verify.Double el)
protected void	action(Verify.Float el)
protected void	action(Verify.Int el)
protected void	action(Verify.Long el)
protected void	action(Verify.Null el)
protected void	action(Verify.Object el)
protected void	action(Verify.OneWord el)
protected void	action(Verify.Reference el)
protected void	action(Verify.Top el)
protected void	action(Verify.TwoWord el)
protected void	action(Verify.Type el)
protected void	action(Verify.Uninitialized el)
protected void	action(Verify.UninitializedNew el)
protected void	action(Verify.UninitializedThis el)
protected void	defaultformat(Object e0)
protected void	foreignObject(Object e0)	Delivers a Format for an object of any class.
protected int	getKey()
protected Format	matchChecked(Object e0)
protected Format	matchCheckedString(String e0)
void	nomatch(Object e0)
static Format	process(Object e0)
protected Format	toFormat(Verify.Category1 el)
protected Format	toFormat(Verify.Category2 el)
protected Format	toFormat(Verify.Double el)
protected Format	toFormat(Verify.Float el)
protected Format	toFormat(Verify.Int el)
protected Format	toFormat(Verify.Long el)
protected Format	toFormat(Verify.Null el)
protected Format	toFormat(Verify.Object el)
protected Format	toFormat(Verify.OneWord el)
protected Format	toFormat(Verify.Reference el)
protected Format	toFormat(Verify.Top el)
protected Format	toFormat(Verify.TwoWord el)
protected Format	toFormat(Verify.Type el)
protected Format	toFormat(Verify.Uninitialized el)
protected Format	toFormat(Verify.UninitializedNew el)
protected Format	toFormat(Verify.UninitializedThis el)
protected Format	toFormat(Object e0)

Methods inherited from class eu.bandm.tools.lljava.absy.Verify.MATCH_ONLY_00

action, compile, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

nulltext

public static String nulltext

default_indent

public int default_indent

mode

public int mode

format_empty

protected static final Format format_empty

result

protected Format result

Constructor Details

__Formatter

public __Formatter()

Method Details

getKey

protected int getKey()

foreignObject

protected void foreignObject(Object e0)

Delivers a Format for an object of any class.

Overrides:

foreignObject in class Verify.MATCH_ONLY_00

nomatch

public void nomatch(Object e0)

Overrides:

nomatch in class Verify.MATCH_ONLY_00

process

public static Format process(Object e0)

toFormat

protected Format toFormat(Object e0)

defaultformat

protected void defaultformat(Object e0)

__throwIt

protected Format __throwIt()

matchChecked

protected Format matchChecked(Object e0)

matchCheckedString

protected Format matchCheckedString(String e0)

toFormat

protected Format toFormat(Verify.Type el)

action

protected void action(Verify.Type el)

Overrides:

action in class Verify.MATCH_ONLY_00

toFormat

protected Format toFormat(Verify.Top el)

action

protected void action(Verify.Top el)

Overrides:

action in class Verify.MATCH_ONLY_00

toFormat

protected Format toFormat(Verify.Category1 el)

action

protected void action(Verify.Category1 el)

Overrides:

action in class Verify.MATCH_ONLY_00

toFormat

protected Format toFormat(Verify.OneWord el)

action

protected void action(Verify.OneWord el)

Overrides:

action in class Verify.MATCH_ONLY_00

toFormat

protected Format toFormat(Verify.Int el)

action

protected void action(Verify.Int el)

Overrides:

action in class Verify.MATCH_ONLY_00

toFormat

protected Format toFormat(Verify.Float el)

action

protected void action(Verify.Float el)

Overrides:

action in class Verify.MATCH_ONLY_00

toFormat

protected Format toFormat(Verify.Reference el)

action

protected void action(Verify.Reference el)

Overrides:

action in class Verify.MATCH_ONLY_00

toFormat

protected Format toFormat(Verify.Uninitialized el)

action

protected void action(Verify.Uninitialized el)

Overrides:

action in class Verify.MATCH_ONLY_00

toFormat

protected Format toFormat(Verify.UninitializedThis el)

action

protected void action(Verify.UninitializedThis el)

Overrides:

action in class Verify.MATCH_ONLY_00

toFormat

protected Format toFormat(Verify.UninitializedNew el)

action

protected void action(Verify.UninitializedNew el)

Overrides:

action in class Verify.MATCH_ONLY_00

toFormat

protected Format toFormat(Verify.Object el)

action

protected void action(Verify.Object el)

Overrides:

action in class Verify.MATCH_ONLY_00

toFormat

protected Format toFormat(Verify.Null el)

action

protected void action(Verify.Null el)

Overrides:

action in class Verify.MATCH_ONLY_00

toFormat

protected Format toFormat(Verify.Category2 el)

action

protected void action(Verify.Category2 el)

Overrides:

action in class Verify.MATCH_ONLY_00

toFormat

protected Format toFormat(Verify.TwoWord el)

action

protected void action(Verify.TwoWord el)

Overrides:

action in class Verify.MATCH_ONLY_00

toFormat

protected Format toFormat(Verify.Long el)

action

protected void action(Verify.Long el)

Overrides:

action in class Verify.MATCH_ONLY_00

toFormat

protected Format toFormat(Verify.Double el)

action

protected void action(Verify.Double el)

Overrides:

action in class Verify.MATCH_ONLY_00