1<?xml version="1.0"?> 2<!DOCTYPE MODE SYSTEM "xmode.dtd"> 3<MODE> 4 <PROPS> 5 <PROPERTY NAME="lineComment" VALUE="//" /> 6 <PROPERTY NAME="commentStart" VALUE="/*" /> 7 <PROPERTY NAME="commentEnd" VALUE="*/" /> 8 <PROPERTY NAME="indentOpenBrackets" VALUE="{" /> 9 <PROPERTY NAME="indentCloseBrackets" VALUE="}" /> 10 <PROPERTY NAME="wordBreakChars" VALUE=",+-=<>/?^&*" /> 11 <PROPERTY NAME="unalignedOpenBrackets" VALUE="(<" /> 12 <PROPERTY NAME="unalignedCloseBrackets" VALUE=")>" /> 13 </PROPS> 14 <RULES IGNORE_CASE="FALSE" HIGHLIGHT_DIGITS="TRUE"> 15 <EOL_SPAN TYPE="COMMENT1">//</EOL_SPAN> 16 <SPAN TYPE="COMMENT1"> 17 <BEGIN>/*</BEGIN> 18 <END>*/</END> 19 </SPAN> 20 <SPAN TYPE="LITERAL1" NO_LINE_BREAK="TRUE" ESCAPE="\"> 21 <BEGIN>"</BEGIN> 22 <END>"</END> 23 </SPAN> 24 <KEYWORDS> 25 <KEYWORD1>let</KEYWORD1> 26 <KEYWORD1>def</KEYWORD1> 27 <KEYWORD1>class</KEYWORD1> 28 <KEYWORD1>include</KEYWORD1> 29 30 <KEYWORD3>bit</KEYWORD3> 31 <KEYWORD3>int</KEYWORD3> 32 <KEYWORD3>string</KEYWORD3> 33 <KEYWORD3>bits</KEYWORD3> 34 <KEYWORD3>list</KEYWORD3> 35 <KEYWORD3>dag</KEYWORD3> 36 <KEYWORD3>code</KEYWORD3> 37 </KEYWORDS> 38 </RULES> 39</MODE> 40