|
66
|
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="[+%=><|^!?/\-*&~:]">
|
|
|
50 <token type="Operator"/>
|
|
|
51 </rule>
|
|
|
52 <rule pattern="[{}()\[\],.;\|]">
|
|
|
53 <token type="Punctuation"/>
|
|
|
54 </rule>
|
|
|
55 </state>
|
|
|
56 </rules>
|
|
|
57 </lexer>
|
