package tm-grammars

  1. Overview
  2. Docs
package tm-grammars
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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}