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.codec | |
eu.bandm.tools.lljava.parser |
Modifier and Type | Class and Description |
---|---|
static class |
LLJava.ArrayTypeExpr
Syntactic expression denoting an array type.
|
static class |
LLJava.ClassTypeExpr
Syntactic expression denoting a class type.
|
static class |
LLJava.PrimitiveTypeExpr
Syntactic expression denoting a primitive type.
|
static class |
LLJava.ReferenceTypeExpr
Syntactic expression denoting a reference type.
|
Modifier and Type | Field and Description |
---|---|
protected LLJava.TypeExpr |
LLJava.ArrayTypeExpr.base
Generated by umod; model author's documentation MISSING.
|
protected LLJava.TypeExpr |
LLJava.Cast.type
Generated by umod; model author's documentation MISSING.
|
protected LLJava.TypeExpr |
LLJava.DynamicExpr.type
Generated by umod; model author's documentation MISSING.
|
protected LLJava.TypeExpr |
LLJava.Field.type
Generated by umod; model author's documentation MISSING.
|
protected LLJava.TypeExpr |
LLJava.FieldReference.type
Generated by umod; model author's documentation MISSING.
|
protected LLJava.TypeExpr |
LLJava.Local.type
Generated by umod; model author's documentation MISSING.
|
protected LLJava.TypeExpr |
LLJava.MethodReferenceParameter.type
Generated by umod; model author's documentation MISSING.
|
protected LLJava.TypeExpr |
LLJava.Parameter.type
Generated by umod; model author's documentation MISSING.
|
protected LLJava.TypeExpr |
LLJava.ReturnsExpr.type
Generated by umod; model author's documentation MISSING.
|
Modifier and Type | Field and Description |
---|---|
protected CheckedList<LLJava.TypeExpr> |
LLJava.MethodTypeExpr.parameters
Generated by umod; model author's documentation MISSING.
|
Modifier and Type | Method and Description |
---|---|
static LLJava.TypeExpr |
SemanticUtils.asTypeExpr(Class<?> type) |
LLJava.TypeExpr |
LLJava.TypeExpr.doclone()
Clones this object.
|
LLJava.TypeExpr |
LLJava.ArrayTypeExpr.get_base()
Generated by umod; model author's documentation MISSING.
|
LLJava.TypeExpr |
LLJava.Cast.get_type()
Generated by umod; model author's documentation MISSING.
|
LLJava.TypeExpr |
LLJava.DynamicExpr.get_type()
Generated by umod; model author's documentation MISSING.
|
LLJava.TypeExpr |
LLJava.Field.get_type()
Generated by umod; model author's documentation MISSING.
|
LLJava.TypeExpr |
LLJava.FieldReference.get_type()
Generated by umod; model author's documentation MISSING.
|
LLJava.TypeExpr |
LLJava.Local.get_type()
Generated by umod; model author's documentation MISSING.
|
LLJava.TypeExpr |
LLJava.MethodReferenceParameter.get_type()
Generated by umod; model author's documentation MISSING.
|
LLJava.TypeExpr |
LLJava.Parameter.get_type()
Generated by umod; model author's documentation MISSING.
|
LLJava.TypeExpr |
LLJava.ReturnsExpr.get_type()
Generated by umod; model author's documentation MISSING.
|
LLJava.TypeExpr |
LLJava.TypeInstruction.get_type() |
LLJava.TypeExpr |
LLJava.TypeExpr.initFrom(Object o0)
Copies values of all common fields from the argument.
|
static LLJava.TypeExpr |
SemanticUtils.synthesize(LLJava.Type type) |
Modifier and Type | Method and Description |
---|---|
CheckedList<LLJava.TypeExpr> |
LLJava.MethodTypeExpr.get_parameters()
Generated by umod; model author's documentation MISSING.
|
static Pattern<? super LLJava.TypeExpr> |
LLJava.__Patterns.term_TypeExpr(Pattern<? super LLJava.TypeArgument> superpattern) |
Modifier and Type | Method and Description |
---|---|
protected void |
LLJava.MATCH_ONLY_00.action(LLJava.TypeExpr e0) |
protected void |
LLJava.MultiVisitor.action(LLJava.TypeExpr e0) |
protected void |
LLJava.Visitor.action(LLJava.TypeExpr e0) |
protected void |
LLJava.__Formatter.action(LLJava.TypeExpr el) |
protected void |
LLJava.MultiVisitor.descend(LLJava.TypeExpr e0) |
void |
LLJava.MATCH_ONLY_00.match(LLJava.TypeExpr e0) |
protected void |
LLJava.MultiVisitor.post(LLJava.TypeExpr e0) |
protected void |
LLJava.MultiVisitor.pre(LLJava.TypeExpr e0) |
boolean |
LLJava.ArrayTypeExpr.set_base(LLJava.TypeExpr val)
Generated by umod; model author's documentation MISSING.
|
boolean |
LLJava.Cast.set_type(LLJava.TypeExpr val)
Generated by umod; model author's documentation MISSING.
|
boolean |
LLJava.DynamicExpr.set_type(LLJava.TypeExpr val)
Generated by umod; model author's documentation MISSING.
|
boolean |
LLJava.Field.set_type(LLJava.TypeExpr val)
Generated by umod; model author's documentation MISSING.
|
boolean |
LLJava.FieldReference.set_type(LLJava.TypeExpr val)
Generated by umod; model author's documentation MISSING.
|
boolean |
LLJava.Instanceof.set_type(LLJava.TypeExpr val)
Generated by umod; model author's documentation MISSING.
|
boolean |
LLJava.Local.set_type(LLJava.TypeExpr val)
Generated by umod; model author's documentation MISSING.
|
boolean |
LLJava.MethodReferenceParameter.set_type(LLJava.TypeExpr val)
Generated by umod; model author's documentation MISSING.
|
boolean |
LLJava.New.set_type(LLJava.TypeExpr val)
Generated by umod; model author's documentation MISSING.
|
boolean |
LLJava.Parameter.set_type(LLJava.TypeExpr val)
Generated by umod; model author's documentation MISSING.
|
boolean |
LLJava.ReturnsExpr.set_type(LLJava.TypeExpr val)
Generated by umod; model author's documentation MISSING.
|
protected Format |
LLJava.__Formatter.toFormat(LLJava.TypeExpr el) |
Modifier and Type | Method and Description |
---|---|
static Pattern<Object> |
LLJava.__Patterns.cast_TypeExpr(Pattern<? super LLJava.TypeExpr> p) |
static Pattern<LLJava.ArrayTypeExpr> |
LLJava.ArrayTypeExpr.get_base(Pattern<? super LLJava.TypeExpr> p)
Lifts a pattern which matches the field value to one which matches this
whole object.
|
static Pattern<LLJava.MethodTypeExpr> |
LLJava.MethodTypeExpr.get_parameters(Pattern<? super CheckedList<LLJava.TypeExpr>> p)
Lifts a pattern which matches the field value to one which matches this
whole object.
|
static Pattern<LLJava.DynamicExpr> |
LLJava.DynamicExpr.get_type(Pattern<? super LLJava.TypeExpr> p)
Lifts a pattern which matches the field value to one which matches this
whole object.
|
static Pattern<LLJava.Field> |
LLJava.Field.get_type(Pattern<? super LLJava.TypeExpr> p)
Lifts a pattern which matches the field value to one which matches this
whole object.
|
static Pattern<LLJava.FieldReference> |
LLJava.FieldReference.get_type(Pattern<? super LLJava.TypeExpr> p)
Lifts a pattern which matches the field value to one which matches this
whole object.
|
static Pattern<LLJava.Local> |
LLJava.Local.get_type(Pattern<? super LLJava.TypeExpr> p)
Lifts a pattern which matches the field value to one which matches this
whole object.
|
static Pattern<LLJava.MethodReferenceParameter> |
LLJava.MethodReferenceParameter.get_type(Pattern<? super LLJava.TypeExpr> p)
Lifts a pattern which matches the field value to one which matches this
whole object.
|
static Pattern<LLJava.Parameter> |
LLJava.Parameter.get_type(Pattern<? super LLJava.TypeExpr> p)
Lifts a pattern which matches the field value to one which matches this
whole object.
|
static Pattern<LLJava.ReturnsExpr> |
LLJava.ReturnsExpr.get_type(Pattern<? super LLJava.TypeExpr> p)
Lifts a pattern which matches the field value to one which matches this
whole object.
|
static Pattern<LLJava.TypeInstruction> |
LLJava.TypeInstruction.get_type(Pattern<? super LLJava.TypeExpr> p)
Lifts a pattern which matches the field value to one which matches this
whole object.
|
boolean |
LLJava.MethodTypeExpr.set_parameters(CheckedList<LLJava.TypeExpr> val)
Generated by umod; model author's documentation MISSING.
|
static Pattern<? super LLJava.ArrayTypeExpr> |
LLJava.__Patterns.term_ArrayTypeExpr(Pattern<? super LLJava.ReferenceTypeExpr> superpattern,
Pattern<? super LLJava.TypeExpr> p_base,
Pattern<? super Boolean> p_specified) |
static Pattern<? super LLJava.DynamicExpr> |
LLJava.__Patterns.term_DynamicExpr(Pattern<? super LLJava.LoadableExpr> superpattern,
Pattern<? super LLJava.TypeExpr> p_type,
Pattern<? super LLJava.MemberDynamicName> p_fullName) |
static Pattern<? super LLJava.Field> |
LLJava.__Patterns.term_Field(Pattern<? super LLJava.Member> superpattern,
Pattern<? super LLJava.TypeExpr> p_type,
Pattern<? super LLJava.Literal> p_initializer) |
static Pattern<? super LLJava.FieldReference> |
LLJava.__Patterns.term_FieldReference(Pattern<? super LLJava.MemberReference> superpattern,
Pattern<? super LLJava.TypeExpr> p_type) |
static Pattern<? super LLJava.Local> |
LLJava.__Patterns.term_Local(Pattern<? super LLJava.Statement> superpattern,
Pattern<? super LLJava.TypeExpr> p_type,
Pattern<? super LLJava.Name> p_name,
Pattern<? super LLJava.Variable> p_variable) |
static Pattern<? super LLJava.MethodReferenceParameter> |
LLJava.__Patterns.term_MethodReferenceParameter(Pattern<? super LLJava.Node> superpattern,
Pattern<? super LLJava.TypeExpr> p_type) |
static Pattern<? super LLJava.MethodTypeExpr> |
LLJava.__Patterns.term_MethodTypeExpr(Pattern<? super LLJava.LoadableExpr> superpattern,
Pattern<? super LLJava.ResultExpr> p_result,
Pattern<? super CheckedList<LLJava.TypeExpr>> p_parameters) |
static Pattern<? super LLJava.Parameter> |
LLJava.__Patterns.term_Parameter(Pattern<? super LLJava.Modifiable> superpattern,
Pattern<? super LLJava.TypeExpr> p_type,
Pattern<? super LLJava.Name> p_name,
Pattern<? super LLJava.Variable> p_variable) |
static Pattern<? super LLJava.PrimitiveTypeExpr> |
LLJava.__Patterns.term_PrimitiveTypeExpr(Pattern<? super LLJava.TypeExpr> superpattern) |
static Pattern<? super LLJava.ReferenceTypeExpr> |
LLJava.__Patterns.term_ReferenceTypeExpr(Pattern<? super LLJava.TypeExpr> superpattern) |
static Pattern<? super LLJava.ReturnsExpr> |
LLJava.__Patterns.term_ReturnsExpr(Pattern<? super LLJava.ResultExpr> superpattern,
Pattern<? super LLJava.TypeExpr> p_type) |
static Pattern<? super LLJava.TypeInstruction> |
LLJava.__Patterns.term_TypeInstruction(Pattern<? super LLJava.Instruction> superpattern,
Pattern<? super LLJava.TypeExpr> p_type,
Pattern<? super LLJava.ClassRef> p_entry) |
Constructor and Description |
---|
ArrayTypeExpr(LLJava.TypeExpr base)
Constructor generated according to specification #1
Constructor defined according to directive "C 1/..". |
ArrayTypeExpr(LLJava.TypeExpr base,
boolean specified)
Constructor generated according to specification #0
Constructor defined according to directive "C 0/..". |
Cast(LLJava.TypeExpr type)
Constructor generated according to specification #0
Constructor defined according to directive "C 0/..". |
DynamicExpr(LLJava.TypeExpr type,
LLJava.MemberDynamicName fullName)
Constructor generated according to specification #0
Constructor defined according to directive "C 0/..". |
Field(LLJava.TypeExpr type,
LLJava.Id name)
Constructor generated according to specification #0
Constructor defined according to directive "C 0/..". |
Field(LLJava.TypeExpr type,
LLJava.Id name,
LLJava.Literal initializer)
Constructor generated according to specification #1
Constructor defined according to directive "C 1/..". |
FieldReference(LLJava.TypeExpr type,
LLJava.MemberStaticName fullName)
Constructor generated according to specification #0
Constructor defined according to directive "C 0/..". |
Local(LLJava.TypeExpr type)
Synthetic minimal constructor provided by the umod compiler.
|
Local(LLJava.TypeExpr type,
LLJava.Name name)
Constructor generated according to specification #0
Constructor defined according to directive "C 0/..". |
MethodReferenceParameter(LLJava.TypeExpr type)
Constructor generated according to specification #0
Constructor defined according to directive "C 0/..". |
Parameter(LLJava.TypeExpr type)
Synthetic minimal constructor provided by the umod compiler.
|
Parameter(LLJava.TypeExpr type,
LLJava.Name name)
Constructor generated according to specification #0
Constructor defined according to directive "C 0/..". |
ReturnsExpr(LLJava.TypeExpr type)
Constructor generated according to specification #0
Constructor defined according to directive "C 0/..". |
Modifier and Type | Field and Description |
---|---|
Expression<SourceId,SignatureParser.TokenType,LLJava.TypeExpr> |
SignatureParser.javaTypeSignature |
Modifier and Type | Method and Description |
---|---|
protected LLJava.TypeExpr |
Decoder.decodeFieldDescriptor(Decoder.Pointer p) |
protected LLJava.TypeExpr |
Decoder.decodeFieldDescriptor(String text) |
Modifier and Type | Method and Description |
---|---|
protected List<LLJava.TypeExpr> |
Decoder.decodeMethodDescriptorParameters(String text) |
Modifier and Type | Method and Description |
---|---|
protected void |
SignatureParser.processField(Reducer.Context<SourceId> context,
LLJava.Field target,
LLJava.TypeExpr type) |
protected void |
SignatureParser.unerase(Property<LLJava.TypeExpr> raw,
LLJava.TypeExpr generic,
boolean fixed) |
Modifier and Type | Method and Description |
---|---|
protected void |
SignatureParser.processMethod(Reducer.Context<SourceId> context,
LLJava.Method target,
List<LLJava.TypeParameter> typeParams,
List<LLJava.TypeExpr> params,
LLJava.ResultExpr result,
List<LLJava.ClassTypeExpr> exceptions) |
protected void |
SignatureParser.unerase(Property<LLJava.TypeExpr> raw,
LLJava.TypeExpr generic,
boolean fixed) |
protected void |
SignatureParser.uneraseTypes(List<Property<LLJava.TypeExpr>> raw,
List<LLJava.TypeExpr> generic,
boolean fixed) |
protected void |
SignatureParser.uneraseTypes(List<Property<LLJava.TypeExpr>> raw,
List<LLJava.TypeExpr> generic,
boolean fixed) |
Modifier and Type | Field and Description |
---|---|
Expression<SourceId,LLJavaLexer.TokenType,LLJava.TypeExpr> |
LLJavaGrammar.baseType |
Expression<SourceId,LLJavaLexer.TokenType,LLJava.TypeExpr> |
LLJavaGrammar.type |
Modifier and Type | Method and Description |
---|---|
protected abstract LLJava.TypeExpr |
LLJavaGrammar.type(Reducer.Context<SourceId> context,
LLJava.TypeExpr base,
List<LLJava.DimensionExpr> array) |
protected LLJava.TypeExpr |
LLJavaParser.type(Reducer.Context<SourceId> context,
LLJava.TypeExpr base,
List<LLJava.DimensionExpr> dimensions) |
Modifier and Type | Method and Description |
---|---|
protected abstract LLJava.MethodTypeExpr |
LLJavaGrammar.methodType(Reducer.Context<SourceId> context,
LLJava.ResultExpr result,
List<LLJava.TypeExpr> parameters) |
protected LLJava.MethodTypeExpr |
LLJavaParser.methodType(Reducer.Context<SourceId> context,
LLJava.ResultExpr returnType,
List<LLJava.TypeExpr> parameters) |
see also the complete user documentation .