fuc-new/doc/node_modules/tm-grammars/grammars/rel.json

{
  "displayName": "Rel",
  "name": "rel",
  "patterns": [
    {
      "include": "#strings"
    },
    {
      "include": "#comment"
    },
    {
      "include": "#single-line-comment-consuming-line-ending"
    },
    {
      "include": "#deprecated-temporary"
    },
    {
      "include": "#operators"
    },
    {
      "include": "#symbols"
    },
    {
      "include": "#keywords"
    },
    {
      "include": "#otherkeywords"
    },
    {
      "include": "#types"
    },
    {
      "include": "#constants"
    }
  ],
  "repository": {
    "comment": {
      "patterns": [
        {
          "begin": "/\\*\\*(?!/)",
          "beginCaptures": {
            "0": {
              "name": "punctuation.definition.comment.rel"
            }
          },
          "end": "\\*/",
          "endCaptures": {
            "0": {
              "name": "punctuation.definition.comment.rel"
            }
          },
          "name": "comment.block.documentation.rel",
          "patterns": [
            {
              "include": "#docblock"
            }
          ]
        },
        {
          "begin": "(/\\*)(?:\\s*((@)internal)(?=\\s|(\\*/)))?",
          "beginCaptures": {
            "1": {
              "name": "punctuation.definition.comment.rel"
            },
            "2": {
              "name": "storage.type.internaldeclaration.rel"
            },
            "3": {
              "name": "punctuation.decorator.internaldeclaration.rel"
            }
          },
          "end": "\\*/",
          "endCaptures": {
            "0": {
              "name": "punctuation.definition.comment.rel"
            }
          },
          "name": "comment.block.rel"
        },
        {
          "begin": "doc\"\"\"",
          "end": "\"\"\"",
          "name": "comment.block.documentation.rel"
        },
        {
          "begin": "(^[\\t ]+)?((//)(?:\\s*((@)internal)(?=\\s|$))?)",
          "beginCaptures": {
            "1": {
              "name": "punctuation.whitespace.comment.leading.rel"
            },
            "2": {
              "name": "comment.line.double-slash.rel"
            },
            "3": {
              "name": "punctuation.definition.comment.rel"
            },
            "4": {
              "name": "storage.type.internaldeclaration.rel"
            },
            "5": {
              "name": "punctuation.decorator.internaldeclaration.rel"
            }
          },
          "contentName": "comment.line.double-slash.rel",
          "end": "(?=$)"
        }
      ]
    },
    "constants": {
      "patterns": [
        {
          "match": "\\b((true|false))\\b",
          "name": "constant.language.rel"
        }
      ]
    },
    "deprecated-temporary": {
      "patterns": [
        {
          "match": "@inspect",
          "name": "keyword.other.rel"
        }
      ]
    },
    "keywords": {
      "patterns": [
        {
          "match": "\\b((def|entity|bound|include|ic|forall|exists|[∀∃]|return|module|^end))\\b|(((<)?\\|(>)?)|[∀∃])",
          "name": "keyword.control.rel"
        }
      ]
    },
    "operators": {
      "patterns": [
        {
          "match": "\\b((if|then|else|and|or|not|eq|neq|lt|lt_eq|gt|gt_eq))\\b|([-%*+/=^÷]|!=|[<≠]|<=|[>≤]|>=|[\\&≥])|\\s+(end)",
          "name": "keyword.other.rel"
        }
      ]
    },
    "otherkeywords": {
      "patterns": [
        {
          "match": "\\s*(@inline)\\s*|\\s*(@auto_number)\\s*|\\s*(function)\\s|\\b((implies|select|from|∈|where|for|in))\\b|(((<)?\\|(>)?)|∈)",
          "name": "keyword.other.rel"
        }
      ]
    },
    "single-line-comment-consuming-line-ending": {
      "begin": "(^[\\t ]+)?((//)(?:\\s*((@)internal)(?=\\s|$))?)",
      "beginCaptures": {
        "1": {
          "name": "punctuation.whitespace.comment.leading.rel"
        },
        "2": {
          "name": "comment.line.double-slash.rel"
        },
        "3": {
          "name": "punctuation.definition.comment.rel"
        },
        "4": {
          "name": "storage.type.internaldeclaration.rel"
        },
        "5": {
          "name": "punctuation.decorator.internaldeclaration.rel"
        }
      },
      "contentName": "comment.line.double-slash.rel",
      "end": "(?=^)"
    },
    "strings": {
      "begin": "\"",
      "end": "\"",
      "name": "string.quoted.double.rel",
      "patterns": [
        {
          "match": "\\\\.",
          "name": "constant.character.escape.rel"
        }
      ]
    },
    "symbols": {
      "patterns": [
        {
          "match": "(:[$\\[_[:alpha:]](]|[$_[:alnum:]]*))",
          "name": "variable.parameter.rel"
        }
      ]
    },
    "types": {
      "patterns": [
        {
          "match": "\\b((Symbol|Char|Bool|Rational|FixedDecimal|Float16|Float32|Float64|Int8|Int16|Int32|Int64|Int128|UInt8|UInt16|UInt32|UInt64|UInt128|Date|DateTime|Day|Week|Month|Year|Nanosecond|Microsecond|Millisecond|Second|Minute|Hour|FilePos|HashValue|AutoNumberValue))\\b",
          "name": "entity.name.type.rel"
        }
      ]
    }
  },
  "scopeName": "source.rel"
}