summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
Diffstat (limited to 'test')
-rw-r--r--test/ruby/1.in.rb2
-rw-r--r--test/xml/kate.html275
-rw-r--r--test/xml/kate.in.xml76
-rw-r--r--test/xml/kate.out.raydebug76
-rw-r--r--test/xml/suite.rb9
5 files changed, 438 insertions, 0 deletions
diff --git a/test/ruby/1.in.rb b/test/ruby/1.in.rb
index b5baffd..ddd5106 100644
--- a/test/ruby/1.in.rb
+++ b/test/ruby/1.in.rb
@@ -1,3 +1,5 @@
+public :<<
+
class String
def / regex
scan(regex).first
diff --git a/test/xml/kate.html b/test/xml/kate.html
new file mode 100644
index 0000000..15b6c2f
--- /dev/null
+++ b/test/xml/kate.html
@@ -0,0 +1,275 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="de">
+<head>
+ <meta http-equiv="content-type" content="text/html; charset=utf-8" />
+ <title>CodeRay HTML Encoder Example</title>
+ <style type="text/css">
+.CodeRay {
+ background-color: #f8f8f8;
+ border: 1px solid silver;
+ font-family: 'Courier New', 'Terminal', monospace;
+ color: #100;
+}
+.CodeRay pre { margin: 0px }
+
+div.CodeRay { }
+
+span.CodeRay { white-space: pre; border: 0px; padding: 2px }
+
+table.CodeRay { border-collapse: collapse; width: 100%; padding: 2px }
+table.CodeRay td { padding: 2px 4px; vertical-align: top }
+
+.CodeRay .line_numbers, .CodeRay .no {
+ background-color: #def;
+ color: gray;
+ text-align: right;
+}
+.CodeRay .line_numbers tt { font-weight: bold }
+.CodeRay .no { padding: 0px 4px }
+.CodeRay .code { width: 100% }
+
+ol.CodeRay { font-size: 10pt }
+ol.CodeRay li { white-space: pre }
+
+.CodeRay .code pre { overflow: auto }
+
+.CodeRay .af { color:#00C }
+.CodeRay .an { color:#007 }
+.CodeRay .av { color:#700 }
+.CodeRay .aw { color:#C00 }
+.CodeRay .bi { color:#509; font-weight:bold }
+.CodeRay .c { color:#888 }
+
+.CodeRay .ch { color:#04D }
+.CodeRay .ch .k { color:#04D }
+.CodeRay .ch .dl { color:#039 }
+
+.CodeRay .cl { color:#B06; font-weight:bold }
+.CodeRay .co { color:#036; font-weight:bold }
+.CodeRay .cr { color:#0A0 }
+.CodeRay .cv { color:#369 }
+.CodeRay .df { color:#099; font-weight:bold }
+.CodeRay .di { color:#088; font-weight:bold }
+.CodeRay .dl { color:black }
+.CodeRay .do { color:#970 }
+.CodeRay .ds { color:#D42; font-weight:bold }
+.CodeRay .e { color:#666; font-weight:bold }
+.CodeRay .en { color:#800; font-weight:bold }
+.CodeRay .er { color:#F00; background-color:#FAA }
+.CodeRay .ex { color:#F00; font-weight:bold }
+.CodeRay .fl { color:#60E; font-weight:bold }
+.CodeRay .fu { color:#06B; font-weight:bold }
+.CodeRay .gv { color:#d70; font-weight:bold }
+.CodeRay .hx { color:#058; font-weight:bold }
+.CodeRay .i { color:#00D; font-weight:bold }
+.CodeRay .ic { color:#B44; font-weight:bold }
+
+.CodeRay .il { background: #eee }
+.CodeRay .il .il { background: #ddd }
+.CodeRay .il .il .il { background: #ccc }
+.CodeRay .il .dl { font-weight: bold ! important; color: #888 ! important }
+
+.CodeRay .in { color:#B2B; font-weight:bold }
+.CodeRay .iv { color:#33B }
+.CodeRay .la { color:#970; font-weight:bold }
+.CodeRay .lv { color:#963 }
+.CodeRay .oc { color:#40E; font-weight:bold }
+.CodeRay .on { color:#000; font-weight:bold }
+.CodeRay .op { }
+.CodeRay .pc { color:#038; font-weight:bold }
+.CodeRay .pd { color:#369; font-weight:bold }
+.CodeRay .pp { color:#579 }
+.CodeRay .pt { color:#339; font-weight:bold }
+.CodeRay .r { color:#080; font-weight:bold }
+
+.CodeRay .rx { background-color:#fff0ff }
+.CodeRay .rx .k { color:#808 }
+.CodeRay .rx .dl { color:#404 }
+.CodeRay .rx .mod { color:#C2C }
+.CodeRay .rx .fu { color:#404; font-weight: bold }
+
+.CodeRay .s { background-color:#fff0f0 }
+.CodeRay .s .s { background-color:#ffe0e0 }
+.CodeRay .s .s .s { background-color:#ffd0d0 }
+.CodeRay .s .k { color:#D20 }
+.CodeRay .s .dl { color:#710 }
+
+.CodeRay .sh { background-color:#f0fff0 }
+.CodeRay .sh .k { color:#2B2 }
+.CodeRay .sh .dl { color:#161 }
+
+.CodeRay .sy { color:#A60 }
+.CodeRay .sy .k { color:#A60 }
+.CodeRay .sy .dl { color:#630 }
+
+.CodeRay .ta { color:#070 }
+.CodeRay .tf { color:#070; font-weight:bold }
+.CodeRay .ts { color:#D70; font-weight:bold }
+.CodeRay .ty { color:#339; font-weight:bold }
+.CodeRay .v { color:#036 }
+.CodeRay .xt { color:#444 }
+
+ </style>
+</head>
+<body style="background-color: white;">
+
+<table class="CodeRay"><tr>
+ <td class="line_numbers" title="click to toggle" onclick="with (this.firstChild.style) { display = (display == '') ? 'none' : '' }"><pre>1<tt>
+</tt>2<tt>
+</tt>3<tt>
+</tt>4<tt>
+</tt>5<tt>
+</tt>6<tt>
+</tt>7<tt>
+</tt>8<tt>
+</tt>9<tt>
+</tt><strong>10</strong><tt>
+</tt>11<tt>
+</tt>12<tt>
+</tt>13<tt>
+</tt>14<tt>
+</tt>15<tt>
+</tt>16<tt>
+</tt>17<tt>
+</tt>18<tt>
+</tt>19<tt>
+</tt><strong>20</strong><tt>
+</tt>21<tt>
+</tt>22<tt>
+</tt>23<tt>
+</tt>24<tt>
+</tt>25<tt>
+</tt>26<tt>
+</tt>27<tt>
+</tt>28<tt>
+</tt>29<tt>
+</tt><strong>30</strong><tt>
+</tt>31<tt>
+</tt>32<tt>
+</tt>33<tt>
+</tt>34<tt>
+</tt>35<tt>
+</tt>36<tt>
+</tt>37<tt>
+</tt>38<tt>
+</tt>39<tt>
+</tt><strong>40</strong><tt>
+</tt>41<tt>
+</tt>42<tt>
+</tt>43<tt>
+</tt>44<tt>
+</tt>45<tt>
+</tt>46<tt>
+</tt>47<tt>
+</tt>48<tt>
+</tt>49<tt>
+</tt><strong>50</strong><tt>
+</tt>51<tt>
+</tt>52<tt>
+</tt>53<tt>
+</tt>54<tt>
+</tt>55<tt>
+</tt>56<tt>
+</tt>57<tt>
+</tt>58<tt>
+</tt>59<tt>
+</tt><strong>60</strong><tt>
+</tt>61<tt>
+</tt>62<tt>
+</tt>63<tt>
+</tt>64<tt>
+</tt>65<tt>
+</tt>66<tt>
+</tt>67<tt>
+</tt>68<tt>
+</tt>69<tt>
+</tt><strong>70</strong><tt>
+</tt>71<tt>
+</tt>72<tt>
+</tt>73<tt>
+</tt>74<tt>
+</tt>75<tt>
+</tt>76<tt>
+</tt></pre></td>
+ <td class="code"><pre ondblclick="with (this.style) { overflow = (overflow == 'auto' || overflow == '') ? 'visible' : 'auto' }"><span title="[:preprocessor]" class="pp">&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot;?&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt></span><span title="[:preprocessor]" class="pp">&lt;!DOCTYPE language SYSTEM &quot;language.dtd&quot;&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt></span><span title="[:tag]" class="ta">&lt;language</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">name</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">Eiffel</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">version</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">1.02</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">kateversion</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">2.1</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">section</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">Sources</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">extensions</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">*.e</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">mimetype</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">text/x-eiffel-src</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:tag]" class="ta">&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;highlighting&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;list</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">name</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">keywords</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:tag]" class="ta">&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">indexing </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">class </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">inherit </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">creation </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">feature </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">rename </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">redefine </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">undefine </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">select </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">export </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">local </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">deferred </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">do </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">is </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">once </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">alias </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">external </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">rescue </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">debug </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">if </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">inspect </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">from </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">else </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">elseif </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">when </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">until </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">loop </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">then </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">obsolete </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">end </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;/list&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;list</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">name</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">assertions</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:tag]" class="ta">&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">check </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">ensure </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">require </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">variant </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:plain]" class="NO_HIGHLIGHT">invariant </span><span title="[:tag]" class="ta">&lt;/item&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;/list&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;contexts&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;context</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">attribute</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">Normal Text</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">lineEndContext</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">#stay</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">name</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">Normal</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:tag]" class="ta">&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;keyword</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">attribute</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">Keyword</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">context</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">#stay</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">String</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">keywords</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:tag]" class="ta">/&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;Float</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">attribute</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">Float</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">context</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">#stay</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:tag]" class="ta">/&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;Int</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">attribute</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">Decimal</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">context</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">#stay</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:tag]" class="ta">/&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;RegExpr</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">attribute</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">Char</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">context</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">#stay</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">String</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">'.'</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:tag]" class="ta">/&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;DetectChar</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">attribute</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">String</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">context</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">String</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">char</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :entity]" class="en">&amp;quot;</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:tag]" class="ta">/&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;Detect2Chars</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">attribute</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">Comment</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">context</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">Comment</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">char</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">-</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">char1</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">-</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:tag]" class="ta">/&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;keyword</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">attribute</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">Assertions</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">context</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">#stay</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">String</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">assertions</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:tag]" class="ta">/&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;/context&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;context</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">attribute</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">String</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">lineEndContext</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">#pop</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">name</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">String</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:tag]" class="ta">&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;DetectChar</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">attribute</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">String</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">context</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">#pop</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">char</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :entity]" class="en">&amp;quot;</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:tag]" class="ta">/&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;/context&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;context</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">attribute</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">Comment</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">name</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">Comment</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">lineEndContext</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">#pop</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:tag]" class="ta">/&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;/contexts&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;itemDatas&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;itemData</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">name</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">Normal Text</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">defStyleNum</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">dsNormal</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:tag]" class="ta">/&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;itemData</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">name</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">Keyword</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">defStyleNum</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">dsKeyword</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:tag]" class="ta">/&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;itemData</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">name</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">Decimal</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">defStyleNum</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">dsDecVal</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:tag]" class="ta">/&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;itemData</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">name</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">Float</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">defStyleNum</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">dsFloat</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:tag]" class="ta">/&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;itemData</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">name</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">Char</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">defStyleNum</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">dsChar</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:tag]" class="ta">/&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;itemData</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">name</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">String</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">defStyleNum</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">dsString</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:tag]" class="ta">/&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;itemData</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">name</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">Comment</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">defStyleNum</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">dsComment</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:tag]" class="ta">/&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;itemData</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">name</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">Assertions</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">defStyleNum</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">dsOthers</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:tag]" class="ta">/&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;/itemDatas&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;/highlighting&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;general&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;comments&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;comment</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">name</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">singleLine</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">start</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">--</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:tag]" class="ta">/&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;/comments&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;keywords</span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:attribute_name]" class="an">casesensitive</span><span title="[:operator]" class="NO_HIGHLIGHT">=</span><span title="[:string]" class="s"><span title="[:string, :delimiter]" class="dl">&quot;</span><span title="[:string, :content]" class="k">1</span><span title="[:string, :delimiter]" class="dl">&quot;</span></span><span title="[:space]" class="NO_HIGHLIGHT"> </span><span title="[:tag]" class="ta">/&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt> </span><span title="[:tag]" class="ta">&lt;/general&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt></span><span title="[:tag]" class="ta">&lt;/language&gt;</span><span title="[:space]" class="NO_HIGHLIGHT"><tt>
+</tt></span></pre></td>
+</tr></table>
+
+</body>
+</html>
diff --git a/test/xml/kate.in.xml b/test/xml/kate.in.xml
new file mode 100644
index 0000000..b13333b
--- /dev/null
+++ b/test/xml/kate.in.xml
@@ -0,0 +1,76 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE language SYSTEM "language.dtd">
+<language name="Eiffel" version="1.02" kateversion="2.1" section="Sources" extensions="*.e" mimetype="text/x-eiffel-src">
+ <highlighting>
+ <list name="keywords">
+ <item> indexing </item>
+ <item> class </item>
+ <item> inherit </item>
+ <item> creation </item>
+ <item> feature </item>
+ <item> rename </item>
+ <item> redefine </item>
+ <item> undefine </item>
+ <item> select </item>
+ <item> export </item>
+ <item> local </item>
+ <item> deferred </item>
+ <item> do </item>
+ <item> is </item>
+ <item> once </item>
+ <item> alias </item>
+ <item> external </item>
+ <item> rescue </item>
+ <item> debug </item>
+ <item> if </item>
+ <item> inspect </item>
+ <item> from </item>
+ <item> else </item>
+ <item> elseif </item>
+ <item> when </item>
+ <item> until </item>
+ <item> loop </item>
+ <item> then </item>
+ <item> obsolete </item>
+ <item> end </item>
+ </list>
+ <list name="assertions">
+ <item> check </item>
+ <item> ensure </item>
+ <item> require </item>
+ <item> variant </item>
+ <item> invariant </item>
+ </list>
+ <contexts>
+ <context attribute="Normal Text" lineEndContext="#stay" name="Normal">
+ <keyword attribute="Keyword" context="#stay" String="keywords"/>
+ <Float attribute="Float" context="#stay"/>
+ <Int attribute="Decimal" context="#stay"/>
+ <RegExpr attribute="Char" context="#stay" String="'.'"/>
+ <DetectChar attribute="String" context="String" char="&quot;"/>
+ <Detect2Chars attribute="Comment" context="Comment" char="-" char1="-"/>
+ <keyword attribute="Assertions" context="#stay" String="assertions"/>
+ </context>
+ <context attribute="String" lineEndContext="#pop" name="String">
+ <DetectChar attribute="String" context="#pop" char="&quot;"/>
+ </context>
+ <context attribute="Comment" name="Comment" lineEndContext="#pop"/>
+ </contexts>
+ <itemDatas>
+ <itemData name="Normal Text" defStyleNum="dsNormal" />
+ <itemData name="Keyword" defStyleNum="dsKeyword" />
+ <itemData name="Decimal" defStyleNum="dsDecVal" />
+ <itemData name="Float" defStyleNum="dsFloat" />
+ <itemData name="Char" defStyleNum="dsChar" />
+ <itemData name="String" defStyleNum="dsString" />
+ <itemData name="Comment" defStyleNum="dsComment" />
+ <itemData name="Assertions" defStyleNum="dsOthers" />
+ </itemDatas>
+ </highlighting>
+ <general>
+ <comments>
+ <comment name="singleLine" start="--" />
+ </comments>
+ <keywords casesensitive="1" />
+ </general>
+</language>
diff --git a/test/xml/kate.out.raydebug b/test/xml/kate.out.raydebug
new file mode 100644
index 0000000..728b3a1
--- /dev/null
+++ b/test/xml/kate.out.raydebug
@@ -0,0 +1,76 @@
+preprocessor(<?xml version="1.0" encoding="UTF-8"?>)
+preprocessor(<!DOCTYPE language SYSTEM "language.dtd">)
+tag(<language) attribute_name(name)operator(=)string<delimiter(")content(Eiffel)delimiter(")> attribute_name(version)operator(=)string<delimiter(")content(1.02)delimiter(")> attribute_name(kateversion)operator(=)string<delimiter(")content(2.1)delimiter(")> attribute_name(section)operator(=)string<delimiter(")content(Sources)delimiter(")> attribute_name(extensions)operator(=)string<delimiter(")content(*.e)delimiter(")> attribute_name(mimetype)operator(=)string<delimiter(")content(text/x-eiffel-src)delimiter(")>tag(>)
+ tag(<highlighting>)
+ tag(<list) attribute_name(name)operator(=)string<delimiter(")content(keywords)delimiter(")>tag(>)
+ tag(<item>) plain(indexing )tag(</item>)
+ tag(<item>) plain(class )tag(</item>)
+ tag(<item>) plain(inherit )tag(</item>)
+ tag(<item>) plain(creation )tag(</item>)
+ tag(<item>) plain(feature )tag(</item>)
+ tag(<item>) plain(rename )tag(</item>)
+ tag(<item>) plain(redefine )tag(</item>)
+ tag(<item>) plain(undefine )tag(</item>)
+ tag(<item>) plain(select )tag(</item>)
+ tag(<item>) plain(export )tag(</item>)
+ tag(<item>) plain(local )tag(</item>)
+ tag(<item>) plain(deferred )tag(</item>)
+ tag(<item>) plain(do )tag(</item>)
+ tag(<item>) plain(is )tag(</item>)
+ tag(<item>) plain(once )tag(</item>)
+ tag(<item>) plain(alias )tag(</item>)
+ tag(<item>) plain(external )tag(</item>)
+ tag(<item>) plain(rescue )tag(</item>)
+ tag(<item>) plain(debug )tag(</item>)
+ tag(<item>) plain(if )tag(</item>)
+ tag(<item>) plain(inspect )tag(</item>)
+ tag(<item>) plain(from )tag(</item>)
+ tag(<item>) plain(else )tag(</item>)
+ tag(<item>) plain(elseif )tag(</item>)
+ tag(<item>) plain(when )tag(</item>)
+ tag(<item>) plain(until )tag(</item>)
+ tag(<item>) plain(loop )tag(</item>)
+ tag(<item>) plain(then )tag(</item>)
+ tag(<item>) plain(obsolete )tag(</item>)
+ tag(<item>) plain(end )tag(</item>)
+ tag(</list>)
+ tag(<list) attribute_name(name)operator(=)string<delimiter(")content(assertions)delimiter(")>tag(>)
+ tag(<item>) plain(check )tag(</item>)
+ tag(<item>) plain(ensure )tag(</item>)
+ tag(<item>) plain(require )tag(</item>)
+ tag(<item>) plain(variant )tag(</item>)
+ tag(<item>) plain(invariant )tag(</item>)
+ tag(</list>)
+ tag(<contexts>)
+ tag(<context) attribute_name(attribute)operator(=)string<delimiter(")content(Normal Text)delimiter(")> attribute_name(lineEndContext)operator(=)string<delimiter(")content(#stay)delimiter(")> attribute_name(name)operator(=)string<delimiter(")content(Normal)delimiter(")>tag(>)
+ tag(<keyword) attribute_name(attribute)operator(=)string<delimiter(")content(Keyword)delimiter(")> attribute_name(context)operator(=)string<delimiter(")content(#stay)delimiter(")> attribute_name(String)operator(=)string<delimiter(")content(keywords)delimiter(")>tag(/>)
+ tag(<Float) attribute_name(attribute)operator(=)string<delimiter(")content(Float)delimiter(")> attribute_name(context)operator(=)string<delimiter(")content(#stay)delimiter(")>tag(/>)
+ tag(<Int) attribute_name(attribute)operator(=)string<delimiter(")content(Decimal)delimiter(")> attribute_name(context)operator(=)string<delimiter(")content(#stay)delimiter(")>tag(/>)
+ tag(<RegExpr) attribute_name(attribute)operator(=)string<delimiter(")content(Char)delimiter(")> attribute_name(context)operator(=)string<delimiter(")content(#stay)delimiter(")> attribute_name(String)operator(=)string<delimiter(")content('.')delimiter(")>tag(/>)
+ tag(<DetectChar) attribute_name(attribute)operator(=)string<delimiter(")content(String)delimiter(")> attribute_name(context)operator(=)string<delimiter(")content(String)delimiter(")> attribute_name(char)operator(=)string<delimiter(")entity(&quot;)delimiter(")>tag(/>)
+ tag(<Detect2Chars) attribute_name(attribute)operator(=)string<delimiter(")content(Comment)delimiter(")> attribute_name(context)operator(=)string<delimiter(")content(Comment)delimiter(")> attribute_name(char)operator(=)string<delimiter(")content(-)delimiter(")> attribute_name(char1)operator(=)string<delimiter(")content(-)delimiter(")>tag(/>)
+ tag(<keyword) attribute_name(attribute)operator(=)string<delimiter(")content(Assertions)delimiter(")> attribute_name(context)operator(=)string<delimiter(")content(#stay)delimiter(")> attribute_name(String)operator(=)string<delimiter(")content(assertions)delimiter(")>tag(/>)
+ tag(</context>)
+ tag(<context) attribute_name(attribute)operator(=)string<delimiter(")content(String)delimiter(")> attribute_name(lineEndContext)operator(=)string<delimiter(")content(#pop)delimiter(")> attribute_name(name)operator(=)string<delimiter(")content(String)delimiter(")>tag(>)
+ tag(<DetectChar) attribute_name(attribute)operator(=)string<delimiter(")content(String)delimiter(")> attribute_name(context)operator(=)string<delimiter(")content(#pop)delimiter(")> attribute_name(char)operator(=)string<delimiter(")entity(&quot;)delimiter(")>tag(/>)
+ tag(</context>)
+ tag(<context) attribute_name(attribute)operator(=)string<delimiter(")content(Comment)delimiter(")> attribute_name(name)operator(=)string<delimiter(")content(Comment)delimiter(")> attribute_name(lineEndContext)operator(=)string<delimiter(")content(#pop)delimiter(")>tag(/>)
+ tag(</contexts>)
+ tag(<itemDatas>)
+ tag(<itemData) attribute_name(name)operator(=)string<delimiter(")content(Normal Text)delimiter(")> attribute_name(defStyleNum)operator(=)string<delimiter(")content(dsNormal)delimiter(")> tag(/>)
+ tag(<itemData) attribute_name(name)operator(=)string<delimiter(")content(Keyword)delimiter(")> attribute_name(defStyleNum)operator(=)string<delimiter(")content(dsKeyword)delimiter(")> tag(/>)
+ tag(<itemData) attribute_name(name)operator(=)string<delimiter(")content(Decimal)delimiter(")> attribute_name(defStyleNum)operator(=)string<delimiter(")content(dsDecVal)delimiter(")> tag(/>)
+ tag(<itemData) attribute_name(name)operator(=)string<delimiter(")content(Float)delimiter(")> attribute_name(defStyleNum)operator(=)string<delimiter(")content(dsFloat)delimiter(")> tag(/>)
+ tag(<itemData) attribute_name(name)operator(=)string<delimiter(")content(Char)delimiter(")> attribute_name(defStyleNum)operator(=)string<delimiter(")content(dsChar)delimiter(")> tag(/>)
+ tag(<itemData) attribute_name(name)operator(=)string<delimiter(")content(String)delimiter(")> attribute_name(defStyleNum)operator(=)string<delimiter(")content(dsString)delimiter(")> tag(/>)
+ tag(<itemData) attribute_name(name)operator(=)string<delimiter(")content(Comment)delimiter(")> attribute_name(defStyleNum)operator(=)string<delimiter(")content(dsComment)delimiter(")> tag(/>)
+ tag(<itemData) attribute_name(name)operator(=)string<delimiter(")content(Assertions)delimiter(")> attribute_name(defStyleNum)operator(=)string<delimiter(")content(dsOthers)delimiter(")> tag(/>)
+ tag(</itemDatas>)
+ tag(</highlighting>)
+ tag(<general>)
+ tag(<comments>)
+ tag(<comment) attribute_name(name)operator(=)string<delimiter(")content(singleLine)delimiter(")> attribute_name(start)operator(=)string<delimiter(")content(--)delimiter(")> tag(/>)
+ tag(</comments>)
+ tag(<keywords) attribute_name(casesensitive)operator(=)string<delimiter(")content(1)delimiter(")> tag(/>)
+ tag(</general>)
+tag(</language>)
diff --git a/test/xml/suite.rb b/test/xml/suite.rb
new file mode 100644
index 0000000..9113107
--- /dev/null
+++ b/test/xml/suite.rb
@@ -0,0 +1,9 @@
+class XMLTest < CodeRaySuite
+
+ @file = __FILE__
+ LANG = :xml
+ EXTENSION = 'xml'
+
+end
+
+$suite << XMLTest.suite if $suite