diff options
| author | Mitja Felicijan <mitja.felicijan@gmail.com> | 2024-10-25 00:47:47 +0200 |
|---|---|---|
| committer | Mitja Felicijan <mitja.felicijan@gmail.com> | 2024-10-25 00:47:47 +0200 |
| commit | c6cc0108ca7738023b45e0eeac0fa2390532dd93 (patch) | |
| tree | 36890e6cd3091bbab8efbe686cc56f467f645bfd /vendor/github.com/alecthomas/chroma/v2/lexers/embedded/whiley.xml | |
| parent | 0130404a1dc663d4aa68d780c9bcb23a4243e68d (diff) | |
| download | jbmafp-master.tar.gz | |
Diffstat (limited to 'vendor/github.com/alecthomas/chroma/v2/lexers/embedded/whiley.xml')
| -rw-r--r-- | vendor/github.com/alecthomas/chroma/v2/lexers/embedded/whiley.xml | 57 |
1 files changed, 57 insertions, 0 deletions
diff --git a/vendor/github.com/alecthomas/chroma/v2/lexers/embedded/whiley.xml b/vendor/github.com/alecthomas/chroma/v2/lexers/embedded/whiley.xml new file mode 100644 index 0000000..1762c96 --- /dev/null +++ b/vendor/github.com/alecthomas/chroma/v2/lexers/embedded/whiley.xml @@ -0,0 +1,57 @@ +<lexer> + <config> + <name>Whiley</name> + <alias>whiley</alias> + <filename>*.whiley</filename> + <mime_type>text/x-whiley</mime_type> + </config> + <rules> + <state name="root"> + <rule pattern="\n"> + <token type="Text"/> + </rule> + <rule pattern="\s+"> + <token type="Text"/> + </rule> + <rule pattern="\\\n"> + <token type="Text"/> + </rule> + <rule pattern="/[*](.|\n)*?[*]/"> + <token type="CommentMultiline"/> + </rule> + <rule pattern="//.*?\n"> + <token type="CommentSingle"/> + </rule> + <rule pattern="(function|import|from|method|property|type|with|variant)\b"> + <token type="KeywordDeclaration"/> + </rule> + <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"> + <token type="Keyword"/> + </rule> + <rule pattern="(true|false|null)\b"> + <token type="KeywordConstant"/> + </rule> + <rule pattern="(bool|byte|int|void)\b"> + <token type="KeywordType"/> + </rule> + <rule pattern="0b(?:_?[01])+"> + <token type="LiteralNumberBin"/> + </rule> + <rule pattern="0[xX][0-9a-fA-F]+"> + <token type="LiteralNumberHex"/> + </rule> + <rule pattern="(0|[1-9][0-9]*)"> + <token type="LiteralNumberInteger"/> + </rule> + <rule pattern="[a-zA-Z_]\w*"> + <token type="Name"/> + </rule> + <rule pattern="[+%=><|^!?/\-*&~:]"> + <token type="Operator"/> + </rule> + <rule pattern="[{}()\[\],.;\|]"> + <token type="Punctuation"/> + </rule> + </state> + </rules> +</lexer> |