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 | Method and Description |
---|---|
Verify.Object |
Verify.Object.doclone() |
Verify.Object |
Verify.Object.initFrom(Object o0)
Copies values of all common fields from the argument.
|
Verify.Object |
Verify.Object.with_classname(String val) |
Modifier and Type | Method and Description |
---|---|
static Pattern<Verify.Object> |
Verify.Object.get_classname(Pattern<? super String> p) |
static Pattern<? super Verify.Object> |
Verify.__Patterns.term_Object(Pattern<? super Verify.Category1> superpattern,
Pattern<? super String> p_classname) |
Modifier and Type | Method and Description |
---|---|
protected void |
Verify.MATCH_ONLY_00.action(Verify.Object e0) |
protected void |
Verify.__Formatter.action(Verify.Object el) |
void |
Verify.MATCH_ONLY_00.match(Verify.Object e0) |
protected Format |
Verify.__Formatter.toFormat(Verify.Object el) |
boolean |
Verify.Object.x_equals(Verify.Object e0) |
Modifier and Type | Method and Description |
---|---|
static Pattern<Object> |
Verify.__Patterns.cast_Object(Pattern<? super Verify.Object> p) |
see also the complete user documentation .