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
|
Description="Whiley"
Categories = {"source"}
Digits = [[ (?:0x)[0-9a-fA-F']+|\d*[\.]?\d+(?:[eE][\-\+]\d+)?[blLuU]* ]]
Keywords={
{ Id=1,
List={
"all", "any", "assert", "assume", "bool", "break", "byte", "case",
"catch", "continue", "debug", "default", "do", "else", "ensures", "export",
"false", "fail", "finite", "for", "function", "if", "import", "in", "int", "is",
"method", "native", "new", "no", "null", "package", "private", "protected",
"public", "requires", "return", "skip", "some", "switch", "throw", "throws",
"total", "true", "try", "void", "where", "while" }
},
{ Id=2,
List= { "constant", "from", "type" }
},
{ Id=3,
List= { }
},
{ Id=4,
Regex=[[(\w+)\s*\(]]
}
}
Strings = {
Delimiter=[["|']]
}
Comments = {
{ Block=true,
Nested=false,
Delimiter = { [[\/\*]], [[\*\/]] }
},
{
Block=false,
Delimiter = { [[//]] }
}
}
IgnoreCase=false
PreProcessor = {
Prefix=[[#]],
Continuation="\\",
}
Operators=[[\(|\)|\[|\]|\{|\}|\,|\;|\.|\:|\&|<|>|\!|=|\/|\*|\%|\+|\-|\~|\||\^]]
|
