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

Packages that use Verify.Category1

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

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

Modifier and Type	Class and Description
static class	Verify.Float
static class	Verify.Int
static class	Verify.Null
static class	Verify.Object
static class	Verify.OneWord
static class	Verify.Reference
static class	Verify.Uninitialized
static class	Verify.UninitializedNew
static class	Verify.UninitializedThis

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

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

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

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

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

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

Modifier and Type	Method and Description
static Pattern<Object>	Verify.__Patterns.cast_Category1(Pattern<? super Verify.Category1> p)
static Pattern<? super Verify.Float>	Verify.__Patterns.term_Float(Pattern<? super Verify.Category1> superpattern)
static Pattern<? super Verify.Int>	Verify.__Patterns.term_Int(Pattern<? super Verify.Category1> superpattern)
static Pattern<? super Verify.Null>	Verify.__Patterns.term_Null(Pattern<? super Verify.Category1> superpattern)
static Pattern<? super Verify.Object>	Verify.__Patterns.term_Object(Pattern<? super Verify.Category1> superpattern, Pattern<? super String> p_classname)
static Pattern<? super Verify.OneWord>	Verify.__Patterns.term_OneWord(Pattern<? super Verify.Category1> superpattern)
static Pattern<? super Verify.Reference>	Verify.__Patterns.term_Reference(Pattern<? super Verify.Category1> superpattern)
static Pattern<? super Verify.Uninitialized>	Verify.__Patterns.term_Uninitialized(Pattern<? super Verify.Category1> superpattern)
static Pattern<? super Verify.UninitializedNew>	Verify.__Patterns.term_UninitializedNew(Pattern<? super Verify.Category1> superpattern, Pattern<? super LLJava.Instruction> p_offset)
static Pattern<? super Verify.UninitializedThis>	Verify.__Patterns.term_UninitializedThis(Pattern<? super Verify.Category1> superpattern)