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

Packages that use Verify.Uninitialized

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

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

Modifier and Type	Method	Description
Verify.Uninitialized	Verify.Uninitialized.doclone()	Clones this object.
Verify.Uninitialized	Verify.Uninitialized.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.Uninitialized

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

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

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

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

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