isValidForParser, orderedTerminalSymbols, TK_allInstances, TK_and, TK_any, TK_ARROW, TK_ATPRE, TK_attr, TK_Bag, TK_BAR, TK_body, TK_Boolean, TK_CARET, TK_CARETCARET, TK_checkonly, TK_closure, TK_collect, TK_Collection, TK_collectNested, TK_COLON, TK_COLONCOLON, TK_COMMA, TK_context, TK_def, TK_default_values, TK_derive, TK_DIVIDE, TK_domain, TK_DOT, TK_DOTDOT, TK_else, TK_endif, TK_endpackage, TK_enforce, TK_EOF_TOKEN, TK_EQUAL, TK_ERROR_TOKEN, TK_exists, TK_extends, TK_false, TK_forAll, TK_GREATER, TK_GREATER_EQUAL, TK_IDENTIFIER, TK_if, TK_implementedby, TK_implies, TK_import, TK_in, TK_init, TK_Integer, TK_INTEGER_LITERAL, TK_INTEGER_RANGE_START, TK_inv, TK_Invalid, TK_isUnique, TK_iterate, TK_key, TK_LBRACE, TK_LBRACKET, TK_LESS, TK_LESS_EQUAL, TK_let, TK_LPAREN, TK_MINUS, TK_MULTIPLY, TK_not, TK_NOT_EQUAL, TK_null, TK_NUMERIC_OPERATION, TK_OclAny, TK_oclAsType, TK_OclInvalid, TK_oclIsInState, TK_oclIsInvalid, TK_oclIsKindOf, TK_oclIsNew, TK_oclIsTypeOf, TK_oclIsUndefined, TK_OclMessage, TK_OclVoid, TK_one, TK_oper, TK_opposite, TK_or, TK_OrderedSet, TK_overrides, TK_package, TK_PLUS, TK_PLUS_PLUS, TK_post, TK_pre, TK_primitive, TK_query, TK_QUESTIONMARK, TK_RBRACE, TK_RBRACKET, TK_Real, TK_REAL_LITERAL, TK_reject, TK_relation, TK_replace, TK_RPAREN, TK_select, TK_self, TK_SEMICOLON, TK_Sequence, TK_Set, TK_sortedBy, TK_String, TK_STRING_LITERAL, TK_then, TK_top, TK_transformation, TK_true, TK_Tuple, TK_UnlimitedNatural, TK_when, TK_where, TK_xor |