Uses of Class
eu.bandm.tools.lljava.absy.LLJava.RefType
Package
Description
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
Modifier and TypeClassDescriptionstatic class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.Modifier and TypeFieldDescriptionprotected 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.Modifier and TypeMethodDescriptionLLJava.RefType.doclone()
Clones this object.LLJava.ReferenceTypeExpr.get_erasure()
The raw type represented by this type specification.LLJava.Wildcard.get_erasure()
The raw type represented by the upper bound of this wildcard type specification.Copies values of all common fields from the argument.(package private) static LLJava.RefType
TypeChecker.untranslate
(LLJava.ObjectVType t) Modifier and TypeMethodDescriptionstatic Pattern<LLJava.RefType>
LLJava.__Patterns.term_RefType
(Pattern<? super LLJava.Type> superpattern) Modifier and TypeMethodDescriptionprotected 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) Modifier and TypeMethodDescriptionLLJava.__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)