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

Packages that use Verify.Reference

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

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

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

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

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

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

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

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