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 |
Verify.Category1 |
static class |
Verify.Category2 |
static class |
Verify.Double |
static class |
Verify.Float |
static class |
Verify.Int |
static class |
Verify.Long |
static class |
Verify.Null |
static class |
Verify.Object |
static class |
Verify.OneWord |
static class |
Verify.Reference |
static class |
Verify.Top |
static class |
Verify.TwoWord |
static class |
Verify.Uninitialized |
static class |
Verify.UninitializedNew |
static class |
Verify.UninitializedThis |
Modifier and Type | Method and Description |
---|---|
Verify.Type |
Verify.Type.doclone() |
Verify.Type |
Verify.Type.initFrom(Object o0)
Copies values of all common fields from the argument.
|
Modifier and Type | Method and Description |
---|---|
static Pattern<? super Verify.Type> |
Verify.__Patterns.term_Type(Pattern<Object> superpattern) |
Modifier and Type | Method and Description |
---|---|
protected void |
Verify.MATCH_ONLY_00.action(Verify.Type e0) |
protected void |
Verify.__Formatter.action(Verify.Type el) |
void |
Verify.MATCH_ONLY_00.match(Verify.Type e0) |
protected Format |
Verify.__Formatter.toFormat(Verify.Type el) |
Modifier and Type | Method and Description |
---|---|
static Pattern<Object> |
Verify.__Patterns.cast_Type(Pattern<? super Verify.Type> p) |
static Pattern<? super Verify.Category1> |
Verify.__Patterns.term_Category1(Pattern<? super Verify.Type> superpattern) |
static Pattern<? super Verify.Category2> |
Verify.__Patterns.term_Category2(Pattern<? super Verify.Type> superpattern) |
static Pattern<? super Verify.Top> |
Verify.__Patterns.term_Top(Pattern<? super Verify.Type> superpattern) |
see also the complete user documentation .