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

Packages that use Verify.Category2

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

Subclasses of Verify.Category2 in eu.bandm.tools.lljava.absy

Modifier and Type	Class	Description
static class	Verify.Double
static class	Verify.Long
static class	Verify.TwoWord

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

Modifier and Type	Method	Description
Verify.Category2	Verify.Category2.doclone()
Verify.Category2	Verify.Category2.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.Category2

Modifier and Type	Method	Description
static Pattern<Verify.Category2>	Verify.__Patterns.term_Category2(Pattern<? super Verify.Type> superpattern)

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

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

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

Modifier and Type	Method	Description
static Pattern<Object>	Verify.__Patterns.cast_Category2(Pattern<? super Verify.Category2> p)
static Pattern<Verify.Double>	Verify.__Patterns.term_Double(Pattern<? super Verify.Category2> superpattern)
static Pattern<Verify.Long>	Verify.__Patterns.term_Long(Pattern<? super Verify.Category2> superpattern)
static Pattern<Verify.TwoWord>	Verify.__Patterns.term_TwoWord(Pattern<? super Verify.Category2> superpattern)