This file is indexed.

/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=[[\(|\)|\[|\]|\{|\}|\,|\;|\:|\&|\<|\>|\!|\=|\/|\*|\%|\+|\-]]