static class ProofJavaParser.PrimarySuffixReturnValue
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) static int |
ALLOCATION_EXPR
production was "."
|
(package private) ASTList<Expression> |
args
valid iff type is ARGUMENTS
|
(package private) static int |
ARGUMENTS
production was Arguments
|
(package private) Expression |
expr
valid iff type is ALLOCATION_EXPR or
INDEX_EXPR
|
(package private) Identifier |
id
valid iff type is IDENTIFIER
|
(package private) static int |
IDENTIFIER
production was "."
|
(package private) static int |
INDEX_EXPR
production was "[" Expression "]"
|
(package private) static int |
SUPER
production was super
|
(package private) static int |
THIS
production was "."
|
(package private) int |
type
indicates the type of the result
|
(package private) ASTList<TypeArgumentDeclaration> |
typeArgs
valid iff type is IDENTIFIER and
it is an explicit generic method invocation
|
(package private) static int |
UNDEFINED
indicates that the result is currently undefined
|
Constructor and Description |
---|
PrimarySuffixReturnValue() |
static final int UNDEFINED
static final int THIS
"." "this"
static final int ALLOCATION_EXPR
"." AllocationExpression
static final int INDEX_EXPR
"[" Expression "]"
static final int IDENTIFIER
"."
static final int ARGUMENTS
Arguments
static final int SUPER
super
int type
Expression expr
Identifier id
ASTList<Expression> args
ASTList<TypeArgumentDeclaration> typeArgs