// $ANTLR : grammar.g -> AnalyserLexTokenTypes.txt$
AnalyserLex    // output token vocab name
DIGIT=4
UNDER=5
LETTER=6
BIDIRPIPE=7
NUMBER=8
WORD=9
AT=10
GOTO=11
LINKTYPE=12
INTEGER_TYPE=13
BOOL_TYPE=14
STRING_TYPE=15
INTEGER=16
LT=17
GT=18
EQ=19
DIFF=20
LE=21
GE=22
PIPE=23
ARROW_START=24
ARROW_END=25
COMMA=26
SEMICOLON=27
BLOCK_START=28
BLOCK_END=29
PAR_START=30
PAR_END=31
BRACKET_START=32
BRACKET_END=33
DB_EXCLAM_MARK=34
DB_QUESTION_MARK=35
QUESTION_MARK=36
EXCLAM_MARK=37
AFFECTE=38
COLON=39
QUOT_MARK=40
SUBLINKS=41
PERIOD=42
DOTDOT=43
PLUS="+"=44
MINUS="-"=45
MULT=46
DIV="/"=47
LAND=48
LOR=49
LNOT=50
INCR=51
WS=52
AT_SL_COMMENT=53
CHAR_LITERAL=54
STRING_LITERAL=55
ESC=56
IMP_ML_COMMENT=57
SL_COMMENT=58
NEWLINE=59
PROPOSITION=60
POST_INC=61
POST_DEC=62
EXPR=63
ELIST=64
TRANSITION=65
LABEL=66
BRANCHING_STATE=67
COMPONENT_OCCURRENCE=68
LINK=69
SUBLINK=70
NAMELIST=71
INTERLOCUTORSET=72
UNARY_MINUS=73
UNARY_PLUS=74
LITERAL_COMPONENTS="COMPONENTS"=75
LITERAL_COMPONENT="COMPONENT"=76
LITERAL_TEST_APPLICATION="TEST_APPLICATION"=77
LITERAL_APPLICATION="APPLICATION"=78
LITERAL_status="status"=79
LITERAL_TEST_INTENTION="TEST_INTENTION"=80
LITERAL_DESCRIPTION="DESCRIPTION"=81
LITERAL_INPUT="INPUT"=82
LITERAL_OUTPUT="OUTPUT"=83
LITERAL_INSTALLATIONS="INSTALLATIONS"=84
LITERAL_INTERFACE="INTERFACE"=85
LITERAL_provides="provides"=86
LITERAL_requires="requires"=87
LITERAL_config="config"=88
LITERAL_autorun="autorun"=89
LITERAL_USES="USES"=90
LITERAL_TYPES="TYPES"=91
LITERAL_CONSTANTS="CONSTANTS"=92
LITERAL_VARIABLES="VARIABLES"=93
LITERAL_INVARIANT="INVARIANT"=94
LITERAL_PROPERTIES="PROPERTIES"=95
LITERAL_ORACLE="ORACLE"=96
LITERAL_SERVICE_PROPERTIES="SERVICE_PROPERTIES"=97
LITERAL_INITIALIZATION="INITIALIZATION"=98
LITERAL_COMPOSITION="COMPOSITION"=99
LITERAL_Promotion="Promotion"=100
LITERAL_Links="Links"=101
LITERAL_END_COMPOSITION="END_COMPOSITION"=102
LITERAL_ASSEMBLY="ASSEMBLY"=103
LITERAL_Assembly="Assembly"=104
LITERAL_Components="Components"=105
LITERAL_Assemblies="Assemblies"=106
LITERAL_Configuration="Configuration"=107
LITERAL_End="End"=108
LITERAL_message="message"=109
LITERAL_mapping="mapping"=110
LITERAL_context="context"=111
LITERAL_sublinks="sublinks"=112
"="=113
LITERAL_SELF="SELF"=114
LITERAL_SERVICES="SERVICES"=115
LITERAL_END_SERVICES="END_SERVICES"=116
LITERAL_external="external"=117
LITERAL_query="query"=118
LITERAL_provided="provided"=119
LITERAL_owned="owned"=120
LITERAL_required="required"=121
LITERAL_From="From"=122
LITERAL_Virtual="Virtual"=123
LITERAL_Invariant="Invariant"=124
LITERAL_Interface="Interface"=125
LITERAL_subprovides="subprovides"=126
LITERAL_calrequires="calrequires"=127
LITERAL_extrequires="extrequires"=128
LITERAL_intrequires="intrequires"=129
LITERAL_receptions="receptions"=130
LITERAL_sendings="sendings"=131
LITERAL_Pre="Pre"=132
LITERAL_RedefinedPre="RedefinedPre"=133
LITERAL_Stronger="Stronger"=134
LITERAL_Weaker="Weaker"=135
LITERAL_With="With"=136
LITERAL_Post="Post"=137
LITERAL_RedefinedPost="RedefinedPost"=138
LITERAL_Properties="Properties"=139
LITERAL_Constants="Constants"=140
LITERAL_Variables="Variables"=141
LITERAL_Initialization="Initialization"=142
LITERAL_obs="obs"=143
LITERAL_Def="Def"=144
LITERAL_LIBRARY_CONSTANTS="LIBRARY_CONSTANTS"=145
LITERAL_KMLTYPE="KMLTYPE"=146
LITERAL_struct="struct"=147
LITERAL_array="array"=148
LITERAL_of="of"=149
LITERAL_enum="enum"=150
LITERAL_range="range"=151
LITERAL_setOf="setOf"=152
LITERAL_listOf="listOf"=153
LITERAL_FUNCTION="FUNCTION"=154
">"=155
LITERAL_Init="Init"=156
LITERAL_Final="Final"=157
LITERAL_Terminal="Terminal"=158
LITERAL_Behavior="Behavior"=159
LITERAL_Sequence="Sequence"=160
LITERAL_true="true"=161
LITERAL_false="false"=162
LITERAL_implies="implies"=163
LITERAL_equiv="equiv"=164
LITERAL_xor="xor"=165
LITERAL_or="or"=166
LITERAL_and="and"=167
EQUAL=168
"<"=169
"<>"=170
LITERAL_in="in"=171
LITERAL_not="not"=172
LITERAL_newArray="newArray"=173
LITERAL_newStruct="newStruct"=174
LITERAL_local="local"=175
LITERAL_forall="forall"=176
LITERAL_exists="exists"=177
LITERAL_Unchanged="Unchanged"=178
LITERAL_nop="nop"=179
LITERAL_Lock="Lock"=180
LITERAL_Release="Release"=181
LITERAL_if="if"=182
LITERAL_then="then"=183
LITERAL_else="else"=184
LITERAL_endif="endif"=185
LITERAL_while="while"=186
LITERAL_do="do"=187
LITERAL_endwhile="endwhile"=188
LITERAL_SendResult="SendResult"=189
LITERAL_SENDRESULT="SENDRESULT"=190
LITERAL_CALLER="CALLER"=191
