OCLParsersym (MDT-OCL Documentation)

All Known Implementing Classes:

OCLParserprs
```
public interface OCLParsersym
```
Noextend:

This interface is not intended to be extended by clients.

Noimplement:

This interface is not intended to be implemented by clients.

Field Summary

Fields
Modifier and Type	Field and Description
`static boolean`	`isValidForParser`
`static int`	`numTokenKinds`
`static java.lang.String[]`	`orderedTerminalSymbols`
`static int`	`TK_and` Token kind codes.
`static int`	`TK_ARROW` Token kind codes.
`static int`	`TK_AT` Token kind codes.
`static int`	`TK_Bag` Token kind codes.
`static int`	`TK_BAR` Token kind codes.
`static int`	`TK_body` Token kind codes.
`static int`	`TK_Boolean` Token kind codes.
`static int`	`TK_CARET` Token kind codes.
`static int`	`TK_CARETCARET` Token kind codes.
`static int`	`TK_Collection` Token kind codes.
`static int`	`TK_COLON` Token kind codes.
`static int`	`TK_COLONCOLON` Token kind codes.
`static int`	`TK_COMMA` Token kind codes.
`static int`	`TK_context` Token kind codes.
`static int`	`TK_def` Token kind codes.
`static int`	`TK_derive` Token kind codes.
`static int`	`TK_DIVIDE` Token kind codes.
`static int`	`TK_DOT` Token kind codes.
`static int`	`TK_DOTDOT` Token kind codes.
`static int`	`TK_else` Token kind codes.
`static int`	`TK_endif` Token kind codes.
`static int`	`TK_endpackage` Token kind codes.
`static int`	`TK_EOF_TOKEN` Token kind codes.
`static int`	`TK_EQUAL` Token kind codes.
`static int`	`TK_ERROR_TOKEN` Token kind codes.
`static int`	`TK_false` Token kind codes.
`static int`	`TK_GREATER` Token kind codes.
`static int`	`TK_GREATER_EQUAL` Token kind codes.
`static int`	`TK_IDENTIFIER` Token kind codes.
`static int`	`TK_if` Token kind codes.
`static int`	`TK_implies` Token kind codes.
`static int`	`TK_import` Token kind codes.
`static int`	`TK_in` Token kind codes.
`static int`	`TK_init` Token kind codes.
`static int`	`TK_Integer` Token kind codes.
`static int`	`TK_INTEGER_LITERAL` Token kind codes.
`static int`	`TK_inv` Token kind codes.
`static int`	`TK_invalid` Token kind codes.
`static int`	`TK_LBRACE` Token kind codes.
`static int`	`TK_LBRACKET` Token kind codes.
`static int`	`TK_LESS` Token kind codes.
`static int`	`TK_LESS_EQUAL` Token kind codes.
`static int`	`TK_let` Token kind codes.
`static int`	`TK_LPAREN` Token kind codes.
`static int`	`TK_MINUS` Token kind codes.
`static int`	`TK_MULTI_LINE_COMMENT` Token kind codes.
`static int`	`TK_MULTIPLY` Token kind codes.
`static int`	`TK_not` Token kind codes.
`static int`	`TK_NOT_EQUAL` Token kind codes.
`static int`	`TK_null` Token kind codes.
`static int`	`TK_OclAny` Token kind codes.
`static int`	`TK_OclInvalid` Token kind codes.
`static int`	`TK_OclMessage` Token kind codes.
`static int`	`TK_OclVoid` Token kind codes.
`static int`	`TK_or` Token kind codes.
`static int`	`TK_OrderedSet` Token kind codes.
`static int`	`TK_package` Token kind codes.
`static int`	`TK_PLUS` Token kind codes.
`static int`	`TK_post` Token kind codes.
`static int`	`TK_pre` Token kind codes.
`static int`	`TK_QUESTIONMARK` Token kind codes.
`static int`	`TK_QUOTED_IDENTIFIER` Token kind codes.
`static int`	`TK_RBRACE` Token kind codes.
`static int`	`TK_RBRACKET` Token kind codes.
`static int`	`TK_Real` Token kind codes.
`static int`	`TK_REAL_LITERAL` Token kind codes.
`static int`	`TK_RPAREN` Token kind codes.
`static int`	`TK_self` Token kind codes.
`static int`	`TK_SEMICOLON` Token kind codes.
`static int`	`TK_Sequence` Token kind codes.
`static int`	`TK_Set` Token kind codes.
`static int`	`TK_SINGLE_LINE_COMMENT` Token kind codes.
`static int`	`TK_static` Token kind codes.
`static int`	`TK_String` Token kind codes.
`static int`	`TK_STRING_LITERAL` Token kind codes.
`static int`	`TK_then` Token kind codes.
`static int`	`TK_true` Token kind codes.
`static int`	`TK_Tuple` Token kind codes.
`static int`	`TK_UnlimitedNatural` Token kind codes.
`static int`	`TK_xor` Token kind codes.

- Field Detail
  - TK_QUOTED_IDENTIFIER
