Source file tm_grammar_jssm.ml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
let lang_id = "jssm"
let json = {json|{
"displayName": "JSSM",
"fileTypes": [
"jssm",
"jssm_state"
],
"name": "jssm",
"patterns": [
{
"begin": "/\\*",
"captures": {
"0": {
"name": "punctuation.definition.comment.mn"
}
},
"end": "\\*/",
"name": "comment.block.jssm"
},
{
"begin": "//",
"end": "$",
"name": "comment.line.jssm"
},
{
"begin": "\\$\\{",
"captures": {
"0": {
"name": "entity.name.function"
}
},
"end": "}",
"name": "keyword.other"
},
{
"match": "([0-9]*)(\\.)([0-9]*)(\\.)([0-9]*)",
"name": "constant.numeric"
},
{
"match": "graph_layout(\\s*)(:)",
"name": "constant.language.jssmLanguage"
},
{
"match": "machine_name(\\s*)(:)",
"name": "constant.language.jssmLanguage"
},
{
"match": "machine_version(\\s*)(:)",
"name": "constant.language.jssmLanguage"
},
{
"match": "jssm_version(\\s*)(:)",
"name": "constant.language.jssmLanguage"
},
{
"match": "<->",
"name": "keyword.control.transition.jssmArrow.legal_legal"
},
{
"match": "<-",
"name": "keyword.control.transition.jssmArrow.legal_none"
},
{
"match": "->",
"name": "keyword.control.transition.jssmArrow.none_legal"
},
{
"match": "<=>",
"name": "keyword.control.transition.jssmArrow.main_main"
},
{
"match": "=>",
"name": "keyword.control.transition.jssmArrow.none_main"
},
{
"match": "<=",
"name": "keyword.control.transition.jssmArrow.main_none"
},
{
"match": "<~>",
"name": "keyword.control.transition.jssmArrow.forced_forced"
},
{
"match": "~>",
"name": "keyword.control.transition.jssmArrow.none_forced"
},
{
"match": "<~",
"name": "keyword.control.transition.jssmArrow.forced_none"
},
{
"match": "<-=>",
"name": "keyword.control.transition.jssmArrow.legal_main"
},
{
"match": "<=->",
"name": "keyword.control.transition.jssmArrow.main_legal"
},
{
"match": "<-~>",
"name": "keyword.control.transition.jssmArrow.legal_forced"
},
{
"match": "<~->",
"name": "keyword.control.transition.jssmArrow.forced_legal"
},
{
"match": "<=~>",
"name": "keyword.control.transition.jssmArrow.main_forced"
},
{
"match": "<~=>",
"name": "keyword.control.transition.jssmArrow.forced_main"
},
{
"match": "([0-9]+)%",
"name": "constant.numeric.jssmProbability"
},
{
"match": "'[^']*'",
"name": "constant.character.jssmAction"
},
{
"match": "\"[^\"]*\"",
"name": "entity.name.tag.jssmLabel.doublequoted"
},
{
"match": "([!#\\&()+,.0-9?-Z_a-z])",
"name": "entity.name.tag.jssmLabel.atom"
}
],
"scopeName": "source.jssm"
}|json}