📄 gcmdtokentypes.txt
字号:
// $ANTLR 2.7.4: expandedcmd.g -> GCmdTokenTypes.txt$GCmd // output token vocab nameLPAREN("'('")=4COMMA("','")=5RPAREN("')'")=6IDENT("an identifier")=7COLON("':'")=8LITERAL_let="let"=9EQUAL("'='")=10LITERAL_in="in"=11LITERAL_implies="implies"=12LITERAL_or="or"=13LITERAL_xor="xor"=14LITERAL_and="and"=15NOT_EQUAL("'<>'")=16LESS("'<'")=17GREATER("'>'")=18LESS_EQUAL("'<='")=19GREATER_EQUAL("'>='")=20PLUS("'+'")=21MINUS("'-'")=22STAR("'*'")=23SLASH("'/'")=24LITERAL_div="div"=25LITERAL_not="not"=26ARROW("'->'")=27DOT("'.'")=28LITERAL_allInstances="allInstances"=29BAR("'|'")=30LITERAL_iterate="iterate"=31SEMI("';'")=32LBRACK("'['")=33RBRACK("']'")=34AT("'@'")=35LITERAL_pre="pre"=36LITERAL_oclAsType="oclAsType"=37LITERAL_oclIsKindOf="oclIsKindOf"=38LITERAL_oclIsTypeOf="oclIsTypeOf"=39LITERAL_if="if"=40LITERAL_then="then"=41LITERAL_else="else"=42LITERAL_endif="endif"=43LITERAL_true="true"=44LITERAL_false="false"=45INT=46REAL=47STRING=48HASH("'#'")=49LITERAL_Set="Set"=50LITERAL_Sequence="Sequence"=51LITERAL_Bag="Bag"=52LBRACE("'{'")=53RBRACE("'}'")=54DOTDOT("'..'")=55LITERAL_oclEmpty="oclEmpty"=56LITERAL_oclUndefined="oclUndefined"=57LITERAL_Tuple="Tuple"=58LITERAL_Collection="Collection"=59LITERAL_create="create"=60LITERAL_assign="assign"=61COLON_EQUAL("':='")=62LITERAL_between="between"=63LITERAL_destroy="destroy"=64LITERAL_insert="insert"=65LITERAL_into="into"=66LITERAL_delete="delete"=67LITERAL_from="from"=68LITERAL_set="set"=69LITERAL_openter="openter"=70LITERAL_opexit="opexit"=71
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -