# Leo colorizer control file for lotos mode.
# This file is in the public domain.

# Properties for lotos mode.
properties = {
    "commentEnd": "*)",
    "commentStart": "(*",
    "indentNextLines": "\\s*(let|library|process|specification|type|>>).*|\\s*(\\(|\\[\\]|\\[>|\\|\\||\\|\\|\\||\\|\\[.*\\]\\||\\[.*\\]\\s*->)\\s*",
}

# Attributes dict for lotos_main ruleset.
lotos_main_attributes_dict = {
    "default": "null",
    "digit_re": "",
    "escape": "",
    "highlight_digits": "false",
    "ignore_case": "true",
    "no_word_sep": "",
}

# Dictionary of attributes dictionaries for lotos mode.
attributesDictDict = {
    "lotos_main": lotos_main_attributes_dict,
}

# Keywords dict for lotos_main ruleset.
lotos_main_keywords_dict = {
    "accept": "keyword1",
    "actualizedby": "keyword1",
    "any": "keyword1",
    "basicnaturalnumber": "keyword2",
    "basicnonemptystring": "keyword2",
    "behavior": "keyword1",
    "behaviour": "keyword1",
    "bit": "keyword2",
    "bitnatrepr": "keyword2",
    "bitstring": "keyword2",
    "bool": "keyword2",
    "boolean": "keyword2",
    "choice": "keyword1",
    "decdigit": "keyword2",
    "decnatrepr": "keyword2",
    "decstring": "keyword2",
    "element": "keyword2",
    "endlib": "keyword1",
    "endproc": "keyword1",
    "endspec": "keyword1",
    "endtype": "keyword1",
    "eqns": "keyword1",
    "exit": "keyword1",
    "false": "literal1",
    "fbool": "keyword2",
    "fboolean": "keyword2",
    "for": "keyword1",
    "forall": "keyword1",
    "formaleqns": "keyword1",
    "formalopns": "keyword1",
    "formalsorts": "keyword1",
    "hexdigit": "keyword2",
    "hexnatrepr": "keyword2",
    "hexstring": "keyword2",
    "hide": "keyword1",
    "i": "keyword1",
    "in": "keyword1",
    "is": "keyword1",
    "let": "keyword1",
    "library": "keyword1",
    "nat": "keyword2",
    "natrepresentations": "keyword2",
    "naturalnumber": "keyword2",
    "noexit": "keyword1",
    "nonemptystring": "keyword2",
    "octdigit": "keyword2",
    "octet": "keyword2",
    "octetstring": "keyword2",
    "octnatrepr": "keyword2",
    "octstring": "keyword2",
    "of": "keyword1",
    "ofsort": "keyword1",
    "opnnames": "keyword1",
    "opns": "keyword1",
    "par": "keyword1",
    "process": "keyword1",
    "renamedby": "keyword1",
    "richernonemptystring": "keyword2",
    "set": "keyword2",
    "sortnames": "keyword1",
    "sorts": "keyword1",
    "specification": "keyword1",
    "stop": "keyword1",
    "string": "keyword2",
    "string0": "keyword2",
    "string1": "keyword2",
    "true": "literal1",
    "type": "keyword1",
    "using": "keyword1",
    "where": "keyword1",
}

# Dictionary of keywords dictionaries for lotos mode.
keywordsDictDict = {
    "lotos_main": lotos_main_keywords_dict,
}

# Rules for lotos_main ruleset.

def lotos_rule0(colorer, s, i):
    return colorer.match_span(s, i, kind="comment1", begin="(*", end="*)",
        at_line_start=False, at_whitespace_end=False, at_word_start=False,
        delegate="",exclude_match=False,
        no_escape=False, no_line_break=False, no_word_break=False)

def lotos_rule1(colorer, s, i):
    return colorer.match_seq(s, i, kind="operator", seq=">>",
        at_line_start=False, at_whitespace_end=False, at_word_start=False, delegate="")

def lotos_rule2(colorer, s, i):
    return colorer.match_seq(s, i, kind="operator", seq="[>",
        at_line_start=False, at_whitespace_end=False, at_word_start=False, delegate="")

