1. <lexer>
    
  2.   <config>
    
  3.     <name>MiniZinc</name>
    
  4.     <alias>minizinc</alias>
    
  5.     <alias>MZN</alias>
    
  6.     <alias>mzn</alias>
    
  7.     <filename>*.mzn</filename>
    
  8.     <filename>*.dzn</filename>
    
  9.     <filename>*.fzn</filename>
    
  10.     <mime_type>text/minizinc</mime_type>
    
  11.   </config>
    
  12.   <rules>
    
  13.     <state name="root">
    
  14.       <rule pattern="\n">
    
  15.         <token type="Text"/>
    
  16.       </rule>
    
  17.       <rule pattern="\s+">
    
  18.         <token type="Text"/>
    
  19.       </rule>
    
  20.       <rule pattern="\\\n">
    
  21.         <token type="Text"/>
    
  22.       </rule>
    
  23.       <rule pattern="\%(.*?)\n">
    
  24.         <token type="CommentSingle"/>
    
  25.       </rule>
    
  26.       <rule pattern="/(\\\n)?[*](.|\n)*?[*](\\\n)?/">
    
  27.         <token type="CommentMultiline"/>
    
  28.       </rule>
    
  29.       <rule pattern="&#34;(\\\\|\\&#34;|[^&#34;])*&#34;">
    
  30.         <token type="LiteralString"/>
    
  31.       </rule>
    
  32.       <rule pattern="\b(annotation|constraint|predicate|minimize|function|maximize|satisfy|include|record|output|solve|test|list|type|ann|par|any|var|op|of)\b">
    
  33.         <token type="Keyword"/>
    
  34.       </rule>
    
  35.       <rule pattern="\b(string|tuple|float|array|bool|enum|int|set)\b">
    
  36.         <token type="KeywordType"/>
    
  37.       </rule>
    
  38.       <rule pattern="\b(forall|where|endif|then|else|for|if)\b">
    
  39.         <token type="Keyword"/>
    
  40.       </rule>
    
  41.       <rule pattern="\b(array_intersect|index_set_2of3|index_set_1of3|index_set_3of3|index_set_1of2|index_set_2of2|array_union|show_float|dom_array|int2float|set2array|index_set|dom_size|lb_array|is_fixed|ub_array|bool2int|show_int|array4d|array2d|array1d|array5d|array6d|array3d|product|length|assert|concat|trace|acosh|round|abort|log10|floor|sinh|tanh|atan|sqrt|asin|show|log2|card|ceil|cosh|join|pow|cos|max|log|exp|dom|sin|abs|fix|sum|tan|min|lb|ln|ub)\b">
    
  42.         <token type="NameBuiltin"/>
    
  43.       </rule>
    
  44.       <rule pattern="(not|&lt;-&gt;|-&gt;|&lt;-|\\/|xor|/\\)">
    
  45.         <token type="Operator"/>
    
  46.       </rule>
    
  47.       <rule pattern="(&lt;|&gt;|&lt;=|&gt;=|==|=|!=)">
    
  48.         <token type="Operator"/>
    
  49.       </rule>
    
  50.       <rule pattern="(\+|-|\*|/|div|mod)">
    
  51.         <token type="Operator"/>
    
  52.       </rule>
    
  53.       <rule pattern="\b(intersect|superset|symdiff|subset|union|diff|in)\b">
    
  54.         <token type="Operator"/>
    
  55.       </rule>
    
  56.       <rule pattern="(\\|\.\.|\+\+)">
    
  57.         <token type="Operator"/>
    
  58.       </rule>
    
  59.       <rule pattern="[|()\[\]{},:;]">
    
  60.         <token type="Punctuation"/>
    
  61.       </rule>
    
  62.       <rule pattern="(true|false)\b">
    
  63.         <token type="KeywordConstant"/>
    
  64.       </rule>
    
  65.       <rule pattern="([+-]?)\d+(\.(?!\.)\d*)?([eE][-+]?\d+)?">
    
  66.         <token type="LiteralNumber"/>
    
  67.       </rule>
    
  68.       <rule pattern="::\s*([^\W\d]\w*)(\s*\([^\)]*\))?">
    
  69.         <token type="NameDecorator"/>
    
  70.       </rule>
    
  71.       <rule pattern="\b([^\W\d]\w*)\b(\()">
    
  72.         <bygroups>
    
  73.           <token type="NameFunction"/>
    
  74.           <token type="Punctuation"/>
    
  75.         </bygroups>
    
  76.       </rule>
    
  77.       <rule pattern="[^\W\d]\w*">
    
  78.         <token type="NameOther"/>
    
  79.       </rule>
    
  80.     </state>
    
  81.   </rules>
    
  82. </lexer>