Uses of Class
eu.bandm.tools.lljava.absy.Verify.Object

Packages that use Verify.Object

Package	Description
eu.bandm.tools.lljava.absy	Abstract Syntax of LLJava, representing the byte code instructions, the objects which contain byte code, and the attributes specific to byte code classes.

Uses of Verify.Object in eu.bandm.tools.lljava.absy

Methods in eu.bandm.tools.lljava.absy that return Verify.Object

Modifier and Type	Method	Description
Verify.Object	Verify.Object.doclone()	Clones this object.
Verify.Object	Verify.Object.initFrom(Object o0)	Copies values of all common fields from the argument.
Verify.Object	Verify.Object.with_classname(String val)	Generated by umod; model author's documentation MISSING.

Methods in eu.bandm.tools.lljava.absy that return types with arguments of type Verify.Object

Modifier and Type	Method	Description
static Pattern<Verify.Object>	Verify.Object.get_classname(Pattern<? super String> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<Verify.Object>	Verify.__Patterns.term_Object(Pattern<? super Verify.Category1> superpattern, Pattern<? super String> p_classname)

Methods in eu.bandm.tools.lljava.absy with parameters of type Verify.Object

Modifier and Type	Method	Description
protected void	Verify.__Formatter.action(Verify.Object el)
protected void	Verify.MATCH_ONLY_00.action(Verify.Object e0)
void	Verify.MATCH_ONLY_00.match(Verify.Object e0)
protected Format	Verify.__Formatter.toFormat(Verify.Object el)
boolean	Verify.Object.x_equals(Verify.Object e0)

Method parameters in eu.bandm.tools.lljava.absy with type arguments of type Verify.Object

Modifier and Type	Method	Description
static Pattern<Object>	Verify.__Patterns.cast_Object(Pattern<? super Verify.Object> p)