// $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_COMPONENT="COMPONENT"=75
LITERAL_status="status"=76
LITERAL_INTERFACE="INTERFACE"=77
LITERAL_provides="provides"=78
LITERAL_requires="requires"=79
LITERAL_USES="USES"=80
LITERAL_TYPES="TYPES"=81
LITERAL_CONSTANTS="CONSTANTS"=82
LITERAL_VARIABLES="VARIABLES"=83
LITERAL_INVARIANT="INVARIANT"=84
LITERAL_PROPERTIES="PROPERTIES"=85
LITERAL_SERVICE_PROPERTIES="SERVICE_PROPERTIES"=86
LITERAL_INITIALIZATION="INITIALIZATION"=87
LITERAL_COMPOSITION="COMPOSITION"=88
LITERAL_Promotion="Promotion"=89
LITERAL_Links="Links"=90
LITERAL_Variables="Variables"=91
LITERAL_END_COMPOSITION="END_COMPOSITION"=92
LITERAL_ASSEMBLY="ASSEMBLY"=93
LITERAL_Assembly="Assembly"=94
LITERAL_Components="Components"=95
LITERAL_Assemblies="Assemblies"=96
LITERAL_End="End"=97
LITERAL_context="context"=98
LITERAL_mapping="mapping"=99
LITERAL_message="message"=100
LITERAL_sublinks="sublinks"=101
"="=102
LITERAL_SELF="SELF"=103
LITERAL_SERVICES="SERVICES"=104
LITERAL_END_SERVICES="END_SERVICES"=105
LITERAL_external="external"=106
LITERAL_query="query"=107
LITERAL_provided="provided"=108
LITERAL_required="required"=109
LITERAL_Virtual="Virtual"=110
LITERAL_Invariant="Invariant"=111
LITERAL_Interface="Interface"=112
LITERAL_subprovides="subprovides"=113
LITERAL_calrequires="calrequires"=114
LITERAL_extrequires="extrequires"=115
LITERAL_intrequires="intrequires"=116
LITERAL_receptions="receptions"=117
LITERAL_sendings="sendings"=118
LITERAL_Pre="Pre"=119
LITERAL_Post="Post"=120
LITERAL_Properties="Properties"=121
LITERAL_Constants="Constants"=122
LITERAL_Initialization="Initialization"=123
LITERAL_obs="obs"=124
LITERAL_from="from"=125
LITERAL_LIBRARY_CONSTANTS="LIBRARY_CONSTANTS"=126
LITERAL_KMLTYPE="KMLTYPE"=127
LITERAL_struct="struct"=128
LITERAL_array="array"=129
LITERAL_of="of"=130
LITERAL_enum="enum"=131
LITERAL_range="range"=132
LITERAL_setOf="setOf"=133
LITERAL_FUNCTION="FUNCTION"=134
">"=135
LITERAL_Init="Init"=136
LITERAL_Final="Final"=137
LITERAL_Behavior="Behavior"=138
LITERAL_true="true"=139
LITERAL_false="false"=140
LITERAL_implies="implies"=141
LITERAL_equiv="equiv"=142
LITERAL_xor="xor"=143
LITERAL_or="or"=144
LITERAL_and="and"=145
EQUAL=146
"<"=147
"<>"=148
LITERAL_in="in"=149
LITERAL_not="not"=150
LITERAL_newArray="newArray"=151
LITERAL_newStruct="newStruct"=152
LITERAL_local="local"=153
LITERAL_forall="forall"=154
LITERAL_exists="exists"=155
LITERAL_Unchanged="Unchanged"=156
LITERAL_if="if"=157
LITERAL_then="then"=158
LITERAL_else="else"=159
LITERAL_endif="endif"=160
LITERAL_while="while"=161
LITERAL_do="do"=162
LITERAL_endwhile="endwhile"=163
LITERAL_CALLER="CALLER"=164