def lotos_rule3(colorer, s, i):
    return colorer.match_seq(s, i, kind="operator", seq="|||",
        at_line_start=False, at_whitespace_end=False, at_word_start=False, delegate="")

def lotos_rule4(colorer, s, i):
    return colorer.match_seq(s, i, kind="operator", seq="||",
        at_line_start=False, at_whitespace_end=False, at_word_start=False, delegate="")

def lotos_rule5(colorer, s, i):
    return colorer.match_seq(s, i, kind="operator", seq="|[",
        at_line_start=False, at_whitespace_end=False, at_word_start=False, delegate="")

def lotos_rule6(colorer, s, i):
    return colorer.match_seq(s, i, kind="operator", seq="]|",
        at_line_start=False, at_whitespace_end=False, at_word_start=False, delegate="")

def lotos_rule7(colorer, s, i):
    return colorer.match_seq(s, i, kind="operator", seq="[]",
        at_line_start=False, at_whitespace_end=False, at_word_start=False, delegate="")

def lotos_rule8(colorer, s, i):
    return colorer.match_keywords(s, i)

# Rules dict for lotos_main ruleset.
rulesDict1 = {
    "(": [lotos_rule0,],
    "0": [lotos_rule8,],
    "1": [lotos_rule8,],
    "2": [lotos_rule8,],
    "3": [lotos_rule8,],
    "4": [lotos_rule8,],
    "5": [lotos_rule8,],
    "6": [lotos_rule8,],
    "7": [lotos_rule8,],
    "8": [lotos_rule8,],
    "9": [lotos_rule8,],
    ">": [lotos_rule1,],
    "@": [lotos_rule8,],
    "A": [lotos_rule8,],
    "B": [lotos_rule8,],
    "C": [lotos_rule8,],
    "D": [lotos_rule8,],
    "E": [lotos_rule8,],
    "F": [lotos_rule8,],
    "G": [lotos_rule8,],
    "H": [lotos_rule8,],
    "I": [lotos_rule8,],
    "J": [lotos_rule8,],
    "K": [lotos_rule8,],
    "L": [lotos_rule8,],
    "M": [lotos_rule8,],
    "N": [lotos_rule8,],
    "O": [lotos_rule8,],
    "P": [lotos_rule8,],
    "Q": [lotos_rule8,],
    "R": [lotos_rule8,],
    "S": [lotos_rule8,],
    "T": [lotos_rule8,],
    "U": [lotos_rule8,],
    "V": [lotos_rule8,],
    "W": [lotos_rule8,],
    "X": [lotos_rule8,],
    "Y": [lotos_rule8,],
    "Z": [lotos_rule8,],
    "[": [lotos_rule2,lotos_rule7,],
    "]": [lotos_rule6,],
    "a": [lotos_rule8,],
    "b": [lotos_rule8,],
    "c": [lotos_rule8,],
    "d": [lotos_rule8,],
    "e": [lotos_rule8,],
    "f": [lotos_rule8,],
    "g": [lotos_rule8,],
    "h": [lotos_rule8,],
    "i": [lotos_rule8,],
    "j": [lotos_rule8,],
    "k": [lotos_rule8,],
    "l": [lotos_rule8,],
    "m": [lotos_rule8,],
    "n": [lotos_rule8,],
    "o": [lotos_rule8,],
    "p": [lotos_rule8,],
    "q": [lotos_rule8,],
    "r": [lotos_rule8,],
    "s": [lotos_rule8,],
    "t": [lotos_rule8,],
    "u": [lotos_rule8,],
    "v": [lotos_rule8,],
    "w": [lotos_rule8,],
    "x": [lotos_rule8,],
    "y": [lotos_rule8,],
    "z": [lotos_rule8,],
    "|": [lotos_rule3,lotos_rule4,lotos_rule5,],
}

# x.rulesDictDict for lotos mode.
rulesDictDict = {
    "lotos_main": rulesDict1,
}

# Import dict for lotos mode.
importDict = {}

