spin-presentation/promela.tmLanguage.json at master · bramba2000/spin-presentation · GitHub

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
{
  "fileTypes": [
    "pml",
    "promela"
  ],
  "name": "Promela",
  "patterns": [
    {
      "begin": "\\/\\*",
      "comment": "Block comment",
      "end": "\\*\\/",
      "name": "comment.block"
    },
    {
      "comment": "flow control",
      "match": "\\b(assert|else|fi|if|unless|xr|xs|do|od|break|skip|atomic|d_step|goto|for|in|then|add)\\b",
      "name": "keyword.control"
    },
    {
      "comment": "operators",
      "match": "\\b(run)\\b",
      "name": "keyword.operator"
    },
    {
      "captures": {
        "2": {
          "name": "keyword.operator"
        },
        "3": {
          "name": "entity.name.function"
        }
      },
      "comment": "defines",
      "match": "^(#)\\s*(define)\\s*([a-zA-Z_]+[0-9a-zA-Z_]*)"
    },
    {
      "comment": "label (as in goto)",
      "match": "\\b[a-zA-Z_]+[0-9a-zA-Z_]*(\\s)*:",
      "name": "variable.other"
    },
    {
      "comment": "built-in functions",
      "match": "\\b(printf|len|empty|nempty|full|nfull|enabled|eval|pc_value)\\b",
      "name": "entity.name.function"
    },
    {
      "begin": "\\b([a-zA-Z_]+[0-9a-zA-Z_]*)\\(",
      "beginCaptures": {
        "1": {
          "name": "entity.name.function"
        }
      },
      "comment": "function calls",
      "end": "\\)",
      "patterns": [
        {
          "include": "$self"
        }
      ]
    },
    {
      "begin": "\\b(ltl)(\\s)+([a-zA-Z_]+[0-9a-zA-Z_]*)(\\s)*{",
      "beginCaptures": {
        "1": {
          "name": "storage.type"
        },
        "3": {
          "name": "entity.name.function"
        }
      },
      "comment": "ltls",
      "end": "}",
      "patterns": [
        {
          "include": "$self"
        }
      ]
    },
    {
      "comment": "string",
      "match": "\"([^\\\\\"]|\\\\.)*\"",
      "name": "string.quoted.double"
    },
    {
      "comment": "integer",
      "match": "\\b([0-9])+\\b",
      "name": "constant.numeric"
    },
    {
      "comment": "true and false",
      "match": "\\b(true|false|TRUE|FALSE)\\b",
      "name": "constant.language"
    },
    {
      "comment": "type",
      "match": "\\b(bit|bool|byte|pid|chan|int|mtype|proctype|short|unsigned|D_proctype)\\b",
      "name": "storage.type"
    },
    {
      "comment": "modifiers",
      "match": "\\b(hidden|init|inline|active|local|show|of)\\b",
      "name": "storage.modifier"
    },
    {
      "comment": "I don't know where to put these",
      "match": "\\b(typedef)\\b",
      "name": "storage.modifier"
    },
    {
      "comment": "C instruction wrapping",
      "match": "\\b(c_state|c_code|c_expr|c_decl|c_track)\\b",
      "name": "support.other"
    },
    {
      "comment": "Line comment",
      "match": "\\/\\/.*$",
      "name": "comment.double-slash"
    }
  ],
  "scopeName": "source.promela",
  "uuid": "fa220c5d-0ad5-4a52-8027-37e13443b1fc"
}