github-linguist-grammars 4.6.0

data/grammars/source.alloy.json

@@ -0,0 +1,44 @@
+{
+  "fileTypes": [
+    "src"
+  ],
+  "name": "text.alloy",
+  "patterns": [
+    {
+      "match": "\\b(run|check)\\b",
+      "name": "keyword.control.alloy"
+    },
+    {
+      "match": "\\b(implies|or|and|let|else)\\b",
+      "name": "keyword.operator.alloy"
+    },
+    {
+      "match": "\\b(fact|abstract|sig|extends|some|one|lone|set|all|no|none|open|module|not|in|pred|assert|for|but exactly|disj)\\b",
+      "name": "keyword.other.alloy"
+    },
+    {
+      "match": "\\/\\/.*",
+      "name": "comment.line.double-slash.alloy"
+    },
+    {
+      "match": "\\/\\*(.)*\\*\\/|\\s\\*\\s(.)*\\n|\\*/|\\/\\*(.)*",
+      "name": "comment.block.empty.alloy"
+    },
+    {
+      "match": "\\b(fact|sig|module|pred|fun|enum)\\b",
+      "name": "storage.type.alloy"
+    },
+    {
+      "begin": "pred \\w*\\[(.)*]{",
+      "end": "}",
+      "name": "entity.name.function.predicate.alloy",
+      "patterns": [
+        {
+          "include": "$self"
+        }
+      ]
+    }
+  ],
+  "scopeName": "source.alloy",
+  "uuid": "4E96158C-0507-4FFC-87D7-76A2E89DE7FB"
+}

data/grammars/source.ampl.json

@@ -0,0 +1,157 @@
+{
+  "fileTypes": [
+    "mod",
+    "dat",
+    "run"
+  ],
+  "name": "AMPL",
+  "patterns": [
+    {
+      "include": "#general"
+    },
+    {
+      "include": "#argumentcurly"
+    },
+    {
+      "include": "#argumentbracket"
+    }
+  ],
+  "repository": {
+    "argumentbracket": {
+      "begin": "\\[",
+      "end": "\\]",
+      "patterns": [
+        {
+          "include": "#general"
+        },
+        {
+          "match": "\\w",
+          "name": "meta.function-call.arguments.ampl"
+        }
+      ]
+    },
+    "argumentcurly": {
+      "begin": "\\{",
+      "end": "\\}",
+      "patterns": [
+        {
+          "include": "#general"
+        },
+        {
+          "match": ".",
+          "name": "meta.function-call.arguments.ampl"
+        }
+      ]
+    },
+    "blockcomment": {
+      "begin": "/\\*",
+      "contentName": "comment.block.documentation.ampl",
+      "end": "\\*/",
+      "name": "comment.slashstar.ampl"
+    },
+    "doublequotestring": {
+      "begin": "\"",
+      "beginCaptures": {
+        "0": {
+          "name": "punctuation.definition.string.begin.ampl"
+        }
+      },
+      "end": "\"",
+      "endCaptures": {
+        "0": {
+          "name": "punctuation.definition.string.end.ampl"
+        }
+      },
+      "name": "string.quoted.double.ampl",
+      "patterns": [
+        {
+          "match": "%(\\w+%|\\d+)",
+          "name": "entity.name.class.ampl"
+        }
+      ]
+    },
+    "general": {
+      "patterns": [
+        {
+          "include": "#linecomment"
+        },
+        {
+          "include": "#blockcomment"
+        },
+        {
+          "include": "#singlequotestring"
+        },
+        {
+          "include": "#doublequotestring"
+        },
+        {
+          "include": "#number"
+        },
+        {
+          "include": "#keyword"
+        },
+        {
+          "include": "#suffix"
+        },
+        {
+          "include": "#math"
+        },
+        {
+          "include": "#operator"
+        }
+      ]
+    },
+    "keyword": {
+      "match": "(?i)\\b(minimize|maximize|objective|coeff|coef|cover|obj|default|from|to|to_come|net_in|net_out|dimen|dimension|integer|binary|set|param|var|node|ordered|circular|reversed|symbolic|arc|check|close|display|drop|include|print|printf|quit|reset|restore|solve|update|write|shell|model|data|option|let|solution|fix|unfix|end|function|pipe|format|if|then|else|and|or|exists|forall|in|not|within|while|repeat|for|subject to|subj to|s\\.t\\.|card|next|nextw|prev|prevw|first|last|member|ord|ord0)\\b",
+      "name": "keyword.control.ampl"
+    },
+    "linecomment": {
+      "captures": {
+        "1": {
+          "name": "punctuation.definition.comment.gms"
+        }
+      },
+      "match": "(#.*)(?!\\[\\[).*$\\n?",
+      "name": "comment.line.sharp.ampl"
+    },
+    "math": {
+      "match": "(?i)\\b(union|diff|difference|symdiff|sum|inter|intersect|intersection|cross|setof|by|less|mod|div|product|abs|acos|acosh|alias|asin|asinh|atan|atan2|atanh|ceil|cos|exp|floor|log|log10|max|min|precision|round|sin|sinh|sqrt|tan|tanh|trunc|Beta|Cauchy|Exponential|Gamma|Irand224|Normal|Poisson|Uniform|Uniform01)\\b",
+      "name": "keyword.operator.ampl"
+    },
+    "number": {
+      "match": "(?<![\\d.])\\b\\d+(\\.\\d+)?([eE]-?\\d+)?|\\.\\d+([eE]-?\\d+)?|(?i)([+-]?infinity)",
+      "name": "constant.numeric.ampl"
+    },
+    "operator": {
+      "match": "(\\+|-|\\*|\\/|\\*\\*|=|<=?|>=?|==|\\||\\^|<|>|!|\\.\\.|:=|&|!=|:|/)",
+      "name": "keyword.operator.ampl"
+    },
+    "singlequotestring": {
+      "begin": "'",
+      "beginCaptures": {
+        "0": {
+          "name": "punctuation.definition.string.begin.ampl"
+        }
+      },
+      "end": "'",
+      "endCaptures": {
+        "0": {
+          "name": "punctuation.definition.string.end.ampl"
+        }
+      },
+      "name": "string.quoted.single.ampl",
+      "patterns": [
+        {
+          "match": "%(\\w+%|\\d+)",
+          "name": "entity.name.class.ampl"
+        }
+      ]
+    },
+    "suffix": {
+      "match": "\\b\\w*.(lb|ub|lb0|lb1|lb2|lrc|ub0|ub1|ub2|urc|val|lbs|ubs|init|body|dinit|dual|init0|ldual|slack|udual|lslack|uslack|dinit0)|(<<|>>)",
+      "name": "keyword.ampl"
+    }
+  },
+  "scopeName": "source.ampl",
+  "uuid": "7224acbd-b663-4ec3-8a02-3e6cf1680446"
+}

