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.
|
eu.bandm.tools.lljava.live |
Modifier and Type | Class and Description |
---|---|
static class |
LLJava.ArrayType
Generated by umod; model author's documentation MISSING.
|
static class |
LLJava.BooleanType
Generated by umod; model author's documentation MISSING.
|
static class |
LLJava.ByteType
Generated by umod; model author's documentation MISSING.
|
static class |
LLJava.CharType
Generated by umod; model author's documentation MISSING.
|
static class |
LLJava.ClassType
Generated by umod; model author's documentation MISSING.
|
static class |
LLJava.DoubleType
Generated by umod; model author's documentation MISSING.
|
static class |
LLJava.FloatType
Generated by umod; model author's documentation MISSING.
|
static class |
LLJava.IntType
Generated by umod; model author's documentation MISSING.
|
static class |
LLJava.LongType
Generated by umod; model author's documentation MISSING.
|
static class |
LLJava.PrimitiveType
Generated by umod; model author's documentation MISSING.
|
static class |
LLJava.RefType
Generated by umod; model author's documentation MISSING.
|
static class |
LLJava.ShortType
Generated by umod; model author's documentation MISSING.
|
static class |
LLJava.WideType
Generated by umod; model author's documentation MISSING.
|
Modifier and Type | Field and Description |
---|---|
protected 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.
|
static LLJava.Type |
Factory.intType |
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 Type | Method and Description |
---|---|
static LLJava.Type |
SemanticUtils.asType(Class<?> type) |
LLJava.Type |
LLJava.Type.doclone()
Clones this object.
|
LLJava.Type |
LLJava.ArrayType.get_element()
Generated by umod; model author's documentation MISSING.
|
LLJava.Type |
LLJava.TypeArgument.get_erasure() |
LLJava.Type |
LLJava.TypeBound.get_erasure()
The raw type represented by this type bound
specification.
|
LLJava.Type |
LLJava.ArrayAccess.get_type()
Generated by umod; model author's documentation MISSING.
|
LLJava.Type |
LLJava.Slot.get_type()
Generated by umod; model author's documentation MISSING.
|
LLJava.Type |
LLJava.Variable.get_type()
Generated by umod; model author's documentation MISSING.
|
LLJava.Type |
LLJava.Type.initFrom(Object o0)
Copies values of all common fields from the argument.
|
Modifier and Type | Method and Description |
---|---|
static Pattern<? super LLJava.Type> |
LLJava.__Patterns.term_Type(Pattern<? super LLJava.Result> superpattern) |
Modifier and Type | Method and Description |
---|---|
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) |
protected void |
LLJava.__Formatter.action(LLJava.Type el) |
static LLJava.Variable |
SemanticUtils.anonymous(LLJava.Type type) |
static LLJava.ArrayType |
Factory.array(LLJava.Type elemType) |
protected void |
LLJava.MultiVisitor.descend(LLJava.Type e0) |
static LLJava.MethodReference |
Factory.interfaceMethodRef(LLJava.Result result,
LLJava.QualId owner,
String name,
LLJava.Type... params) |
void |
LLJava.MATCH_ONLY_00.match(LLJava.Type e0) |
static LLJava.MethodReference |
Factory.methodRef(LLJava.Result result,
LLJava.QualId owner,
String name,
LLJava.Type... params) |
static LLJava.Variable |
Factory.newVariable(LLJava.Type type) |
static LLJava.Variable |
Factory.newVariable(LLJava.Type type,
LLJava.Name name) |
static LLJava.Variable |
Factory.newVariable(LLJava.Type type,
String name) |
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) |
LLJava.ArrayType |
LLJava.ArrayType.with_element(LLJava.Type val)
Generated by umod; model author's documentation MISSING.
|
LLJava.Slot |
LLJava.Slot.with_type(LLJava.Type val)
Generated by umod; model author's documentation MISSING.
|
LLJava.Variable |
LLJava.Variable.with_type(LLJava.Type val)
Generated by umod; model author's documentation MISSING.
|
Modifier and Type | Method and Description |
---|---|
static Pattern<Object> |
LLJava.__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.
|
static Pattern<? super LLJava.ArrayAccess> |
LLJava.__Patterns.term_ArrayAccess(Pattern<? super LLJava.StoreArgument> superpattern,
Pattern<? super LLJava.Type> p_type) |
static Pattern<? super LLJava.ArrayType> |
LLJava.__Patterns.term_ArrayType(Pattern<? super LLJava.RefType> superpattern,
Pattern<? super LLJava.Type> p_element) |
static Pattern<? super LLJava.PrimitiveType> |
LLJava.__Patterns.term_PrimitiveType(Pattern<? super LLJava.Type> superpattern) |
static Pattern<? super LLJava.RefType> |
LLJava.__Patterns.term_RefType(Pattern<? super LLJava.Type> superpattern) |
static Pattern<? super LLJava.Slot> |
LLJava.__Patterns.term_Slot(Pattern<Object> superpattern,
Pattern<? super LLJava.Type> p_type,
Pattern<? super Integer> p_index) |
static Pattern<? super LLJava.TypeArgument> |
LLJava.__Patterns.term_TypeArgument(Pattern<? super LLJava.Node> superpattern,
Pattern<? super CheckedList<LLJava.Annotation>> p_annotations,
Pattern<? super LLJava.Type> p_erasure) |
static Pattern<? super LLJava.TypeBound> |
LLJava.__Patterns.term_TypeBound(Pattern<? super LLJava.Node> superpattern,
Pattern<? super LLJava.ReferenceTypeExpr> p_limit,
Pattern<? super LLJava.Type> p_erasure) |
static Pattern<? super LLJava.Variable> |
LLJava.__Patterns.term_Variable(Pattern<Object> superpattern,
Pattern<? super LLJava.Type> p_type,
Pattern<? super LLJava.Name> p_name) |
Constructor and Description |
---|
ArrayType(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/..". |
Modifier and Type | Field and Description |
---|---|
LLJava.Type |
BaseCompilationContext.FieldInfo.type |
protected LLJava.Type |
BaseCompilationContext.VariableInfo.type |
LLJava.Type |
BaseCompilationContext.FieldInfo.type |
protected LLJava.Type |
BaseCompilationContext.VariableInfo.type |
Modifier and Type | Method and Description |
---|---|
LLJava.Type |
BaseCompilationContext.FieldInfo.getType() |
LLJava.Type |
BaseCompilationContext.FieldInfo.getType() |
Modifier and Type | Method and Description |
---|---|
protected eu.bandm.tools.lljava.live.VariableContext.Variable |
BaseCompilationContext.variable(LLJava.Type type,
LLJava.FieldReference ref) |
protected eu.bandm.tools.lljava.live.VariableContext.Variable |
BaseCompilationContext.variable(LLJava.Type type,
LLJava.FieldReference ref) |
protected eu.bandm.tools.lljava.live.VariableContext.Variable |
BaseCompilationContext.variable(LLJava.Type type,
LLJava.VariableRef ref) |
protected eu.bandm.tools.lljava.live.VariableContext.Variable |
BaseCompilationContext.variable(LLJava.Type type,
LLJava.VariableRef ref) |
Constructor and Description |
---|
VariableInfo(eu.bandm.tools.lljava.live.VariableContext.Variable id,
LLJava.Type type) |
VariableInfo(eu.bandm.tools.lljava.live.VariableContext.Variable id,
LLJava.Type type) |
see also the complete user documentation .