Newer
Older
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
{
"try catch": {
"prefix": "try",
"scope": "modest",
"description": "try catch",
"body": [
"try\n{\n\t${1:BEHAVIOR}\n}\ncatch ${2:EXCEPTION}\n{\n\t$0\n}"
]
},
"do": {
"prefix": "do",
"scope": "modest",
"description": "do",
"body": [
"do\n{\n\t${0:BEHAVIOR}\n}"
]
},
"process": {
"prefix": "process",
"scope": "modest",
"description": "process",
"body": [
"process ${1:NAME}(${2:PARAMETER})\n{\n\t${0:BEHAVIOR}\n}"
]
},
"if": {
"prefix": "if",
"scope": "modest",
"description": "if",
"body": [
"if(${1:CONDITION})\n{\n\t${2:BEHAVIOR}\n}\nelse\n{\n\t${0:BEHAVIOR}\n}"
]
},
"par": {
"prefix": "par",
"scope": "modest",
"description": "par",
"body": [
"par {\n::\t${1:PAR1}\n::\t${0:PAR2}\n}"
]
},
"alt": {
"prefix": "alt",
"scope": "modest",
"description": "alt",
"body": [
"alt {\n::\t${1:ALT1}\n::\t${0:ALT2}\n}"
]
},
"palt": {
"prefix": "palt",
"scope": "modest",
"description": "palt",
"body": [
"palt {\n:${1:P1}:\t${2:ALT1}\n:${3:P2}:\t${0:ALT2}\n}"
]
},
"relabel": {
"prefix": "relabel",
"scope": "modest",
"description": "relabel",
"body": [
"relabel {${1:I}} by {${2:G}} ${0:P}"
]
},
"property": {
"prefix": "property",
"scope": "modest",
"description": "property",
"body": [
"property ${1:NAME} = ${2|Pmax,Pmin,Xmax,Xmin,Smax,Smin|}($3);$4"
]
},
"function": {
"prefix": "function",
"scope": "modest",
"description": "function",
"body": [
"function ${1:RETURN} ${2:NAME}(${3:PARAMETERS}) = ${4:FUNCTION};$0"