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

Packages that use Verify.UninitializedNew

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.UninitializedNew in eu.bandm.tools.lljava.absy

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

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

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

Modifier and Type	Method	Description
static Pattern<Verify.UninitializedNew>	Verify.UninitializedNew.get_offset(Pattern<? super LLJava.Instruction> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<Verify.UninitializedNew>	Verify.__Patterns.term_UninitializedNew(Pattern<? super Verify.Category1> superpattern, Pattern<? super LLJava.Instruction> p_offset)

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

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

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

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