data/grammars/source.antlr.json

@@ -0,0 +1,300 @@
+{
+  "fileTypes": [
+    "g"
+  ],
+  "keyEquivalent": "^~A",
+  "name": "ANTLR",
+  "patterns": [
+    {
+      "include": "#strings"
+    },
+    {
+      "include": "#comments"
+    },
+    {
+      "begin": "\\boptions\\b",
+      "beginCaptures": {
+        "0": {
+          "name": "keyword.other.options.antlr"
+        }
+      },
+      "end": "(?<=\\})",
+      "name": "meta.options.antlr",
+      "patterns": [
+        {
+          "begin": "\\{",
+          "beginCaptures": {
+            "0": {
+              "name": "punctuation.section.options.begin.antlr"
+            }
+          },
+          "end": "\\}",
+          "endCaptures": {
+            "0": {
+              "name": "punctuation.section.options.end.antlr"
+            }
+          },
+          "name": "meta.options-block.antlr",
+          "patterns": [
+            {
+              "include": "#strings"
+            },
+            {
+              "include": "#comments"
+            },
+            {
+              "match": "\\b\\d+\\b",
+              "name": "constant.numeric.antlr"
+            },
+            {
+              "match": "\\b(k|charVocabulary|filter|greedy|paraphrase|exportVocab|buildAST|defaultErrorHandler|language|namespace|namespaceStd|namespaceAntlr|genHashLines)\\b",
+              "name": "variable.other.option.antlr"
+            },
+            {
+              "match": "\\b(true|false)\\b",
+              "name": "constant.language.boolean.antlr"
+            }
+          ]
+        }
+      ]
+    },
+    {
+      "begin": "^(class)\\b\\s+(\\w+)",
+      "captures": {
+        "1": {
+          "name": "storage.type.antlr"
+        },
+        "2": {
+          "name": "entity.name.type.class.antlr"
+        }
+      },
+      "end": ";",
+      "name": "meta.definition.class.antlr",
+      "patterns": [
+        {
+          "begin": "\\b(extends)\\b\\s+",
+          "captures": {
+            "1": {
+              "name": "storage.modifier.antlr"
+            }
+          },
+          "end": "(?=;)",
+          "name": "meta.definition.class.extends.antlr",
+          "patterns": [
+            {
+              "match": "\\b(Parser|Lexer|TreeWalker)\\b",
+              "name": "support.class.antlr"
+            }
+          ]
+        }
+      ]
+    },
+    {
+      "match": "^protected\\b",
+      "name": "storage.modifier.antlr"
+    },
+    {
+      "match": "^[[:upper:]_][[:upper:][:digit:]_]*\\b",
+      "name": "entity.name.type.token.antlr"
+    },
+    {
+      "captures": {
+        "1": {
+          "name": "entity.name.function.rule.antlr"
+        },
+        "2": {
+          "name": "keyword.control.antlr"
+        }
+      },
+      "match": "^(\\w+)(?:\\s+(returns\\b))?",
+      "name": "meta.rule.antlr"
+    },
+    {
+      "match": "\\b[[:upper:]_][[:upper:][:digit:]_]*\\b",
+      "name": "constant.other.token.antlr"
+    },
+    {
+      "include": "#nested-curly"
+    }
+  ],
+  "repository": {
+    "comments": {
+      "patterns": [
+        {
+          "begin": "/\\*",
+          "beginCaptures": {
+            "0": {
+              "name": "punctuation.definition.comment.begin.antlr"
+            }
+          },
+          "end": "\\*/",
+          "endCaptures": {
+            "0": {
+              "name": "punctuation.definition.comment.end.antlr"
+            }
+          },
+          "name": "comment.block.antlr"
+        },
+        {
+          "begin": "(^[ \\t]+)?(?=//)",
+          "beginCaptures": {
+            "1": {
+              "name": "punctuation.whitespace.comment.leading.antlr"
+            }
+          },
+          "end": "(?!\\G)",
+          "patterns": [
+            {
+              "begin": "//",
+              "beginCaptures": {
+                "0": {
+                  "name": "punctuation.definition.comment.antlr"
+                }
+              },
+              "end": "\\n",
+              "name": "comment.line.double-slash.antlr"
+            }
+          ]
+        }
+      ]
+    },
+    "nested-curly": {
+      "begin": "\\{",
+      "beginCaptures": {
+        "0": {
+          "name": "punctuation.section.group.begin.antlr"
+        }
+      },
+      "end": "\\}",
+      "endCaptures": {
+        "0": {
+          "name": "punctuation.section.group.end.antlr"
+        }
+      },
+      "name": "source.embedded.java-or-c.antlr",
+      "patterns": [
+        {
+          "match": "\\b(break|case|continue|default|do|else|for|goto|if|_Pragma|return|switch|while)\\b",
+          "name": "keyword.control.java-or-c"
+        },
+        {
+          "match": "\\b(asm|__asm__|auto|bool|_Bool|char|_Complex|double|enum|float|_Imaginary|int|long|short|signed|struct|typedef|union|unsigned|void)\\b",
+          "name": "storage.type.java-or-c"
+        },
+        {
+          "match": "\\b(const|extern|register|restrict|static|volatile|inline)\\b",
+          "name": "storage.modifier.java-or-c"
+        },
+        {
+          "match": "\\b(NULL|true|false|TRUE|FALSE)\\b",
+          "name": "constant.language.java-or-c"
+        },
+        {
+          "match": "\\b(sizeof)\\b",
+          "name": "keyword.operator.sizeof.java-or-c"
+        },
+        {
+          "match": "\\b((0(x|X)[0-9a-fA-F]*)|(([0-9]+\\.?[0-9]*)|(\\.[0-9]+))((e|E)(\\+|-)?[0-9]+)?)(L|l|UL|ul|u|U|F|f|ll|LL|ull|ULL)?\\b",
+          "name": "constant.numeric.java-or-c"
+        },
+        {
+          "begin": "\"",
+          "beginCaptures": {
+            "0": {
+              "name": "punctuation.definition.string.begin.java-or-c"
+            }
+          },
+          "end": "\"",
+          "endCaptures": {
+            "0": {
+              "name": "punctuation.definition.string.end.java-or-c"
+            }
+          },
+          "name": "string.quoted.double.java-or-c",
+          "patterns": [
+            {
+              "match": "\\\\.",
+              "name": "constant.character.escape.antlr"
+            }
+          ]
+        },
+        {
+          "begin": "'",
+          "beginCaptures": {
+            "0": {
+              "name": "punctuation.definition.string.begin.java-or-c"
+            }
+          },
+          "end": "'",
+          "endCaptures": {
+            "0": {
+              "name": "punctuation.definition.string.end.java-or-c"
+            }
+          },
+          "name": "string.quoted.single.java-or-c",
+          "patterns": [
+            {
+              "match": "\\\\.",
+              "name": "constant.character.escape.antlr"
+            }
+          ]
+        },
+        {
+          "match": "\\bEOF_CHAR\\b",
+          "name": "support.constant.eof-char.antlr"
+        },
+        {
+          "include": "#comments"
+        }
+      ]
+    },
+    "strings": {
+      "patterns": [
+        {
+          "begin": "\"",
+          "beginCaptures": {
+            "0": {
+              "name": "punctuation.definition.string.begin.antlr"
+            }
+          },
+          "end": "\"",
+          "endCaptures": {
+            "0": {
+              "name": "punctuation.definition.string.end.antlr"
+            }
+          },
+          "name": "string.quoted.double.antlr",
+          "patterns": [
+            {
+              "match": "\\\\(u\\h{4}|.)",
+              "name": "constant.character.escape.antlr"
+            }
+          ]
+        },
+        {
+          "begin": "'",
+          "beginCaptures": {
+            "0": {
+              "name": "punctuation.definition.string.begin.antlr"
+            }
+          },
+          "end": "'",
+          "endCaptures": {
+            "0": {
+              "name": "punctuation.definition.string.end.antlr"
+            }
+          },
+          "name": "string.quoted.single.antlr",
+          "patterns": [
+            {
+              "match": "\\\\(u\\h{4}|.)",
+              "name": "constant.character.escape.antlr"
+            }
+          ]
+        }
+      ]
+    }
+  },
+  "scopeName": "source.antlr",
+  "uuid": "ACABDECD-4F22-47D9-A5F4-DBA957A2A1CC"
+}