-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathp.tmLanguage
139 lines (139 loc) · 3.36 KB
/
p.tmLanguage
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
134
135
136
137
138
139
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
<plist version="1.0">
<dict>
<key>fileTypes</key>
<array>
<string>p</string>
</array>
<key>name</key>
<string>P language</string>
<key>patterns</key>
<array>
<dict>
<key>match</key>
<string>\bif\b|\belse\b|\bwhile\b|\breturn\b</string>
<key>name</key>
<string>keyword.control</string>
</dict>
<dict>
<key>match</key>
<string>\bvar\b</string>
<key>name</key>
<string>keyword</string>
</dict>
<dict>
<key>match</key>
<string>\bassert\b|\bassume\b</string>
<key>name</key>
<string>keyword.control</string>
</dict>
<dict>
<key>match</key>
<string>\bsatisfies\b|\bmonitors\b|\bspec\b|\binclude\b|\bfun\b|\bnull\b|\bsizeof\b|\bpublic\b|\bin\b|\bdefault\b|\bdo\b|\bwith\b|\bevent\b|\binterface\b|\bmodule\b|\btype\b|\bsends\b|\bcreates\b|\bmachine\b|\breceives\b|\bstate\b|\bon\b|\bgoto\b|\bignore\b|\bdefer\b|\bmonitor\b|\bobserves\b|\bcold\b|\bhot\b|\bmain\b|\bmodel\b|\btest\b|\bsafety\b|\bimplementation\b|\bpush\b|\bnew\b|\benum\b</string>
<key>name</key>
<string>keyword.other</string>
</dict>
<dict>
<key>match</key>
<string>\bstart\b</string>
<key>name</key>
<string>keyword.other</string>
</dict>
<dict>
<key>match</key>
<string>\bentry\b</string>
<key>name</key>
<string>support.function</string>
</dict>
<dict>
<key>match</key>
<string>\bsend\b|\braise\b</string>
<key>name</key>
<string>support.function</string>
</dict>
<dict>
<key>match</key>
<string>\be[A-Z]\w*\b</string>
<key>name</key>
<string>string.regexp</string>
</dict>
<dict>
<key>match</key>
<string>\b\w*Machine\b|\bM[A-Z]\w*\b</string>
<key>name</key>
<string>storage.type</string>
</dict>
<dict>
<key>match</key>
<string>\b\w*Interface\b|\bI[A-Z]\w*\b</string>
<key>name</key>
<string>storage.type</string>
</dict>
<dict>
<key>match</key>
<string>\b\w\w*Type\b</string>
<key>name</key>
<string>storage.type</string>
</dict>
<dict>
<key>match</key>
<string>\bint\b|\bbool\b|\bseq\b|\bmap\b|\bset\b|\bany\b|\bforeign\b</string>
<key>name</key>
<string>storage.type</string>
</dict>
<dict>
<key>match</key>
<string>\b\w*V\b</string>
<key>name</key>
<string>variable.parameter</string>
</dict>
<dict>
<key>match</key>
<string>\bthis\b</string>
<key>name</key>
<string>support.constant</string>
</dict>
<dict>
<key>match</key>
<string>\btrue\b|\bfalse\b</string>
<key>name</key>
<string>constant.numeric</string>
</dict>
<dict>
<key>begin</key>
<string>/\*</string>
<key>captures</key>
<dict>
<key>0</key>
<dict>
<key>name</key>
<string>punctuation.definition.comment.p</string>
</dict>
</dict>
<key>end</key>
<string>\*/</string>
<key>name</key>
<string>comment.block</string>
</dict>
<dict>
<key>captures</key>
<dict>
<key>1</key>
<dict>
<key>name</key>
<string>punctuation.definition.comment.p</string>
</dict>
</dict>
<key>match</key>
<string>(//).*$\n?</string>
<key>name</key>
<string>comment.line.double-slash</string>
</dict>
</array>
<key>scopeName</key>
<string>source.p</string>
<key>uuid</key>
<string>02d90f6f-553b-4a22-a121-a8ddeb6dade4</string>
</dict>
</plist>