Uses of Class
eu.bandm.tools.lljava.absy.LLJava.Type
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.Type 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.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.static class
Generated by umod; model author's documentation MISSING.Modifier and TypeFieldDescriptionprotected LLJava.Type
LLJava.ArrayType.element
Generated by umod; model author's documentation MISSING.protected LLJava.Type
LLJava.TypeBound.erasure
The raw type represented by this type bound specification.protected LLJava.Type
LLJava.ArrayAccess.type
Generated by umod; model author's documentation MISSING.protected LLJava.Type
LLJava.Slot.type
Generated by umod; model author's documentation MISSING.protected LLJava.Type
LLJava.Variable.type
Generated by umod; model author's documentation MISSING.Modifier and TypeMethodDescriptionstatic LLJava.Type
LLJava.Type.doclone()
Clones this object.LLJava.ArrayType.get_element()
Generated by umod; model author's documentation MISSING.LLJava.TypeArgument.get_erasure()
LLJava.TypeBound.get_erasure()
The raw type represented by this type bound specification.LLJava.ArrayAccess.get_type()
Generated by umod; model author's documentation MISSING.LLJava.Slot.get_type()
Generated by umod; model author's documentation MISSING.LLJava.Variable.get_type()
Generated by umod; model author's documentation MISSING.Copies values of all common fields from the argument.(package private) static LLJava.Type
TypeChecker.unarray
(LLJava.VType atype) (package private) static LLJava.Type
(package private) static LLJava.Type
TypeChecker.untranslate
(LLJava.VType t) Modifier and TypeMethodDescriptionstatic Pattern<LLJava.Type>
LLJava.__Patterns.term_Type
(Pattern<? super LLJava.Result> superpattern) Modifier and TypeMethodDescriptionprotected void
LLJava.__Formatter.action
(LLJava.Type el) protected void
LLJava.MATCH_ONLY_00.action
(LLJava.Type e0) protected void
LLJava.MultiVisitor.action
(LLJava.Type e0) protected void
LLJava.Visitor.action
(LLJava.Type e0) static LLJava.Variable
SemanticUtils.anonymous
(LLJava.Type type) protected void
LLJava.MultiVisitor.descend
(LLJava.Type e0) void
LLJava.MATCH_ONLY_00.match
(LLJava.Type e0) protected void
LLJava.MultiVisitor.post
(LLJava.Type e0) protected void
LLJava.MultiVisitor.pre
(LLJava.Type e0) boolean
LLJava.PrimitiveTypeExpr.set_erasure
(LLJava.Type val) Generated by umod; model author's documentation MISSING.boolean
LLJava.ReferenceTypeExpr.set_erasure
(LLJava.Type val) The raw type represented by this type specification.boolean
LLJava.TypeBound.set_erasure
(LLJava.Type val) The raw type represented by this type bound specification.boolean
LLJava.Wildcard.set_erasure
(LLJava.Type val) The raw type represented by the upper bound of this wildcard type specification.boolean
LLJava.ArrayAccess.set_type
(LLJava.Type val) Generated by umod; model author's documentation MISSING.static LLJava.TypeExpr
SemanticUtils.synthesize
(LLJava.Type type) protected Format
LLJava.__Formatter.toFormat
(LLJava.Type el) (package private) static LLJava.VType
TypeChecker.translate
(LLJava.Type t) LLJava.ArrayType.with_element
(LLJava.Type val) Generated by umod; model author's documentation MISSING.LLJava.Slot.with_type
(LLJava.Type val) Generated by umod; model author's documentation MISSING.LLJava.Variable.with_type
(LLJava.Type val) Generated by umod; model author's documentation MISSING.Modifier and TypeMethodDescriptionLLJava.__Patterns.cast_Type
(Pattern<? super LLJava.Type> p) static Pattern<LLJava.ArrayType>
LLJava.ArrayType.get_element
(Pattern<? super LLJava.Type> p) Lifts a pattern which matches the field value to one which matches this whole object.static Pattern<LLJava.TypeArgument>
LLJava.TypeArgument.get_erasure
(Pattern<? super LLJava.Type> p) Lifts a pattern which matches the field value to one which matches this whole object.static Pattern<LLJava.TypeBound>
LLJava.TypeBound.get_erasure
(Pattern<? super LLJava.Type> p) Lifts a pattern which matches the field value to one which matches this whole object.static Pattern<LLJava.ArrayAccess>
LLJava.ArrayAccess.get_type
(Pattern<? super LLJava.Type> p) Lifts a pattern which matches the field value to one which matches this whole object.static Pattern<LLJava.Slot>
LLJava.Slot.get_type
(Pattern<? super LLJava.Type> p) Lifts a pattern which matches the field value to one which matches this whole object.static Pattern<LLJava.Variable>
LLJava.Variable.get_type
(Pattern<? super LLJava.Type> p) Lifts a pattern which matches the field value to one which matches this whole object.(package private) LLJava.VType
ConstantPoolCollector.Creator.lookupType
(List<? extends LLJava.Type> above) static Pattern<LLJava.PrimitiveType>
LLJava.__Patterns.term_PrimitiveType
(Pattern<? super LLJava.Type> superpattern) static Pattern<LLJava.RefType>
LLJava.__Patterns.term_RefType
(Pattern<? super LLJava.Type> superpattern) ModifierConstructorDescriptionArrayType
(LLJava.Type element) Constructor generated according to specification #0
Constructor defined according to directive "C 0/..".Slot
(LLJava.Type type, int index) Constructor generated according to specification #0
Constructor defined according to directive "C 0/..".Variable
(LLJava.Type type, LLJava.Name name) Constructor generated according to specification #0
Constructor defined according to directive "C 0/..". -
Uses of LLJava.Type in eu.bandm.tools.lljava.live
Modifier and TypeFieldDescriptionfinal LLJava.Type
BaseCompilationContext.FieldInfo.type
protected final LLJava.Type
BaseCompilationContext.VariableInfo.type
Modifier and TypeMethodDescriptionprotected VariableContext.Variable
BaseCompilationContext.variable
(LLJava.Type type, LLJava.FieldReference ref) protected VariableContext.Variable
BaseCompilationContext.variable
(LLJava.Type type, LLJava.VariableRef ref) ModifierConstructorDescription(package private)
EnvFieldInfo
(LLJava.Type type, Class<T> valueType, T value, LLJava.Field field, LLJava.VariableRef param) (package private)
FieldInfo
(LLJava.Type type, LLJava.Field field) (package private)
StateFieldInfo
(LLJava.Type type, LLJava.Field field) protected
VariableInfo
(VariableContext.Variable id, LLJava.Type type)