/usr/share/highlight/langDefs/lotos.lang is in highlight-common 3.8-2.
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 | -- Language definition generated by lang2to3
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=[[\(|\)|\[|\]|\{|\}|\,|\;|\:|\&|\<|\>|\!|\=|\/|\*|\%|\+|\-]]
|