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

Packages that use LLJava.RefType

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

Subclasses of LLJava.RefType in eu.bandm.tools.lljava.absy

Modifier and Type	Class	Description
static class	LLJava.ArrayType	Generated by umod; model author's documentation MISSING.
static class	LLJava.ClassType	Generated by umod; model author's documentation MISSING.

Fields in eu.bandm.tools.lljava.absy declared as LLJava.RefType

Modifier and Type	Field	Description
protected LLJava.RefType	LLJava.ReferenceTypeExpr.erasure	The raw type represented by this type specification.
protected LLJava.RefType	LLJava.Wildcard.erasure	The raw type represented by the upper bound of this wildcard type specification.

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

Modifier and Type	Method	Description
LLJava.RefType	LLJava.RefType.doclone()	Clones this object.
LLJava.RefType	LLJava.ReferenceTypeExpr.get_erasure()	The raw type represented by this type specification.
LLJava.RefType	LLJava.Wildcard.get_erasure()	The raw type represented by the upper bound of this wildcard type specification.
LLJava.RefType	LLJava.RefType.initFrom(Object o0)	Copies values of all common fields from the argument.
(package private) static LLJava.RefType	TypeChecker.untranslate(LLJava.ObjectVType t)

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

Modifier and Type	Method	Description
static Pattern<LLJava.RefType>	LLJava.__Patterns.term_RefType(Pattern<? super LLJava.Type> superpattern)

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

Modifier and Type	Method	Description
protected void	LLJava.__Formatter.action(LLJava.RefType el)
protected void	LLJava.MATCH_ONLY_00.action(LLJava.RefType e0)
protected void	LLJava.MultiVisitor.action(LLJava.RefType e0)
protected void	LLJava.Visitor.action(LLJava.RefType e0)
protected void	LLJava.MultiVisitor.descend(LLJava.RefType e0)
void	LLJava.MATCH_ONLY_00.match(LLJava.RefType e0)
protected void	LLJava.MultiVisitor.post(LLJava.RefType e0)
protected void	LLJava.MultiVisitor.pre(LLJava.RefType e0)
protected Format	LLJava.__Formatter.toFormat(LLJava.RefType el)
(package private) static LLJava.ObjectVType	TypeChecker.translate(LLJava.RefType t)

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

Modifier and Type	Method	Description
static Pattern<Object>	LLJava.__Patterns.cast_RefType(Pattern<? super LLJava.RefType> p)
static Pattern<LLJava.ArrayType>	LLJava.__Patterns.term_ArrayType(Pattern<? super LLJava.RefType> superpattern, Pattern<? super LLJava.Type> p_element)
static Pattern<LLJava.ClassType>	LLJava.__Patterns.term_ClassType(Pattern<? super LLJava.RefType> superpattern, Pattern<? super LLJava.QualId> p_name)