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

# Properties for b mode.
properties = {
    "commentEnd": "*/",
    "commentStart": "/*",
    "indentNextLine": "\\s*(((ANY|ASSERT|CASE|CHOICE|IF|LET|PRE|SELECT|VAR|WHILE|WHEN)\\s*\\(|ELSE|ELSEIF|EITHER|OR|VARIANT|INVARIANT)[^;]*|for\\s*\\(.*)",
    "lineComment": "//",
}

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

# Dictionary of attributes dictionaries for b mode.
attributesDictDict = {
    "b_main": b_main_attributes_dict,
}

# Keywords dict for b_main ruleset.
b_main_keywords_dict = {
    "ABSTRACT_CONSTANTS": "keyword2",
    "ABSTRACT_VARIABLES": "keyword2",
    "ANY": "keyword2",
    "ASSERT": "keyword2",
    "ASSERTIONS": "keyword2",
    "BE": "keyword2",
    "BEGIN": "keyword2",
    "CASE": "keyword2",
    "CHOICE": "keyword2",
    "CONCRETE_CONSTANTS": "keyword2",
    "CONCRETE_VARIABLES": "keyword2",
    "CONSTANTS": "keyword2",
    "CONSTRAINTS": "keyword2",
    "DEFINITIONS": "keyword2",
    "DO": "keyword2",
    "EITHER": "keyword2",
    "ELSE": "keyword2",
    "ELSIF": "keyword2",
    "END": "keyword2",
    "EXTENDS": "keyword2",
    "FIN": "keyword3",
    "FIN1": "keyword3",
    "IF": "keyword2",
    "IMPLEMENTATION": "keyword2",
    "IMPORTS": "keyword2",
    "IN": "keyword2",
    "INCLUDES": "keyword2",
    "INITIALISATION": "keyword2",
    "INT": "keyword3",
    "INTEGER": "keyword3",
    "INTER": "keyword3",
    "INVARIANT": "keyword2",
    "LET": "keyword2",
    "LOCAL_OPERATIONS": "keyword2",
    "MACHINE": "keyword2",
    "MAXINT": "keyword3",
    "MININT": "keyword3",
    "NAT": "keyword3",
    "NAT1": "keyword3",
    "NATURAL": "keyword3",
    "NATURAL1": "keyword3",
    "OF": "keyword2",
    "OPERATIONS": "keyword2",
    "OR": "keyword2",
    "PI": "keyword3",
    "POW": "keyword3",
    "POW1": "keyword3",
    "PRE": "keyword2",
    "PROMOTES": "keyword2",
    "PROPERTIES": "keyword2",
    "REFINEMENT": "keyword2",
    "REFINES": "keyword2",
    "SEES": "keyword2",
    "SELECT": "keyword2",
    "SETS": "keyword2",
    "SIGMA": "keyword3",
    "THEN": "keyword2",
    "UNION": "keyword3",
    "USES": "keyword2",
    "VALUES": "keyword2",
    "VAR": "keyword2",
    "VARIABLES": "keyword2",
    "VARIANT": "keyword2",
    "WHEN": "keyword2",
    "WHERE": "keyword2",
    "WHILE": "keyword2",
    "arity": "function",
    "bin": "function",
    "bool": "function",
    "btree": "function",
    "card": "function",
    "closure": "function",
    "closure1": "function",
    "conc": "function",
    "const": "function",
    "dom": "function",
    "father": "function",
    "first": "function",
    "fnc": "function",
    "front": "function",
    "id": "function",
    "infix": "function",
    "inter": "function",
    "iseq": "function",
    "iseq1": "function",
    "iterate": "function",
    "last": "function",
    "left": "function",
    "max": "function",
    "min": "function",
    "mirror": "function",
    "mod": "function",
    "not": "function",
    "or": "function",
    "perm": "function",
    "postfix": "function",
    "pred": "function",
    "prefix": "function",
    "prj1": "function",
    "prj2": "function",
    "ran": "function",
    "rank": "function",
    "rec": "function",
    "rel": "function",
    "rev": "function",
    "right": "function",
    "r~": "function",
    "seq": "function",
    "seq1": "function",
    "size": "function",
    "sizet": "function",
    "skip": "function",
    "son": "function",
    "sons": "function",
    "struct": "function",
    "subtree": "function",
    "succ": "function",
    "tail": "function",
    "top": "function",
    "tree": "function",
    "union": "function",
}

# Dictionary of keywords dictionaries for b mode.
keywordsDictDict = {
    "b_main": b_main_keywords_dict,
}

# Rules for b_main ruleset.

