SchemaJavaParser.PrimarySuffixReturnValue (KeY API Documentation)

java.lang.Object
- de.uka.ilkd.key.parser.schemajava.SchemaJavaParser.PrimarySuffixReturnValue

Enclosing class:

SchemaJavaParser
```
static class SchemaJavaParser.PrimarySuffixReturnValue
extends java.lang.Object
```
inner class that is only used to return results from primary suffix syntax rule

Author:

RN

Field Summary

Fields
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`	`SVIDENTIFIER` production was "."
`(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 Summary

Constructors
Constructor and Description

PrimarySuffixReturnValue()

Constructors
Constructor and Description
`PrimarySuffixReturnValue()`

Method Summary
- Methods inherited from class java.lang.Object
  clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - UNDEFINED
```
static final int UNDEFINED
```
    indicates that the result is currently undefined
    
    See Also:
    
    Constant Field Values
  - THIS
```
static final int THIS
```
    production was
```
"." "this"
```
    See Also:
    
    Constant Field Values
  - ALLOCATION_EXPR
```
static final int ALLOCATION_EXPR
```
    production was
```
"." AllocationExpression
```
    See Also:
    
    Constant Field Values
  - INDEX_EXPR
```
static final int INDEX_EXPR
```
    production was
```
"[" Expression "]"
```
    See Also:
    
    Constant Field Values
  - IDENTIFIER
```
static final int IDENTIFIER
```
    production was
```
"." 
```
    See Also:
    
    Constant Field Values
  - ARGUMENTS
```
static final int ARGUMENTS
```
    production was
```
Arguments
```
    See Also:
    
    Constant Field Values
  - SUPER
```
static final int SUPER
```
    production was
```
super
```
    See Also:
    
    Constant Field Values
  - SVIDENTIFIER
```
static final int SVIDENTIFIER
```
    production was
```
"." #sv
```
    See Also:
    
    Constant Field Values
  - type
```
int type
```
    indicates the type of the result
  - expr
```
Expression expr
```
    valid iff type is ALLOCATION_EXPR or INDEX_EXPR
  - id
```
Identifier id
```
    valid iff type is IDENTIFIER
  - args
```
ASTList<Expression> args
```
    valid iff type is ARGUMENTS
  - typeArgs
```
ASTList<TypeArgumentDeclaration> typeArgs
```
    valid iff type is IDENTIFIER and it is an explicit generic method invocation
- Constructor Detail
  - PrimarySuffixReturnValue
```
PrimarySuffixReturnValue()
```

Class SchemaJavaParser.PrimarySuffixReturnValue

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

UNDEFINED

THIS

ALLOCATION_EXPR

INDEX_EXPR

IDENTIFIER

ARGUMENTS

SUPER

SVIDENTIFIER

type

expr

id

args

typeArgs

Constructor Detail

PrimarySuffixReturnValue