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.
|
Modifier and Type | Class and Description |
---|---|
static class |
LLJava.SlotRef
Generated by umod; model author's documentation MISSING.
|
static class |
LLJava.SlotReference
Syntactic expression denoting an anonymous variable
slot reference.
|
static class |
LLJava.This
Syntactic expression denoting a
this
reference. |
static class |
LLJava.VariableRef
Syntactic expression denoting a local variable
reference.
|
Modifier and Type | Field and Description |
---|---|
protected LLJava.VariableAccess |
LLJava.Inc.target
Generated by umod; model author's documentation MISSING.
|
Modifier and Type | Method and Description |
---|---|
LLJava.VariableAccess |
LLJava.VariableAccess.doclone()
Clones this object.
|
LLJava.VariableAccess |
LLJava.Inc.get_target()
Generated by umod; model author's documentation MISSING.
|
LLJava.VariableAccess |
LLJava.VariableAccess.initFrom(Object o0)
Copies values of all common fields from the argument.
|
Modifier and Type | Method and Description |
---|---|
static Pattern<LLJava.VariableAccess> |
LLJava.VariableAccess.get_target(Pattern<? super LLJava.Slot> p)
Lifts a pattern which matches the field value to one which matches this
whole object.
|
static Pattern<? super LLJava.VariableAccess> |
LLJava.__Patterns.term_VariableAccess(Pattern<? super LLJava.StoreArgument> superpattern,
Pattern<? super LLJava.Slot> p_target) |
Modifier and Type | Method and Description |
---|---|
protected void |
LLJava.MATCH_ONLY_00.action(LLJava.VariableAccess e0) |
protected void |
LLJava.MultiVisitor.action(LLJava.VariableAccess e0) |
protected void |
LLJava.Visitor.action(LLJava.VariableAccess e0) |
protected void |
LLJava.__Formatter.action(LLJava.VariableAccess el) |
protected void |
LLJava.MultiVisitor.descend(LLJava.VariableAccess e0) |
void |
LLJava.MATCH_ONLY_00.match(LLJava.VariableAccess e0) |
protected void |
LLJava.MultiVisitor.post(LLJava.VariableAccess e0) |
protected void |
LLJava.MultiVisitor.pre(LLJava.VariableAccess e0) |
boolean |
LLJava.Inc.set_target(LLJava.VariableAccess val)
Generated by umod; model author's documentation MISSING.
|
protected Format |
LLJava.__Formatter.toFormat(LLJava.VariableAccess el) |
Modifier and Type | Method and Description |
---|---|
static Pattern<Object> |
LLJava.__Patterns.cast_VariableAccess(Pattern<? super LLJava.VariableAccess> p) |
static Pattern<LLJava.Inc> |
LLJava.Inc.get_target(Pattern<? super LLJava.VariableAccess> p)
Lifts a pattern which matches the field value to one which matches this
whole object.
|
static Pattern<? super LLJava.Inc> |
LLJava.__Patterns.term_Inc(Pattern<? super LLJava.ArithInstruction> superpattern,
Pattern<? super LLJava.VariableAccess> p_target,
Pattern<? super Integer> p_increment) |
static Pattern<? super LLJava.SlotRef> |
LLJava.__Patterns.term_SlotRef(Pattern<? super LLJava.VariableAccess> superpattern) |
static Pattern<? super LLJava.SlotReference> |
LLJava.__Patterns.term_SlotReference(Pattern<? super LLJava.VariableAccess> superpattern,
Pattern<? super Integer> p_index,
Pattern<? super Boolean> p_wide) |
static Pattern<? super LLJava.This> |
LLJava.__Patterns.term_This(Pattern<? super LLJava.VariableAccess> superpattern) |
static Pattern<? super LLJava.VariableRef> |
LLJava.__Patterns.term_VariableRef(Pattern<? super LLJava.VariableAccess> superpattern,
Pattern<? super LLJava.Name> p_name) |
Constructor and Description |
---|
Inc(LLJava.VariableAccess target,
int increment)
Constructor generated according to specification #0
Constructor defined according to directive "C 0/..". |
see also the complete user documentation .