-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy pathliquidjava.json
More file actions
131 lines (131 loc) · 4.19 KB
/
liquidjava.json
File metadata and controls
131 lines (131 loc) · 4.19 KB
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
{
"$schema": "https://raw.githubusercontent.com/martinring/tmlanguage/master/tmlanguage.json",
"name": "LiquidJava",
"scopeName": "source.liquidjava",
"injectionSelector": "L:source.java - (comment, string)",
"patterns": [
{
"begin": "@(liquidjava\\.specification\\.)?(Refinement|RefinementMultiple|RefinementAlias|RefinementAliasMultiple|RefinementPredicate|RefinementPredicateMultiple|StateSet|StateSets|Ghost)\\s*\\(",
"end": "\\)",
"name": "meta.annotation.refinement.liquidjava",
"patterns": [
{
"begin": "\\b(msg)\\s*=\\s*(\")",
"beginCaptures": {
"1": { "name": "variable.parameter.annotation.liquidjava" },
"2": { "name": "string.quoted.double.java" }
},
"end": "\"",
"endCaptures": {
"0": { "name": "string.quoted.double.java" }
},
"contentName": "string.quoted.double.java"
},
{
"begin": "\"",
"end": "\"",
"contentName": "source.liquidjava",
"patterns": [
{ "include": "#keywords" },
{ "include": "#functions" },
{ "include": "#operators" },
{ "include": "#types" },
{ "include": "#literals" },
{ "include": "#identifiers" }
]
}
]
},
{
"begin": "@(liquidjava\\.specification\\.)?(StateRefinement|StateRefinementMultiple)\\s*\\(",
"end": "\\)",
"name": "meta.annotation.refinement.liquidjava",
"patterns": [
{
"match": "\\b(from|to)\\b",
"name": "variable.parameter.annotation.liquidjava"
},
{
"begin": "\\b(msg)\\s*=\\s*(\")",
"beginCaptures": {
"1": { "name": "variable.parameter.annotation.liquidjava" },
"2": { "name": "string.quoted.double.java" }
},
"end": "\"",
"endCaptures": {
"0": { "name": "string.quoted.double.java" }
},
"contentName": "string.quoted.double.java"
},
{
"begin": "\"",
"end": "\"",
"contentName": "source.liquidjava",
"patterns": [
{ "include": "#keywords" },
{ "include": "#functions" },
{ "include": "#operators" },
{ "include": "#types" },
{ "include": "#literals" },
{ "include": "#identifiers" }
]
}
]
},
{
"begin": "@(liquidjava\\.specification\\.)?ExternalRefinementsFor\\s*\\(",
"end": "\\)",
"name": "meta.annotation.externalrefinement.liquidjava",
"patterns": [
{
"begin": "\"",
"end": "\"",
"contentName": "entity.name.type.externalref.liquidjava",
"patterns": [
{ "include": "#qualified-names" }
]
}
]
}
],
"repository": {
"keywords": {
"patterns": [
{ "match": "\\bthis\\b", "name": "variable.language.this.liquidjava" },
{ "match": "\\bghost\\b|\\balias\\b|\\btype\\b", "name": "keyword.other.liquidjava" }
]
},
"functions": {
"patterns": [
{ "match": "\\bold\\b|\\blength\\b|\\baddToIndex\\b|\\bgetFromIndex\\b", "name": "entity.name.function.liquidjava" }
]
},
"operators": {
"patterns": [
{ "match": "&&|\\|\\||-->|==|!=|>=|>|<=|<|\\+|\\*|/|%|!|-|\\?|:", "name": "keyword.operator.liquidjava" }
]
},
"types": {
"patterns": [
{ "match": "\\b(int|double|float|boolean)\\b", "name": "storage.type.primitive.liquidjava" },
{ "match": "\\b[A-Z][a-zA-Z0-9]*\\b", "name": "entity.name.type.liquidjava" }
]
},
"literals": {
"patterns": [
{ "match": "\\btrue\\b|\\bfalse\\b", "name": "constant.language.boolean.liquidjava" },
{ "match": "\\d+", "name": "constant.numeric.liquidjava" }
]
},
"identifiers": {
"patterns": [
{ "match": "#*[a-zA-Z_][a-zA-Z0-9_#]*", "name": "variable.other.liquidjava" }
]
},
"qualified-names": {
"patterns": [
{ "match": "\\b([a-zA-Z_][a-zA-Z0-9_]*\\.)+[A-Z][a-zA-Z0-9_]*\\b", "name": "entity.name.type.class.liquidjava" }
]
}
}
}