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.AbstractIntVType
Common superclass for all machine word types.
|
static class |
LLJava.BooleanVType
Generated by umod; model author's documentation MISSING.
|
static class |
LLJava.ByteVType
Generated by umod; model author's documentation MISSING.
|
static class |
LLJava.Category1VType
Generated by umod; model author's documentation MISSING.
|
static class |
LLJava.Category2VType
Generated by umod; model author's documentation MISSING.
|
static class |
LLJava.CharVType
Generated by umod; model author's documentation MISSING.
|
static class |
LLJava.DoubleVType
Generated by umod; model author's documentation MISSING.
|
static class |
LLJava.FloatVType
Generated by umod; model author's documentation MISSING.
|
static class |
LLJava.IntVType
Generated by umod; model author's documentation MISSING.
|
static class |
LLJava.LongVType
Generated by umod; model author's documentation MISSING.
|
static class |
LLJava.NullVType
Generated by umod; model author's documentation MISSING.
|
static class |
LLJava.ObjectVType
Generated by umod; model author's documentation MISSING.
|
static class |
LLJava.OneWordVType
Generated by umod; model author's documentation MISSING.
|
static class |
LLJava.ReferenceVType
Generated by umod; model author's documentation MISSING.
|
static class |
LLJava.ShortVType
Generated by umod; model author's documentation MISSING.
|
static class |
LLJava.TopVType
Generated by umod; model author's documentation MISSING.
|
static class |
LLJava.TwoWordVType
Generated by umod; model author's documentation MISSING.
|
static class |
LLJava.UninitializedNewVType
Generated by umod; model author's documentation MISSING.
|
static class |
LLJava.UninitializedThisVType
Generated by umod; model author's documentation MISSING.
|
static class |
LLJava.UninitializedVType
Generated by umod; model author's documentation MISSING.
|
Modifier and Type | Field and Description |
---|---|
static LLJava.VType |
TypeChecker.booleanVType |
static LLJava.VType |
TypeChecker.byteVType |
static LLJava.VType |
TypeChecker.charVType |
static LLJava.VType |
TypeChecker.classVType |
static LLJava.VType |
TypeChecker.doubleVType |
static LLJava.VType |
TypeChecker.floatVType |
static LLJava.VType |
TypeChecker.intVType |
static LLJava.VType |
TypeChecker.longVType |
static LLJava.VType |
TypeChecker.methodHandleVType |
static LLJava.VType |
TypeChecker.methodTypeVType |
static LLJava.VType |
TypeChecker.nullVType |
static LLJava.VType |
TypeChecker.objectVType |
static LLJava.VType |
TypeChecker.referenceVType |
static LLJava.VType |
TypeChecker.shortVType |
static LLJava.VType |
TypeChecker.stringVType |
static LLJava.VType |
TypeChecker.throwableVType |
static LLJava.VType |
TypeChecker.topVType |
Modifier and Type | Field and Description |
---|---|
protected CheckedList<LLJava.VType> |
LLJava.StackFrame.locals
Generated by umod; model author's documentation MISSING.
|
protected CheckedList<LLJava.VType> |
LLJava.StackFrame.operands
Generated by umod; model author's documentation MISSING.
|
Modifier and Type | Method and Description |
---|---|
LLJava.VType |
LLJava.VType.doclone()
Clones this object.
|
LLJava.VType |
LLJava.VType.initFrom(Object o0)
Copies values of all common fields from the argument.
|
LLJava.VType |
TypeChecker.lub(LLJava.VType t,
LLJava.VType u) |
static LLJava.VType |
TypeChecker.up(LLJava.VType t) |
Modifier and Type | Method and Description |
---|---|
CheckedList<LLJava.VType> |
LLJava.StackFrame.get_locals()
Generated by umod; model author's documentation MISSING.
|
CheckedList<LLJava.VType> |
LLJava.StackFrame.get_operands()
Generated by umod; model author's documentation MISSING.
|
static Pattern<? super LLJava.VType> |
LLJava.__Patterns.term_VType(Pattern<Object> superpattern) |
static List<LLJava.VType> |
TypeChecker.ups(LLJava.VType t) |
Modifier and Type | Method and Description |
---|---|
protected void |
LLJava.MATCH_ONLY_00.action(LLJava.VType e0) |
protected void |
LLJava.MultiVisitor.action(LLJava.VType e0) |
protected void |
LLJava.Visitor.action(LLJava.VType e0) |
protected void |
LLJava.__Formatter.action(LLJava.VType el) |
protected void |
LLJava.MultiVisitor.descend(LLJava.VType e0) |
static boolean |
TypeChecker.isInitializedReference(LLJava.VType type) |
static boolean |
TypeChecker.isPrimitive(LLJava.VType type) |
LLJava.VType |
TypeChecker.lub(LLJava.VType t,
LLJava.VType u) |
void |
LLJava.MATCH_ONLY_00.match(LLJava.VType e0) |
protected void |
LLJava.MultiVisitor.post(LLJava.VType e0) |
protected void |
LLJava.MultiVisitor.pre(LLJava.VType e0) |
static int |
TypeChecker.size(LLJava.VType type) |
protected Format |
LLJava.__Formatter.toFormat(LLJava.VType el) |
static LLJava.VType |
TypeChecker.up(LLJava.VType t) |
static List<LLJava.VType> |
TypeChecker.ups(LLJava.VType t) |
Modifier and Type | Method and Description |
---|---|
static Pattern<Object> |
LLJava.__Patterns.cast_VType(Pattern<? super LLJava.VType> p) |
static Pattern<LLJava.StackFrame> |
LLJava.StackFrame.get_locals(Pattern<? super CheckedList<LLJava.VType>> p)
Lifts a pattern which matches the field value to one which matches this
whole object.
|
static Pattern<LLJava.StackFrame> |
LLJava.StackFrame.get_operands(Pattern<? super CheckedList<LLJava.VType>> p)
Lifts a pattern which matches the field value to one which matches this
whole object.
|
static Pattern<? super LLJava.Category1VType> |
LLJava.__Patterns.term_Category1VType(Pattern<? super LLJava.VType> superpattern) |
static Pattern<? super LLJava.Category2VType> |
LLJava.__Patterns.term_Category2VType(Pattern<? super LLJava.VType> superpattern) |
static Pattern<? super LLJava.StackFrame> |
LLJava.__Patterns.term_StackFrame(Pattern<Object> superpattern,
Pattern<? super CheckedList<LLJava.VType>> p_locals,
Pattern<? super CheckedList<LLJava.VType>> p_operands,
Pattern<? super Boolean> p_uninitThis) |
static Pattern<? super LLJava.StackFrame> |
LLJava.__Patterns.term_StackFrame(Pattern<Object> superpattern,
Pattern<? super CheckedList<LLJava.VType>> p_locals,
Pattern<? super CheckedList<LLJava.VType>> p_operands,
Pattern<? super Boolean> p_uninitThis) |
static Pattern<? super LLJava.TopVType> |
LLJava.__Patterns.term_TopVType(Pattern<? super LLJava.VType> superpattern) |
LLJava.StackFrame |
LLJava.StackFrame.with_locals(CheckedList<LLJava.VType> val)
Generated by umod; model author's documentation MISSING.
|
LLJava.StackFrame |
LLJava.StackFrame.with_operands(CheckedList<LLJava.VType> val)
Generated by umod; model author's documentation MISSING.
|
see also the complete user documentation .