def b_rule0(colorer, s, i):
    return colorer.match_span(s, i, kind="comment3", 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 b_rule1(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 b_rule2(colorer, s, i):
    return colorer.match_span(s, i, kind="literal1", begin="\"", end="\"",
        at_line_start=False, at_whitespace_end=False, at_word_start=False,
        delegate="",exclude_match=False,
        no_escape=False, no_line_break=True, no_word_break=False)

def b_rule3(colorer, s, i):
    return colorer.match_span(s, i, kind="literal1", begin="'", end="'",
        at_line_start=False, at_whitespace_end=False, at_word_start=False,
        delegate="",exclude_match=False,
        no_escape=False, no_line_break=True, no_word_break=False)

def b_rule4(colorer, s, i):
    return colorer.match_eol_span(s, i, kind="comment2", seq="//",
        at_line_start=False, at_whitespace_end=False, at_word_start=False,
        delegate="", exclude_match=False)

def b_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 b_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 b_rule7(colorer, s, i):
    return colorer.match_seq(s, i, kind="operator", seq="$0",
        at_line_start=False, at_whitespace_end=False, at_word_start=False, delegate="")

def b_rule8(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 b_rule9(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 b_rule10(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 b_rule11(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 b_rule12(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 b_rule13(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 b_rule14(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 b_rule15(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 b_rule16(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 b_rule17(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 b_rule18(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 b_rule19(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 b_rule20(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 b_rule21(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 b_rule22(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 b_rule23(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 b_rule24(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 b_rule25(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 b_rule26(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 b_rule27(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 b_rule28(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 b_rule29(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 b_rule30(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 b_rule31(colorer, s, i):
    return colorer.match_keywords(s, i)

# Rules dict for b_main ruleset.
rulesDict1 = {
    "!": [b_rule5,],
    "\"": [b_rule2,],
    "#": [b_rule6,],
    "$": [b_rule7,],
    "%": [b_rule8,],
    "&": [b_rule10,],
    "'": [b_rule3,],
    "(": [b_rule25,],
    ")": [b_rule26,],
    "*": [b_rule13,],
    "+": [b_rule14,],
    ",": [b_rule24,],
    "-": [b_rule21,],
    ".": [b_rule23,],
    "/": [b_rule0,b_rule1,b_rule4,b_rule15,],
    "0": [b_rule31,],
    "1": [b_rule31,],
    "2": [b_rule31,],
    "3": [b_rule31,],
    "4": [b_rule31,],
    "5": [b_rule31,],
    "6": [b_rule31,],
    "7": [b_rule31,],
    "8": [b_rule31,],
    "9": [b_rule31,],
    ":": [b_rule18,],
    ";": [b_rule19,],
    "<": [b_rule12,],
    "=": [b_rule9,],
    ">": [b_rule11,],
    "@": [b_rule31,],
    "A": [b_rule31,],
    "B": [b_rule31,],
    "C": [b_rule31,],
    "D": [b_rule31,],
    "E": [b_rule31,],
    "F": [b_rule31,],
    "G": [b_rule31,],
    "H": [b_rule31,],
    "I": [b_rule31,],
    "J": [b_rule31,],
    "K": [b_rule31,],
    "L": [b_rule31,],
    "M": [b_rule31,],
    "N": [b_rule31,],
    "O": [b_rule31,],
    "P": [b_rule31,],
    "Q": [b_rule31,],
    "R": [b_rule31,],
    "S": [b_rule31,],
    "T": [b_rule31,],
    "U": [b_rule31,],
    "V": [b_rule31,],
    "W": [b_rule31,],
    "X": [b_rule31,],
    "Y": [b_rule31,],
    "Z": [b_rule31,],
    "[": [b_rule30,],
    "\\": [b_rule16,],
    "]": [b_rule29,],
    "^": [b_rule22,],
    "_": [b_rule31,],
    "a": [b_rule31,],
    "b": [b_rule31,],
    "c": [b_rule31,],
    "d": [b_rule31,],
    "e": [b_rule31,],
    "f": [b_rule31,],
    "g": [b_rule31,],
    "h": [b_rule31,],
    "i": [b_rule31,],
    "j": [b_rule31,],
    "k": [b_rule31,],
    "l": [b_rule31,],
    "m": [b_rule31,],
    "n": [b_rule31,],
    "o": [b_rule31,],
    "p": [b_rule31,],
    "q": [b_rule31,],
    "r": [b_rule31,],
    "s": [b_rule31,],
    "t": [b_rule31,],
    "u": [b_rule31,],
    "v": [b_rule31,],
    "w": [b_rule31,],
    "x": [b_rule31,],
    "y": [b_rule31,],
    "z": [b_rule31,],
    "{": [b_rule28,],
    "|": [b_rule20,],
    "}": [b_rule27,],
    "~": [b_rule17,b_rule31,],
}

# x.rulesDictDict for b mode.
rulesDictDict = {
    "b_main": rulesDict1,
}

# Import dict for b mode.
importDict = {}

