whiley.xml

 1<lexer>
 2  <config>
 3    <name>Whiley</name>
 4    <alias>whiley</alias>
 5    <filename>*.whiley</filename>
 6    <mime_type>text/x-whiley</mime_type>
 7  </config>
 8  <rules>
 9    <state name="root">
10      <rule pattern="\n">
11        <token type="Text"/>
12      </rule>
13      <rule pattern="\s+">
14        <token type="Text"/>
15      </rule>
16      <rule pattern="\\\n">
17        <token type="Text"/>
18      </rule>
19      <rule pattern="/[*](.|\n)*?[*]/">
20        <token type="CommentMultiline"/>
21      </rule>
22      <rule pattern="//.*?\n">
23        <token type="CommentSingle"/>
24      </rule>      
25      <rule pattern="(function|import|from|method|property|type|with|variant)\b">
26        <token type="KeywordDeclaration"/>
27      </rule>
28      <rule pattern="(assert|assume|all|break|case|continue|debug|default|do|else|ensures|export|fail|final|for|if|in|is|native|no|new|private|protected|public|return|requires|skip|some|switch|unsafe|where|while)\b">
29        <token type="Keyword"/>
30      </rule>
31      <rule pattern="(true|false|null)\b">
32        <token type="KeywordConstant"/>
33      </rule>
34      <rule pattern="(bool|byte|int|void)\b">
35        <token type="KeywordType"/>
36      </rule>
37      <rule pattern="0b(?:_?[01])+">
38        <token type="LiteralNumberBin"/>
39      </rule>      
40      <rule pattern="0[xX][0-9a-fA-F]+">
41        <token type="LiteralNumberHex"/>
42      </rule>
43      <rule pattern="(0|[1-9][0-9]*)">
44        <token type="LiteralNumberInteger"/>
45      </rule>
46      <rule pattern="[a-zA-Z_]\w*">
47        <token type="Name"/>
48      </rule>
49      <rule pattern="[+%=&gt;&lt;|^!?/\-*&amp;~:]">
50        <token type="Operator"/>
51      </rule>      
52      <rule pattern="[{}()\[\],.;\|]">
53        <token type="Punctuation"/>
54      </rule>      
55    </state>
56  </rules>
57</lexer>