"Fossies" - the Fresh Open Source Software Archive

Member "highlight-3.57-x64/langDefs/lotos.lang" (12 May 2020, 1200 Bytes) of package /windows/www/highlight-3.57-x64.zip:


As a special service "Fossies" has tried to format the requested text file into HTML format (style: standard) with prefixed line numbers. Alternatively you can here view or download the uninterpreted source code file.

    1 
    2 Description="Lotos"
    3 
    4 Categories = {"source"}
    5 
    6 Keywords={
    7   { Id=1,
    8     List={"accept", "actualizedby", "any", "behavior", "behaviour", "choice",
    9         "endlib", "endproc", "endspec", "endtype", "eqns",  "exit", "for", "forall",
   10         "formaleqns", "formalopns", "formalsorts", "hide", "iin", "is", "let",
   11         "library", "noexit", "of", "ofsort", "opnnames",  "opns", "par",  "process",
   12         "renamedby", "sortnames",  "sorts",  "specification",  "stop",  "type",
   13         "using",  "where",  "false", "true"},
   14   },
   15   { Id=2,
   16     List={"Bit", "BitString", "Bool", "DecDigit", "DecString", "Element",
   17         "FBool", "HexDigit", "HexStringOctDigit", "Octet", "OctString", "Nat",
   18         "NonEmptyString", "OctetString", "Set", "String", "BasicNaturalNumber",
   19         "BasicNonEmptyString", "BitNatRepr", "Boolean", "FBoolean", "DecNatRepr",
   20         "HexNatRepr", "NatRepresentations", "NaturalNumber", "OctNatRepr",
   21         "RicherNonEmptyString", "String0", "String1"},
   22   },
   23 }
   24 
   25 Strings={
   26   Delimiter=[["|']],
   27 }
   28 
   29 Comments={
   30   { Block=true,
   31     Nested=false,
   32     Delimiter= { [[\(\*]],[[\*\)]],}
   33   }
   34 }
   35 
   36 IgnoreCase=false
   37 
   38 Operators=[[\(|\)|\[|\]|\{|\}|\,|\;|\:|\&|<|>|\!|\=|\/|\*|\%|\+|\-]]
   39