Package eu.bandm.tools.lljava.absy

Class Verify.MATCH_ONLY_00

java.lang.Object

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

Direct Known Subclasses:

Verify.__Formatter

Enclosing class:

Verify

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

(Ancillary class as basis for all visitors).

This class executes only the cascaded instanceof(..) tests and is hardly considered directly by the user. Instead, the user works with the derived visitor classes.

Field Summary

Fields

Modifier and Type	Field	Description
protected PrintStream	_visitor_debug_stream
protected boolean	partial

Constructor Summary

Constructors

Constructor	Description
MATCH_ONLY_00()

Method Summary

Modifier and Type	Method	Description
protected void	action(LLJava.Instruction e0)
protected void	action(Verify.Category1 e0)
protected void	action(Verify.Category2 e0)
protected void	action(Verify.Double e0)
protected void	action(Verify.Float e0)
protected void	action(Verify.Int e0)
protected void	action(Verify.Long e0)
protected void	action(Verify.Null e0)
protected void	action(Verify.Object e0)
protected void	action(Verify.OneWord e0)
protected void	action(Verify.Reference e0)
protected void	action(Verify.Top e0)
protected void	action(Verify.TwoWord e0)
protected void	action(Verify.Type e0)
protected void	action(Verify.Uninitialized e0)
protected void	action(Verify.UninitializedNew e0)
protected void	action(Verify.UninitializedThis e0)
Verify.MATCH_ONLY_00	compile()
protected void	foreignObject(Object e0)
void	match(Verify.Category1 e0)
void	match(Verify.Category2 e0)
void	match(Verify.Double e0)
void	match(Verify.Float e0)
void	match(Verify.Int e0)
void	match(Verify.Long e0)
void	match(Verify.Null e0)
void	match(Verify.Object e0)
void	match(Verify.OneWord e0)
void	match(Verify.Reference e0)
void	match(Verify.Top e0)
void	match(Verify.TwoWord e0)
void	match(Verify.Type e0)
void	match(Verify.Uninitialized e0)
void	match(Verify.UninitializedNew e0)
void	match(Verify.UninitializedThis e0)
void	match(Object e0)
void	nomatch(Object e0)

Methods inherited from class java.lang.Object

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

Field Details

partial

protected boolean partial

_visitor_debug_stream

protected PrintStream _visitor_debug_stream

Constructor Details

MATCH_ONLY_00

public MATCH_ONLY_00()

Method Details

compile

public Verify.MATCH_ONLY_00 compile()

match

public void match(Object e0)

foreignObject

protected void foreignObject(Object e0)

nomatch

public void nomatch(Object e0)

action

protected void action(Verify.Type e0)

action

protected void action(Verify.Top e0)

action

protected void action(Verify.Category1 e0)

action

protected void action(Verify.OneWord e0)

action

protected void action(Verify.Int e0)

action

protected void action(Verify.Float e0)

action

protected void action(Verify.Reference e0)

action

protected void action(Verify.Uninitialized e0)

action

protected void action(Verify.UninitializedThis e0)

action

protected void action(Verify.UninitializedNew e0)

action

protected void action(Verify.Object e0)

action

protected void action(Verify.Null e0)

action

protected void action(Verify.Category2 e0)

action

protected void action(Verify.TwoWord e0)

action

protected void action(Verify.Long e0)

action

protected void action(Verify.Double e0)

action

protected void action(LLJava.Instruction e0)

match

public void match(Verify.Type e0)

match

public void match(Verify.Top e0)

match

public void match(Verify.Category1 e0)

match

public void match(Verify.OneWord e0)

match

public void match(Verify.Int e0)

match

public void match(Verify.Float e0)

match

public void match(Verify.Reference e0)

match

public void match(Verify.Uninitialized e0)

match

public void match(Verify.UninitializedThis e0)

match

public void match(Verify.UninitializedNew e0)

match

public void match(Verify.Object e0)

match

public void match(Verify.Null e0)

match

public void match(Verify.Category2 e0)

match

public void match(Verify.TwoWord e0)

match

public void match(Verify.Long e0)

match

public void match(Verify.Double e0)