/usr/share/highlight/langDefs/whiley.lang is in highlight-common 3.41-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 | Description="Whiley"
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=[[\(|\)|\[|\]|\{|\}|\,|\;|\.|\:|\&|<|>|\!|=|\/|\*|\%|\+|\-|\~|\||\^]]
|