static class SchemaJavaParser.PrimaryPrefixReturnValue
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) static int |
ADT_CONSTRUCT
production was something like "&93;seq_reverse(" Expression ")".
|
(package private) static int |
ALLOCATION_EXPR
production was AllocationExpression
|
(package private) static int |
CLASS_REF
production was ResultType "."
|
(package private) Expression |
expr
valid iff type is PARENTHESED_EXPR
or ALLOCATION_EXPR
|
(package private) Literal |
literal
valid iff type is LITERAL
|
(package private) static int |
LITERAL
production was Literal
|
(package private) UncollatedReferenceQualifier |
name
valid iff type is QUALIFIED_NAME or
SUPER_MEMBERVARIABLE
|
(package private) static int |
PARENTHESIZED_EXPR
production was "(" Expression ")"
|
(package private) static int |
PASSIVE_EXPR
production was "@(" Expression ")"
|
(package private) static int |
QUALIFIED_NAME
production was Name
|
(package private) static int |
SUPER_MEMBERVARIABLE
production was "super" "."
|
(package private) static int |
THIS
production was "this"
|
(package private) int |
type
indicates the type of the result
|
(package private) TypeReference |
typeref
valid iff type is CLASS_REF
|
(package private) static int |
UNDEFINED
indicates that the result is currently undefined
|
Constructor and Description |
---|
PrimaryPrefixReturnValue() |
static final int UNDEFINED
static final int LITERAL
Literal
static final int THIS
"this"
static final int SUPER_MEMBERVARIABLE
"super" "."
static final int PARENTHESIZED_EXPR
"(" Expression ")"
static final int ALLOCATION_EXPR
AllocationExpression
static final int CLASS_REF
ResultType "." "class"
static final int QUALIFIED_NAME
Name
static final int PASSIVE_EXPR
"@(" Expression ")"
static final int ADT_CONSTRUCT
"&93;seq_reverse(" Expression ")". Extension to Java/JML with ADTs.
int type
Literal literal
Expression expr
TypeReference typeref
UncollatedReferenceQualifier name