Brunobkr/llama.cpp_AlgMor24_github

1/*2Language: Dart3Requires: markdown.js4Author: Maxim Dikun <dikmax@gmail.com>5Description: Dart a modern, object-oriented language developed by Google. For more information see https://www.dartlang.org/6Website: https://dart.dev7Category: scripting8*/9 10/** @type LanguageFn */11function dart(hljs) {12  const SUBST = {13    className: 'subst',14    variants: [ { begin: '\\$[A-Za-z0-9_]+' } ]15  };16 17  const BRACED_SUBST = {18    className: 'subst',19    variants: [20      {21        begin: /\$\{/,22        end: /\}/23      }24    ],25    keywords: 'true false null this is new super'26  };27 28  const NUMBER = {29    className: 'number',30    relevance: 0,31    variants: [32      { match: /\b[0-9][0-9_]*(\.[0-9][0-9_]*)?([eE][+-]?[0-9][0-9_]*)?\b/ },33      { match: /\b0[xX][0-9A-Fa-f][0-9A-Fa-f_]*\b/ }34    ]35  };36 37  const STRING = {38    className: 'string',39    variants: [40      {41        begin: 'r\'\'\'',42        end: '\'\'\''43      },44      {45        begin: 'r"""',46        end: '"""'47      },48      {49        begin: 'r\'',50        end: '\'',51        illegal: '\\n'52      },53      {54        begin: 'r"',55        end: '"',56        illegal: '\\n'57      },58      {59        begin: '\'\'\'',60        end: '\'\'\'',61        contains: [62          hljs.BACKSLASH_ESCAPE,63          SUBST,64          BRACED_SUBST65        ]66      },67      {68        begin: '"""',69        end: '"""',70        contains: [71          hljs.BACKSLASH_ESCAPE,72          SUBST,73          BRACED_SUBST74        ]75      },76      {77        begin: '\'',78        end: '\'',79        illegal: '\\n',80        contains: [81          hljs.BACKSLASH_ESCAPE,82          SUBST,83          BRACED_SUBST84        ]85      },86      {87        begin: '"',88        end: '"',89        illegal: '\\n',90        contains: [91          hljs.BACKSLASH_ESCAPE,92          SUBST,93          BRACED_SUBST94        ]95      }96    ]97  };98  BRACED_SUBST.contains = [99    NUMBER,100    STRING101  ];102 103  const BUILT_IN_TYPES = [104    // dart:core105    'Comparable',106    'DateTime',107    'Duration',108    'Function',109    'Iterable',110    'Iterator',111    'List',112    'Map',113    'Match',114    'Object',115    'Pattern',116    'RegExp',117    'Set',118    'Stopwatch',119    'String',120    'StringBuffer',121    'StringSink',122    'Symbol',123    'Type',124    'Uri',125    'bool',126    'double',127    'int',128    'num',129    // dart:html130    'Element',131    'ElementList'132  ];133  const NULLABLE_BUILT_IN_TYPES = BUILT_IN_TYPES.map((e) => `${e}?`);134 135  const BASIC_KEYWORDS = [136    "abstract",137    "as",138    "assert",139    "async",140    "await",141    "base",142    "break",143    "case",144    "catch",145    "class",146    "const",147    "continue",148    "covariant",149    "default",150    "deferred",151    "do",152    "dynamic",153    "else",154    "enum",155    "export",156    "extends",157    "extension",158    "external",159    "factory",160    "false",161    "final",162    "finally",163    "for",164    "Function",165    "get",166    "hide",167    "if",168    "implements",169    "import",170    "in",171    "interface",172    "is",173    "late",174    "library",175    "mixin",176    "new",177    "null",178    "on",179    "operator",180    "part",181    "required",182    "rethrow",183    "return",184    "sealed",185    "set",186    "show",187    "static",188    "super",189    "switch",190    "sync",191    "this",192    "throw",193    "true",194    "try",195    "typedef",196    "var",197    "void",198    "when",199    "while",200    "with",201    "yield"202  ];203 204  const KEYWORDS = {205    keyword: BASIC_KEYWORDS,206    built_in:207      BUILT_IN_TYPES208        .concat(NULLABLE_BUILT_IN_TYPES)209        .concat([210          // dart:core211          'Never',212          'Null',213          'dynamic',214          'print',215          // dart:html216          'document',217          'querySelector',218          'querySelectorAll',219          'window'220        ]),221    $pattern: /[A-Za-z][A-Za-z0-9_]*\??/222  };223 224  return {225    name: 'Dart',226    keywords: KEYWORDS,227    contains: [228      STRING,229      hljs.COMMENT(230        /\/\*\*(?!\/)/,231        /\*\//,232        {233          subLanguage: 'markdown',234          relevance: 0235        }236      ),237      hljs.COMMENT(238        /\/{3,} ?/,239        /$/, { contains: [240          {241            subLanguage: 'markdown',242            begin: '.',243            end: '$',244            relevance: 0245          }246        ] }247      ),248      hljs.C_LINE_COMMENT_MODE,249      hljs.C_BLOCK_COMMENT_MODE,250      {251        className: 'class',252        beginKeywords: 'class interface',253        end: /\{/,254        excludeEnd: true,255        contains: [256          { beginKeywords: 'extends implements' },257          hljs.UNDERSCORE_TITLE_MODE258        ]259      },260      NUMBER,261      {262        className: 'meta',263        begin: '@[A-Za-z]+'264      },265      { begin: '=>' // No markup, just a relevance booster266      }267    ]268  };269}270 271module.exports = dart;272