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.
(package private) static LLJava.ObjectVType	TypeChecker.translate(LLJava.QualId cname)
(package private) static LLJava.ObjectVType	TypeChecker.translate(LLJava.RefType t)
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)
(package private) LLJava.StackFrame	TypeChecker.Focus.exceptionally(LLJava.ObjectVType type)
void	LLJava.MATCH_ONLY_00.match(LLJava.ObjectVType e0)
(package private) LLJava.VType	TypeChecker.Focus.matchOperandUninitialized(LLJava.ObjectVType otype)
protected void	LLJava.MultiVisitor.post(LLJava.ObjectVType e0)
protected void	LLJava.MultiVisitor.pre(LLJava.ObjectVType e0)
protected Format	LLJava.__Formatter.toFormat(LLJava.ObjectVType el)
(package private) static LLJava.RefType	TypeChecker.untranslate(LLJava.ObjectVType t)
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)