/usr/share/highlight/langDefs/lotos.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 | Description="Lotos"
Keywords={
{ Id=1,
List={"accept", "actualizedby", "any", "behavior", "behaviour", "choice",
"endlib", "endproc", "endspec", "endtype", "eqns", "exit", "for", "forall",
"formaleqns", "formalopns", "formalsorts", "hide", "iin", "is", "let",
"library", "noexit", "of", "ofsort", "opnnames", "opns", "par", "process",
"renamedby", "sortnames", "sorts", "specification", "stop", "type",
"using", "where", "false", "true"},
},
{ Id=2,
List={"Bit", "BitString", "Bool", "DecDigit", "DecString", "Element",
"FBool", "HexDigit", "HexStringOctDigit", "Octet", "OctString", "Nat",
"NonEmptyString", "OctetString", "Set", "String", "BasicNaturalNumber",
"BasicNonEmptyString", "BitNatRepr", "Boolean", "FBoolean", "DecNatRepr",
"HexNatRepr", "NatRepresentations", "NaturalNumber", "OctNatRepr",
"RicherNonEmptyString", "String0", "String1"},
},
}
Strings={
Delimiter=[["|']],
}
Comments={
{ Block=true,
Nested=false,
Delimiter= { [[\(\*]],[[\*\)]],}
}
}
IgnoreCase=false
Operators=[[\(|\)|\[|\]|\{|\}|\,|\;|\:|\&|<|>|\!|\=|\/|\*|\%|\+|\-]]
|