```
static final int TK_QUOTED_IDENTIFIER
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_INTEGER_LITERAL
```
static final int TK_INTEGER_LITERAL
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_REAL_LITERAL
```
static final int TK_REAL_LITERAL
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_STRING_LITERAL
```
static final int TK_STRING_LITERAL
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_PLUS
```
static final int TK_PLUS
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_MINUS
```
static final int TK_MINUS
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_MULTIPLY
```
static final int TK_MULTIPLY
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_DIVIDE
```
static final int TK_DIVIDE
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_GREATER
```
static final int TK_GREATER
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_LESS
```
static final int TK_LESS
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_EQUAL
```
static final int TK_EQUAL
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_GREATER_EQUAL
```
static final int TK_GREATER_EQUAL
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_LESS_EQUAL
```
static final int TK_LESS_EQUAL
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_NOT_EQUAL
```
static final int TK_NOT_EQUAL
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_LPAREN
```
static final int TK_LPAREN
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_RPAREN
```
static final int TK_RPAREN
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_LBRACE
```
static final int TK_LBRACE
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_RBRACE
```
static final int TK_RBRACE
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_LBRACKET
```
static final int TK_LBRACKET
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_RBRACKET
```
static final int TK_RBRACKET
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_ARROW
```
static final int TK_ARROW
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_BAR
```
static final int TK_BAR
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_COMMA
```
static final int TK_COMMA
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_COLON
```
static final int TK_COLON
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_COLONCOLON
```
static final int TK_COLONCOLON
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_SEMICOLON
```
static final int TK_SEMICOLON
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_DOT
```
static final int TK_DOT
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_DOTDOT
```
static final int TK_DOTDOT
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_AT
```
static final int TK_AT
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_CARET
```
static final int TK_CARET
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_CARETCARET
```
static final int TK_CARETCARET
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_QUESTIONMARK
```
static final int TK_QUESTIONMARK
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_self
```
static final int TK_self
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_if
```
static final int TK_if
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_then
```
static final int TK_then
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_else
```
static final int TK_else
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_endif
```
static final int TK_endif
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_and
```
static final int TK_and
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_or
```
static final int TK_or
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_xor
```
static final int TK_xor
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_not
```
static final int TK_not
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_implies
```
static final int TK_implies
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_let
```
static final int TK_let
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_in
```
static final int TK_in
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_true
```
static final int TK_true
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_false
```
static final int TK_false
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_null
```
static final int TK_null
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_invalid
```
static final int TK_invalid
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_Set
```
static final int TK_Set
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_Bag
```
static final int TK_Bag
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_Sequence
```
static final int TK_Sequence
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_Collection
```
static final int TK_Collection
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_OrderedSet
```
static final int TK_OrderedSet
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_String
```
static final int TK_String
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_Integer
```
static final int TK_Integer
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_UnlimitedNatural
```
static final int TK_UnlimitedNatural
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_Real
```
static final int TK_Real
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_Boolean
```
static final int TK_Boolean
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_Tuple
```
static final int TK_Tuple
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_OclAny
```
static final int TK_OclAny
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_OclVoid
```
static final int TK_OclVoid
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_OclInvalid
```
static final int TK_OclInvalid
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_inv
```
static final int TK_inv
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_pre
```
static final int TK_pre
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_post
```
static final int TK_post
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_context
```
static final int TK_context
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_package
```
static final int TK_package
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_endpackage
```
static final int TK_endpackage
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_def
```
static final int TK_def
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_body
```
static final int TK_body
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_derive
```
static final int TK_derive
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_init
```
static final int TK_init
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_static
```
static final int TK_static
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_import
```
static final int TK_import
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_OclMessage
```
static final int TK_OclMessage
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_EOF_TOKEN
```
static final int TK_EOF_TOKEN
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_IDENTIFIER
```
static final int TK_IDENTIFIER
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_SINGLE_LINE_COMMENT
```
static final int TK_SINGLE_LINE_COMMENT
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_MULTI_LINE_COMMENT
```
static final int TK_MULTI_LINE_COMMENT
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - TK_ERROR_TOKEN
```
static final int TK_ERROR_TOKEN
```
    Token kind codes.
    
    Since:
    
    3.2
    
    See Also:
    
    Constant Field Values
    
    Noreference:
    
    These constants are not intended to be referenced by clients.
  - orderedTerminalSymbols
```
static final java.lang.String[] orderedTerminalSymbols
```
  - numTokenKinds
```
static final int numTokenKinds
```
  - isValidForParser
```
static final boolean isValidForParser
```
    See Also:
    
    Constant Field Values

Interface OCLParsersym

Field Summary

Field Detail

TK_QUOTED_IDENTIFIER

TK_INTEGER_LITERAL

TK_REAL_LITERAL

TK_STRING_LITERAL

TK_PLUS

TK_MINUS

TK_MULTIPLY

TK_DIVIDE

TK_GREATER

TK_LESS

TK_EQUAL

TK_GREATER_EQUAL

TK_LESS_EQUAL

TK_NOT_EQUAL

TK_LPAREN

TK_RPAREN

TK_LBRACE

TK_RBRACE

TK_LBRACKET

TK_RBRACKET

TK_ARROW

TK_BAR

TK_COMMA

TK_COLON

TK_COLONCOLON

TK_SEMICOLON

TK_DOT

TK_DOTDOT

TK_AT

TK_CARET

TK_CARETCARET

TK_QUESTIONMARK

TK_self

TK_if

TK_then

TK_else

TK_endif

TK_and

TK_or

TK_xor

TK_not

TK_implies

TK_let

TK_in

TK_true

TK_false

TK_null

TK_invalid

TK_Set

TK_Bag

TK_Sequence

TK_Collection

TK_OrderedSet

TK_String

TK_Integer

TK_UnlimitedNatural

TK_Real

TK_Boolean

TK_Tuple

TK_OclAny

TK_OclVoid

TK_OclInvalid

TK_inv

TK_pre

TK_post

TK_context

TK_package

TK_endpackage

TK_def

TK_body

TK_derive

TK_init

TK_static

TK_import

TK_OclMessage

TK_EOF_TOKEN

TK_IDENTIFIER