Uses of Class
eu.bandm.tools.lljava.absy.LLJava.ObjectVType

Packages that use LLJava.ObjectVType

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

Methods in eu.bandm.tools.lljava.absy that return LLJava.ObjectVType

Modifier and Type	Method	Description
LLJava.ObjectVType	LLJava.ObjectVType.doclone()	Clones this object.
LLJava.ObjectVType	LLJava.ObjectVType.initFrom(Object o0)	Copies values of all common fields from the argument.
LLJava.ObjectVType	LLJava.ObjectVType.with_classname(String val)	Generated by umod; model author's documentation MISSING.

Methods in eu.bandm.tools.lljava.absy that return types with arguments of type LLJava.ObjectVType

Modifier and Type	Method	Description
static Pattern<LLJava.ObjectVType>	LLJava.ObjectVType.get_classname(Pattern<? super String> p)	Lifts a pattern which matches the field value to one which matches this whole object.
static Pattern<LLJava.ObjectVType>	LLJava.__Patterns.term_ObjectVType(Pattern<? super LLJava.Category1VType> superpattern, Pattern<? super String> p_classname)

Methods in eu.bandm.tools.lljava.absy with parameters of type LLJava.ObjectVType

Modifier and Type	Method	Description
protected void	LLJava.__Formatter.action(LLJava.ObjectVType el)
protected void	LLJava.MATCH_ONLY_00.action(LLJava.ObjectVType e0)
protected void	LLJava.MultiVisitor.action(LLJava.ObjectVType e0)
protected void	LLJava.Visitor.action(LLJava.ObjectVType e0)
protected void	LLJava.MultiVisitor.descend(LLJava.ObjectVType e0)
void	LLJava.MATCH_ONLY_00.match(LLJava.ObjectVType e0)
protected void	LLJava.MultiVisitor.post(LLJava.ObjectVType e0)
protected void	LLJava.MultiVisitor.pre(LLJava.ObjectVType e0)
protected Format	LLJava.__Formatter.toFormat(LLJava.ObjectVType el)
boolean	LLJava.ObjectVType.x_equals(LLJava.ObjectVType e0)

Method parameters in eu.bandm.tools.lljava.absy with type arguments of type LLJava.ObjectVType

Modifier and Type	Method	Description
static Pattern<Object>	LLJava.__Patterns.cast_ObjectVType(Pattern<? super LLJava.ObjectVType> p)