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

Packages that use Verify.UninitializedThis

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

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

Modifier and Type	Method and Description
Verify.UninitializedThis	Verify.UninitializedThis.doclone()
Verify.UninitializedThis	Verify.UninitializedThis.initFrom(Object o0) Copies values of all common fields from the argument.

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

Modifier and Type	Method and Description
static Pattern<? super Verify.UninitializedThis>	Verify.__Patterns.term_UninitializedThis(Pattern<? super Verify.Category1> superpattern)

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

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

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

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