<HTML><HEAD><META CONTENT="text/html; charset=UTF-8" HTTP-EQUIV="Content-Type"/><TITLE>EMMA Coverage Report</TITLE><STYLE TYPE="text/css"> TABLE,TD,TH {border-style:solid; border-color:black;} TD,TH {background:white;margin:0;line-height:100%;padding-left:0.5em;padding-right:0.5em;} TD {border-width:0 1px 0 0;} TH {border-width:1px 1px 1px 0;} TR TD.h {color:red;} TABLE {border-spacing:0; border-collapse:collapse;border-width:0 0 1px 1px;} P,H1,H2,H3,TH {font-family:verdana,arial,sans-serif;font-size:10pt;} TD {font-family:courier,monospace;font-size:10pt;} TABLE.hdft {border-spacing:0;border-collapse:collapse;border-style:none;} TABLE.hdft TH,TABLE.hdft TD {border-style:none;line-height:normal;} TABLE.hdft TH.tl,TABLE.hdft TD.tl {background:#6699CC;color:white;} TABLE.hdft TD.nv {background:#6633DD;color:white;} .nv A:link {color:white;} .nv A:visited {color:white;} .nv A:active {color:yellow;} TABLE.hdft A:link {color:white;} TABLE.hdft A:visited {color:white;} TABLE.hdft A:active {color:yellow;} .in {color:#356085;} TABLE.s TD {padding-left:0.25em;padding-right:0.25em;} TABLE.s TD.l {padding-left:0.25em;padding-right:0.25em;text-align:right;background:#F0F0F0;} TABLE.s TR.z TD {background:#FF9999;} TABLE.s TR.p TD {background:#FFFF88;} TABLE.s TR.c TD {background:#CCFFCC;} A:link {color:#0000EE;text-decoration:none;} A:visited {color:#0000EE;text-decoration:none;} A:hover {color:#0000EE;text-decoration:underline;} TABLE.cn {border-width:0 0 1px 0;} TABLE.s {border-width:1px 0 1px 1px;} TD.h {color:red;border-width:0 1px 0 0;} TD.f {border-width:0 1px 0 1px;} TD.hf {color:red;border-width:0 1px 0 1px;} TH.f {border-width:1px 1px 1px 1px;} TR.cis TD {background:#F0F0F0;} TR.cis TD {border-width:1px 1px 1px 0;} TR.cis TD.h {color:red;border-width:1px 1px 1px 0;} TR.cis TD.f {border-width:1px 1px 1px 1px;} TR.cis TD.hf {color:red;border-width:1px 1px 1px 1px;} TD.b {border-style:none;background:transparent;line-height:50%;}  TD.bt {border-width:1px 0 0 0;background:transparent;line-height:50%;} TR.o TD {background:#F0F0F0;}TABLE.it {border-style:none;}TABLE.it TD,TABLE.it TH {border-style:none;}</STYLE></HEAD><BODY><TABLE CLASS="hdft" CELLSPACING="0" WIDTH="100%"><TR><TH CLASS="tl"><A HREF="http://www.eclemma.org/">EMMA</A> Coverage Report (generated Fri Feb 20 18:44:54 GMT 2009)</TH></TR><TR><TD CLASS="nv">[<A HREF="../xslUnitTestCoverage.html">all classes</A>][<A HREF="83.html">org.eclipse.wst.sse.ui.internal.provisional.style</A>]</TD></TR></TABLE><H2>COVERAGE SUMMARY FOR SOURCE FILE [<SPAN CLASS="in">SemanticHighlightingPresenter.java</SPAN>]</H2><TABLE CELLSPACING="0" WIDTH="100%"><TR><TH>name</TH><TH>class, %</TH><TH>method, %</TH><TH>block, %</TH><TH>line, %</TH></TR><TR><TD>SemanticHighlightingPresenter.java</TD><TD CLASS="h">0%   (0/3)</TD><TD CLASS="h">0%   (0/38)</TD><TD CLASS="h">0%   (0/1187)</TD><TD CLASS="h">0%   (0/298)</TD></TR></TABLE><H3>COVERAGE BREAKDOWN BY CLASS AND METHOD</H3><TABLE CLASS="cn" CELLSPACING="0" WIDTH="100%"><TR><TH CLASS="f">name</TH><TH>class, %</TH><TH>method, %</TH><TH>block, %</TH><TH>line, %</TH></TR><TR><TD CLASS="b"> </TD><TD CLASS="b"> </TD><TD CLASS="b"> </TD><TD CLASS="b"> </TD><TD CLASS="b"> </TD></TR><TR CLASS="cis"><TD CLASS="f">class <A HREF="#0">SemanticHighlightingPresenter</A></TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/29)</TD><TD CLASS="h">0%   (0/853)</TD><TD CLASS="h">0%   (0/214)</TD></TR><TR><TD CLASS="f"><A HREF="#0">SemanticHighlightingPresenter (): void</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/24)</TD><TD CLASS="h">0%   (0/5)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#2">addAllPositions (List): void</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/17)</TD><TD CLASS="h">0%   (0/3)</TD></TR><TR><TD CLASS="f"><A HREF="#3">addPositionFromUI (int, int, SemanticHighlightingManager$HighlightingStyle): ...</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/43)</TD><TD CLASS="h">0%   (0/13)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#4">applyTextPresentation (TextPresentation): void</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/82)</TD><TD CLASS="h">0%   (0/16)</TD></TR><TR><TD CLASS="f"><A HREF="#5">computeIndexAfterOffset (List, int): int</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/33)</TD><TD CLASS="h">0%   (0/9)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#6">computeIndexAtOffset (List, int): int</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/33)</TD><TD CLASS="h">0%   (0/9)</TD></TR><TR><TD CLASS="f"><A HREF="#7">contain (List, Position): boolean</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/10)</TD><TD CLASS="h">0%   (0/1)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#8">createHighlightedPosition (Position, SemanticHighlightingManager$Highlighting...</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/8)</TD><TD CLASS="h">0%   (0/1)</TD></TR><TR><TD CLASS="f"><A HREF="#9">createHighlightedPosition (int, int, SemanticHighlightingManager$Highlighting...</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/9)</TD><TD CLASS="h">0%   (0/1)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#a">createPresentation (List, List): TextPresentation</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/103)</TD><TD CLASS="h">0%   (0/25)</TD></TR><TR><TD CLASS="f"><A HREF="#b">createUpdateRunnable (TextPresentation, List, List): Runnable</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/38)</TD><TD CLASS="h">0%   (0/10)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#c">documentAboutToBeChanged (DocumentEvent): void</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/4)</TD><TD CLASS="h">0%   (0/2)</TD></TR><TR><TD CLASS="f"><A HREF="#d">documentChanged (DocumentEvent): void</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/1)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#e">getLockObject (IDocument): Object</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/13)</TD><TD CLASS="h">0%   (0/5)</TD></TR><TR><TD CLASS="f"><A HREF="#f">getPositionCategory (): String</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/3)</TD><TD CLASS="h">0%   (0/1)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#10">highlightingStyleChanged (SemanticHighlightingManager$HighlightingStyle): void</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/29)</TD><TD CLASS="h">0%   (0/5)</TD></TR><TR><TD CLASS="f"><A HREF="#11">indexOf (List, Position): int</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/23)</TD><TD CLASS="h">0%   (0/7)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#12">inputDocumentAboutToBeChanged (IDocument, IDocument): void</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/9)</TD><TD CLASS="h">0%   (0/4)</TD></TR><TR><TD CLASS="f"><A HREF="#13">inputDocumentChanged (IDocument, IDocument): void</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/4)</TD><TD CLASS="h">0%   (0/2)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#14">insertPosition (Position): void</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/13)</TD><TD CLASS="h">0%   (0/3)</TD></TR><TR><TD CLASS="f"><A HREF="#15">install (StructuredTextViewer, StructuredPresentationReconciler): void</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/20)</TD><TD CLASS="h">0%   (0/6)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#16">invalidateTextPresentation (): void</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/25)</TD><TD CLASS="h">0%   (0/4)</TD></TR><TR><TD CLASS="f"><A HREF="#17">isCanceled (): boolean</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/28)</TD><TD CLASS="h">0%   (0/5)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#18">manageDocument (IDocument): void</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/14)</TD><TD CLASS="h">0%   (0/5)</TD></TR><TR><TD CLASS="f"><A HREF="#19">releaseDocument (IDocument): void</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/18)</TD><TD CLASS="h">0%   (0/7)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#1a">resetState (): void</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/15)</TD><TD CLASS="h">0%   (0/3)</TD></TR><TR><TD CLASS="f"><A HREF="#1b">setCanceled (boolean): void</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/31)</TD><TD CLASS="h">0%   (0/7)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#1c">uninstall (): void</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/27)</TD><TD CLASS="h">0%   (0/9)</TD></TR><TR><TD CLASS="f"><A HREF="#1d">updatePresentation (TextPresentation, SemanticHighlightingManager$Highlighted...</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/176)</TD><TD CLASS="h">0%   (0/45)</TD></TR><TR><TD CLASS="bt"> </TD><TD CLASS="bt"> </TD><TD CLASS="bt"> </TD><TD CLASS="bt"> </TD><TD CLASS="bt"> </TD></TR><TR CLASS="cis"><TD CLASS="f">class <A HREF="#1e">SemanticHighlightingPresenter$1</A></TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/2)</TD><TD CLASS="h">0%   (0/25)</TD><TD CLASS="h">0%   (0/4)</TD></TR><TR><TD CLASS="f"><A HREF="#1e">SemanticHighlightingPresenter$1 (SemanticHighlightingPresenter, TextPresentat...</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/15)</TD><TD CLASS="h">0%   (0/2)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#20">run (): void</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/10)</TD><TD CLASS="h">0%   (0/2)</TD></TR><TR><TD CLASS="bt"> </TD><TD CLASS="bt"> </TD><TD CLASS="bt"> </TD><TD CLASS="bt"> </TD><TD CLASS="bt"> </TD></TR><TR CLASS="cis"><TD CLASS="f">class <A HREF="#21">SemanticHighlightingPresenter$HighlightingPositionUpdater</A></TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/7)</TD><TD CLASS="h">0%   (0/309)</TD><TD CLASS="h">0%   (0/81)</TD></TR><TR><TD CLASS="f"><A HREF="#21">SemanticHighlightingPresenter$HighlightingPositionUpdater (SemanticHighlighti...</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/9)</TD><TD CLASS="h">0%   (0/3)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#23">update (DocumentEvent): void</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/84)</TD><TD CLASS="h">0%   (0/21)</TD></TR><TR><TD CLASS="f"><A HREF="#24">updateWithIncludedEvent (SemanticHighlightingManager$HighlightedPosition, Doc...</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/102)</TD><TD CLASS="h">0%   (0/27)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#25">updateWithIncludingEvent (SemanticHighlightingManager$HighlightedPosition, Do...</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/8)</TD><TD CLASS="h">0%   (0/3)</TD></TR><TR><TD CLASS="f"><A HREF="#26">updateWithOverEndEvent (SemanticHighlightingManager$HighlightedPosition, Docu...</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/32)</TD><TD CLASS="h">0%   (0/9)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#27">updateWithOverStartEvent (SemanticHighlightingManager$HighlightedPosition, Do...</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/52)</TD><TD CLASS="h">0%   (0/13)</TD></TR><TR><TD CLASS="f"><A HREF="#28">updateWithPrecedingEvent (SemanticHighlightingManager$HighlightedPosition, Do...</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/22)</TD><TD CLASS="h">0%   (0/5)</TD></TR></TABLE><P></P><TABLE CLASS="s" CELLSPACING="0" WIDTH="100%"><TR CLASS="z"><TD CLASS="l">1</TD><TD>/*******************************************************************************</TD></TR><TR><TD CLASS="l">2</TD><TD> * Copyright (c) 2009 IBM Corporation and others.</TD></TR><TR><TD CLASS="l">3</TD><TD> * All rights reserved. This program and the accompanying materials</TD></TR><TR><TD CLASS="l">4</TD><TD> * are made available under the terms of the Eclipse Public License v1.0</TD></TR><TR><TD CLASS="l">5</TD><TD> * which accompanies this distribution, and is available at</TD></TR><TR><TD CLASS="l">6</TD><TD> * http://www.eclipse.org/legal/epl-v10.html</TD></TR><TR><TD CLASS="l">7</TD><TD> * </TD></TR><TR><TD CLASS="l">8</TD><TD> * Contributors:</TD></TR><TR><TD CLASS="l">9</TD><TD> *     IBM Corporation - initial API and implementation</TD></TR><TR><TD CLASS="l">10</TD><TD> *******************************************************************************/</TD></TR><TR><TD CLASS="l">11</TD><TD>package org.eclipse.wst.sse.ui.internal.provisional.style;</TD></TR><TR><TD CLASS="l">12</TD><TD> </TD></TR><TR><TD CLASS="l">13</TD><TD>import java.util.ArrayList;</TD></TR><TR><TD CLASS="l">14</TD><TD>import java.util.Arrays;</TD></TR><TR><TD CLASS="l">15</TD><TD>import java.util.List;</TD></TR><TR><TD CLASS="l">16</TD><TD> </TD></TR><TR><TD CLASS="l">17</TD><TD>import org.eclipse.jface.text.BadLocationException;</TD></TR><TR><TD CLASS="l">18</TD><TD>import org.eclipse.jface.text.BadPositionCategoryException;</TD></TR><TR><TD CLASS="l">19</TD><TD>import org.eclipse.jface.text.DocumentEvent;</TD></TR><TR><TD CLASS="l">20</TD><TD>import org.eclipse.jface.text.IDocument;</TD></TR><TR><TD CLASS="l">21</TD><TD>import org.eclipse.jface.text.IDocumentListener;</TD></TR><TR><TD CLASS="l">22</TD><TD>import org.eclipse.jface.text.IPositionUpdater;</TD></TR><TR><TD CLASS="l">23</TD><TD>import org.eclipse.jface.text.IRegion;</TD></TR><TR><TD CLASS="l">24</TD><TD>import org.eclipse.jface.text.ISynchronizable;</TD></TR><TR><TD CLASS="l">25</TD><TD>import org.eclipse.jface.text.ITextInputListener;</TD></TR><TR><TD CLASS="l">26</TD><TD>import org.eclipse.jface.text.ITextPresentationListener;</TD></TR><TR><TD CLASS="l">27</TD><TD>import org.eclipse.jface.text.Position;</TD></TR><TR><TD CLASS="l">28</TD><TD>import org.eclipse.jface.text.Region;</TD></TR><TR><TD CLASS="l">29</TD><TD>import org.eclipse.jface.text.TextPresentation;</TD></TR><TR><TD CLASS="l">30</TD><TD>import org.eclipse.jface.text.source.ISourceViewer;</TD></TR><TR><TD CLASS="l">31</TD><TD>import org.eclipse.swt.custom.StyleRange;</TD></TR><TR><TD CLASS="l">32</TD><TD>import org.eclipse.wst.sse.core.internal.encoding.util.Logger;</TD></TR><TR><TD CLASS="l">33</TD><TD>import org.eclipse.wst.sse.ui.internal.StructuredTextViewer;</TD></TR><TR><TD CLASS="l">34</TD><TD>import org.eclipse.wst.sse.ui.internal.provisional.style.SemanticHighlightingManager.HighlightedPosition;</TD></TR><TR><TD CLASS="l">35</TD><TD>import org.eclipse.wst.sse.ui.internal.provisional.style.SemanticHighlightingManager.HighlightingStyle;</TD></TR><TR><TD CLASS="l">36</TD><TD> </TD></TR><TR><TD CLASS="l">37</TD><TD>/**</TD></TR><TR><TD CLASS="l">38</TD><TD> * Semantic highlighting presenter - UI thread implementation.  Based on </TD></TR><TR><TD CLASS="l"><A NAME="0">39</A></TD><TD> * org.eclipse.jdt.internal.ui.javaeditor.SemanticHighlightingPresenter</TD></TR><TR><TD CLASS="l">40</TD><TD> *</TD></TR><TR><TD CLASS="l">41</TD><TD> * @since 3.1</TD></TR><TR><TD CLASS="l">42</TD><TD> */</TD></TR><TR CLASS="z"><TD CLASS="l">43</TD><TD>public class SemanticHighlightingPresenter implements ITextPresentationListener, ITextInputListener, IDocumentListener {</TD></TR><TR><TD CLASS="l">44</TD><TD> </TD></TR><TR><TD CLASS="l">45</TD><TD>        /**</TD></TR><TR><TD CLASS="l">46</TD><TD>         * Semantic highlighting position updater.</TD></TR><TR><TD CLASS="l">47</TD><TD>         */</TD></TR><TR><TD CLASS="l">48</TD><TD>        private class HighlightingPositionUpdater implements IPositionUpdater {</TD></TR><TR><TD CLASS="l">49</TD><TD> </TD></TR><TR><TD CLASS="l">50</TD><TD>                /** The position category. */</TD></TR><TR><TD CLASS="l">51</TD><TD>                private final String fCategory;</TD></TR><TR><TD CLASS="l">52</TD><TD> </TD></TR><TR><TD CLASS="l">53</TD><TD>                /**</TD></TR><TR><TD CLASS="l"><A NAME="21">54</A></TD><TD>                 * Creates a new updater for the given &lt;code&gt;category&lt;/code&gt;.</TD></TR><TR><TD CLASS="l">55</TD><TD>                 *</TD></TR><TR><TD CLASS="l">56</TD><TD>                 * @param category the new category.</TD></TR><TR><TD CLASS="l">57</TD><TD>                 */</TD></TR><TR CLASS="z"><TD CLASS="l">58</TD><TD>                public HighlightingPositionUpdater(String category) {</TD></TR><TR CLASS="z"><TD CLASS="l">59</TD><TD>                        fCategory= category;</TD></TR><TR CLASS="z"><TD CLASS="l">60</TD><TD>                }</TD></TR><TR><TD CLASS="l">61</TD><TD> </TD></TR><TR><TD CLASS="l">62</TD><TD>                /*</TD></TR><TR><TD CLASS="l"><A NAME="23">63</A></TD><TD>                 * @see org.eclipse.jface.text.IPositionUpdater#update(org.eclipse.jface.text.DocumentEvent)</TD></TR><TR><TD CLASS="l">64</TD><TD>                 */</TD></TR><TR><TD CLASS="l">65</TD><TD>                public void update(DocumentEvent event) {</TD></TR><TR><TD CLASS="l">66</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">67</TD><TD>                        int eventOffset= event.getOffset();</TD></TR><TR CLASS="z"><TD CLASS="l">68</TD><TD>                        int eventOldLength= event.getLength();</TD></TR><TR CLASS="z"><TD CLASS="l">69</TD><TD>                        int eventEnd= eventOffset + eventOldLength;</TD></TR><TR><TD CLASS="l">70</TD><TD> </TD></TR><TR><TD CLASS="l">71</TD><TD>                        try {</TD></TR><TR CLASS="z"><TD CLASS="l">72</TD><TD>                                Position[] positions= event.getDocument().getPositions(fCategory);</TD></TR><TR><TD CLASS="l">73</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">74</TD><TD>                                for (int i= 0; i != positions.length; i++) {</TD></TR><TR><TD CLASS="l">75</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">76</TD><TD>                                        HighlightedPosition position= (HighlightedPosition) positions[i];</TD></TR><TR><TD CLASS="l">77</TD><TD> </TD></TR><TR><TD CLASS="l">78</TD><TD>                                        // Also update deleted positions because they get deleted by the background thread and removed/invalidated only in the UI runnable</TD></TR><TR><TD CLASS="l">79</TD><TD>//                                        if (position.isDeleted())</TD></TR><TR><TD CLASS="l">80</TD><TD>//                                                continue;</TD></TR><TR><TD CLASS="l">81</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">82</TD><TD>                                        int offset= position.getOffset();</TD></TR><TR CLASS="z"><TD CLASS="l">83</TD><TD>                                        int length= position.getLength();</TD></TR><TR CLASS="z"><TD CLASS="l">84</TD><TD>                                        int end= offset + length;</TD></TR><TR><TD CLASS="l">85</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">86</TD><TD>                                        if (offset &gt; eventEnd)</TD></TR><TR CLASS="z"><TD CLASS="l">87</TD><TD>                                                updateWithPrecedingEvent(position, event);</TD></TR><TR CLASS="z"><TD CLASS="l">88</TD><TD>                                        else if (end &lt; eventOffset) {</TD></TR><TR><TD CLASS="l">89</TD><TD>                                                // do nothing</TD></TR><TR><TD CLASS="l">90</TD><TD>                                                // updateWithSucceedingEvent(position, event);</TD></TR><TR><TD CLASS="l">91</TD><TD>                                        }</TD></TR><TR CLASS="z"><TD CLASS="l">92</TD><TD>                                        else if (offset &lt;= eventOffset &amp;&amp; end &gt;= eventEnd)</TD></TR><TR CLASS="z"><TD CLASS="l">93</TD><TD>                                                updateWithIncludedEvent(position, event);</TD></TR><TR CLASS="z"><TD CLASS="l">94</TD><TD>                                        else if (offset &lt;= eventOffset)</TD></TR><TR CLASS="z"><TD CLASS="l">95</TD><TD>                                                updateWithOverEndEvent(position, event);</TD></TR><TR CLASS="z"><TD CLASS="l">96</TD><TD>                                        else if (end &gt;= eventEnd)</TD></TR><TR CLASS="z"><TD CLASS="l">97</TD><TD>                                                updateWithOverStartEvent(position, event);</TD></TR><TR><TD CLASS="l">98</TD><TD>                                        else</TD></TR><TR CLASS="z"><TD CLASS="l">99</TD><TD>                                                updateWithIncludingEvent(position, event);</TD></TR><TR><TD CLASS="l">100</TD><TD>                                }</TD></TR><TR CLASS="z"><TD CLASS="l">101</TD><TD>                        } catch (BadPositionCategoryException e) {</TD></TR><TR><TD CLASS="l">102</TD><TD>                                // ignore and return</TD></TR><TR><TD CLASS="l">103</TD><TD>                        }</TD></TR><TR CLASS="z"><TD CLASS="l">104</TD><TD>                }</TD></TR><TR><TD CLASS="l">105</TD><TD> </TD></TR><TR><TD CLASS="l">106</TD><TD>                /**</TD></TR><TR><TD CLASS="l">107</TD><TD>                 * Update the given position with the given event. The event precedes the position.</TD></TR><TR><TD CLASS="l">108</TD><TD>                 *</TD></TR><TR><TD CLASS="l"><A NAME="28">109</A></TD><TD>                 * @param position The position</TD></TR><TR><TD CLASS="l">110</TD><TD>                 * @param event The event</TD></TR><TR><TD CLASS="l">111</TD><TD>                 */</TD></TR><TR><TD CLASS="l">112</TD><TD>                private void updateWithPrecedingEvent(HighlightedPosition position, DocumentEvent event) {</TD></TR><TR CLASS="z"><TD CLASS="l">113</TD><TD>                        String newText= event.getText();</TD></TR><TR CLASS="z"><TD CLASS="l">114</TD><TD>                        int eventNewLength= newText != null ? newText.length() : 0;</TD></TR><TR CLASS="z"><TD CLASS="l">115</TD><TD>                        int deltaLength= eventNewLength - event.getLength();</TD></TR><TR><TD CLASS="l">116</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">117</TD><TD>                        position.setOffset(position.getOffset() + deltaLength);</TD></TR><TR CLASS="z"><TD CLASS="l">118</TD><TD>                }</TD></TR><TR><TD CLASS="l">119</TD><TD> </TD></TR><TR><TD CLASS="l">120</TD><TD>                /**</TD></TR><TR><TD CLASS="l">121</TD><TD>                 * Update the given position with the given event. The event succeeds the position.</TD></TR><TR><TD CLASS="l">122</TD><TD>                 *</TD></TR><TR><TD CLASS="l">123</TD><TD>                 * @param position The position</TD></TR><TR><TD CLASS="l">124</TD><TD>                 * @param event The event</TD></TR><TR><TD CLASS="l">125</TD><TD>                 */</TD></TR><TR><TD CLASS="l">126</TD><TD>//                private void updateWithSucceedingEvent(HighlightedPosition position, DocumentEvent event) {</TD></TR><TR><TD CLASS="l">127</TD><TD>//                }</TD></TR><TR><TD CLASS="l">128</TD><TD> </TD></TR><TR><TD CLASS="l">129</TD><TD>                /**</TD></TR><TR><TD CLASS="l">130</TD><TD>                 * Update the given position with the given event. The event is included by the position.</TD></TR><TR><TD CLASS="l">131</TD><TD>                 *</TD></TR><TR><TD CLASS="l"><A NAME="24">132</A></TD><TD>                 * @param position The position</TD></TR><TR><TD CLASS="l">133</TD><TD>                 * @param event The event</TD></TR><TR><TD CLASS="l">134</TD><TD>                 */</TD></TR><TR><TD CLASS="l">135</TD><TD>                private void updateWithIncludedEvent(HighlightedPosition position, DocumentEvent event) {</TD></TR><TR CLASS="z"><TD CLASS="l">136</TD><TD>                        int eventOffset= event.getOffset();</TD></TR><TR CLASS="z"><TD CLASS="l">137</TD><TD>                        String newText= event.getText();</TD></TR><TR CLASS="z"><TD CLASS="l">138</TD><TD>                        if (newText == null)</TD></TR><TR CLASS="z"><TD CLASS="l">139</TD><TD>                                newText= &#34;&#34;; //$NON-NLS-1$</TD></TR><TR CLASS="z"><TD CLASS="l">140</TD><TD>                        int eventNewLength= newText.length();</TD></TR><TR><TD CLASS="l">141</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">142</TD><TD>                        int deltaLength= eventNewLength - event.getLength();</TD></TR><TR><TD CLASS="l">143</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">144</TD><TD>                        int offset= position.getOffset();</TD></TR><TR CLASS="z"><TD CLASS="l">145</TD><TD>                        int length= position.getLength();</TD></TR><TR CLASS="z"><TD CLASS="l">146</TD><TD>                        int end= offset + length;</TD></TR><TR><TD CLASS="l">147</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">148</TD><TD>                        int includedLength= 0;</TD></TR><TR CLASS="z"><TD CLASS="l">149</TD><TD>                        while (includedLength &lt; eventNewLength &amp;&amp; !Character.isWhitespace(newText.charAt(includedLength)))</TD></TR><TR CLASS="z"><TD CLASS="l">150</TD><TD>                                includedLength++;</TD></TR><TR CLASS="z"><TD CLASS="l">151</TD><TD>                        if (includedLength == eventNewLength)</TD></TR><TR CLASS="z"><TD CLASS="l">152</TD><TD>                                position.setLength(length + deltaLength);</TD></TR><TR><TD CLASS="l">153</TD><TD>                        else {</TD></TR><TR CLASS="z"><TD CLASS="l">154</TD><TD>                                int newLeftLength= eventOffset - offset + includedLength;</TD></TR><TR><TD CLASS="l">155</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">156</TD><TD>                                int excludedLength= eventNewLength;</TD></TR><TR CLASS="z"><TD CLASS="l">157</TD><TD>                                while (excludedLength &gt; 0 &amp;&amp; !Character.isWhitespace(newText.charAt(excludedLength - 1)))</TD></TR><TR CLASS="z"><TD CLASS="l">158</TD><TD>                                        excludedLength--;</TD></TR><TR CLASS="z"><TD CLASS="l">159</TD><TD>                                int newRightOffset= eventOffset + excludedLength;</TD></TR><TR CLASS="z"><TD CLASS="l">160</TD><TD>                                int newRightLength= end + deltaLength - newRightOffset;</TD></TR><TR><TD CLASS="l">161</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">162</TD><TD>                                if (newRightLength == 0) {</TD></TR><TR CLASS="z"><TD CLASS="l">163</TD><TD>                                        position.setLength(newLeftLength);</TD></TR><TR><TD CLASS="l">164</TD><TD>                                } else {</TD></TR><TR CLASS="z"><TD CLASS="l">165</TD><TD>                                        if (newLeftLength == 0) {</TD></TR><TR CLASS="z"><TD CLASS="l">166</TD><TD>                                                position.update(newRightOffset, newRightLength);</TD></TR><TR><TD CLASS="l">167</TD><TD>                                        } else {</TD></TR><TR CLASS="z"><TD CLASS="l">168</TD><TD>                                                position.setLength(newLeftLength);</TD></TR><TR CLASS="z"><TD CLASS="l">169</TD><TD>                                                addPositionFromUI(newRightOffset, newRightLength, position.getHighlighting());</TD></TR><TR><TD CLASS="l">170</TD><TD>                                        }</TD></TR><TR><TD CLASS="l">171</TD><TD>                                }</TD></TR><TR><TD CLASS="l">172</TD><TD>                        }</TD></TR><TR CLASS="z"><TD CLASS="l">173</TD><TD>                }</TD></TR><TR><TD CLASS="l">174</TD><TD> </TD></TR><TR><TD CLASS="l">175</TD><TD>                /**</TD></TR><TR><TD CLASS="l">176</TD><TD>                 * Update the given position with the given event. The event overlaps with the end of the position.</TD></TR><TR><TD CLASS="l">177</TD><TD>                 *</TD></TR><TR><TD CLASS="l"><A NAME="26">178</A></TD><TD>                 * @param position The position</TD></TR><TR><TD CLASS="l">179</TD><TD>                 * @param event The event</TD></TR><TR><TD CLASS="l">180</TD><TD>                 */</TD></TR><TR><TD CLASS="l">181</TD><TD>                private void updateWithOverEndEvent(HighlightedPosition position, DocumentEvent event) {</TD></TR><TR CLASS="z"><TD CLASS="l">182</TD><TD>                        String newText= event.getText();</TD></TR><TR CLASS="z"><TD CLASS="l">183</TD><TD>                        if (newText == null)</TD></TR><TR CLASS="z"><TD CLASS="l">184</TD><TD>                                newText= &#34;&#34;; //$NON-NLS-1$</TD></TR><TR CLASS="z"><TD CLASS="l">185</TD><TD>                        int eventNewLength= newText.length();</TD></TR><TR><TD CLASS="l">186</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">187</TD><TD>                        int includedLength= 0;</TD></TR><TR CLASS="z"><TD CLASS="l">188</TD><TD>                        while (includedLength &lt; eventNewLength &amp;&amp; !Character.isWhitespace(newText.charAt(includedLength)))</TD></TR><TR CLASS="z"><TD CLASS="l">189</TD><TD>                                includedLength++;</TD></TR><TR CLASS="z"><TD CLASS="l">190</TD><TD>                        position.setLength(event.getOffset() - position.getOffset() + includedLength);</TD></TR><TR CLASS="z"><TD CLASS="l">191</TD><TD>                }</TD></TR><TR><TD CLASS="l">192</TD><TD> </TD></TR><TR><TD CLASS="l">193</TD><TD>                /**</TD></TR><TR><TD CLASS="l">194</TD><TD>                 * Update the given position with the given event. The event overlaps with the start of the position.</TD></TR><TR><TD CLASS="l">195</TD><TD>                 *</TD></TR><TR><TD CLASS="l"><A NAME="27">196</A></TD><TD>                 * @param position The position</TD></TR><TR><TD CLASS="l">197</TD><TD>                 * @param event The event</TD></TR><TR><TD CLASS="l">198</TD><TD>                 */</TD></TR><TR><TD CLASS="l">199</TD><TD>                private void updateWithOverStartEvent(HighlightedPosition position, DocumentEvent event) {</TD></TR><TR CLASS="z"><TD CLASS="l">200</TD><TD>                        int eventOffset= event.getOffset();</TD></TR><TR CLASS="z"><TD CLASS="l">201</TD><TD>                        int eventEnd= eventOffset + event.getLength();</TD></TR><TR><TD CLASS="l">202</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">203</TD><TD>                        String newText= event.getText();</TD></TR><TR CLASS="z"><TD CLASS="l">204</TD><TD>                        if (newText == null)</TD></TR><TR CLASS="z"><TD CLASS="l">205</TD><TD>                                newText= &#34;&#34;; //$NON-NLS-1$</TD></TR><TR CLASS="z"><TD CLASS="l">206</TD><TD>                        int eventNewLength= newText.length();</TD></TR><TR><TD CLASS="l">207</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">208</TD><TD>                        int excludedLength= eventNewLength;</TD></TR><TR CLASS="z"><TD CLASS="l">209</TD><TD>                        while (excludedLength &gt; 0 &amp;&amp; !Character.isWhitespace(newText.charAt(excludedLength - 1)))</TD></TR><TR CLASS="z"><TD CLASS="l">210</TD><TD>                                excludedLength--;</TD></TR><TR CLASS="z"><TD CLASS="l">211</TD><TD>                        int deleted= eventEnd - position.getOffset();</TD></TR><TR CLASS="z"><TD CLASS="l">212</TD><TD>                        int inserted= eventNewLength - excludedLength;</TD></TR><TR CLASS="z"><TD CLASS="l">213</TD><TD>                        position.update(eventOffset + excludedLength, position.getLength() - deleted + inserted);</TD></TR><TR CLASS="z"><TD CLASS="l">214</TD><TD>                }</TD></TR><TR><TD CLASS="l">215</TD><TD> </TD></TR><TR><TD CLASS="l">216</TD><TD>                /**</TD></TR><TR><TD CLASS="l">217</TD><TD>                 * Update the given position with the given event. The event includes the position.</TD></TR><TR><TD CLASS="l">218</TD><TD>                 *</TD></TR><TR><TD CLASS="l"><A NAME="25">219</A></TD><TD>                 * @param position The position</TD></TR><TR><TD CLASS="l">220</TD><TD>                 * @param event The event</TD></TR><TR><TD CLASS="l">221</TD><TD>                 */</TD></TR><TR><TD CLASS="l">222</TD><TD>                private void updateWithIncludingEvent(HighlightedPosition position, DocumentEvent event) {</TD></TR><TR CLASS="z"><TD CLASS="l">223</TD><TD>                        position.delete();</TD></TR><TR CLASS="z"><TD CLASS="l">224</TD><TD>                        position.update(event.getOffset(), 0);</TD></TR><TR CLASS="z"><TD CLASS="l">225</TD><TD>                }</TD></TR><TR><TD CLASS="l">226</TD><TD>        }</TD></TR><TR><TD CLASS="l">227</TD><TD> </TD></TR><TR><TD CLASS="l">228</TD><TD>        /** Position updater */</TD></TR><TR CLASS="z"><TD CLASS="l">229</TD><TD>        private IPositionUpdater fPositionUpdater= new HighlightingPositionUpdater(getPositionCategory());</TD></TR><TR><TD CLASS="l">230</TD><TD> </TD></TR><TR><TD CLASS="l">231</TD><TD>        /** The source viewer this semantic highlighting reconciler is installed on */</TD></TR><TR><TD CLASS="l">232</TD><TD>        private StructuredTextViewer fSourceViewer;</TD></TR><TR><TD CLASS="l">233</TD><TD>        /** The background presentation reconciler */</TD></TR><TR><TD CLASS="l">234</TD><TD>        private StructuredPresentationReconciler fPresentationReconciler;</TD></TR><TR><TD CLASS="l">235</TD><TD> </TD></TR><TR><TD CLASS="l">236</TD><TD>        /** UI's current highlighted positions - can contain &lt;code&gt;null&lt;/code&gt; elements */</TD></TR><TR CLASS="z"><TD CLASS="l">237</TD><TD>        private List fPositions= new ArrayList();</TD></TR><TR><TD CLASS="l">238</TD><TD>        /** UI position lock */</TD></TR><TR CLASS="z"><TD CLASS="l">239</TD><TD>        private Object fPositionLock= new Object();</TD></TR><TR><TD CLASS="l">240</TD><TD> </TD></TR><TR><TD CLASS="l">241</TD><TD>        /** &lt;code&gt;true&lt;/code&gt; iff the current reconcile is canceled. */</TD></TR><TR CLASS="z"><TD CLASS="l">242</TD><TD>        private boolean fIsCanceled= false;</TD></TR><TR><TD CLASS="l">243</TD><TD> </TD></TR><TR><TD CLASS="l">244</TD><TD>        /**</TD></TR><TR><TD CLASS="l">245</TD><TD>         * Creates and returns a new highlighted position with the given offset, length and highlighting.</TD></TR><TR><TD CLASS="l">246</TD><TD>         * &lt;p&gt;</TD></TR><TR><TD CLASS="l">247</TD><TD>         * NOTE: Also called from background thread.</TD></TR><TR><TD CLASS="l">248</TD><TD>         * &lt;/p&gt;</TD></TR><TR><TD CLASS="l">249</TD><TD>         *</TD></TR><TR><TD CLASS="l">250</TD><TD>         * @param offset The offset</TD></TR><TR><TD CLASS="l">251</TD><TD>         * @param length The length</TD></TR><TR><TD CLASS="l">252</TD><TD>         * @param highlighting The highlighting</TD></TR><TR><TD CLASS="l"><A NAME="9">253</A></TD><TD>         * @return The new highlighted position</TD></TR><TR><TD CLASS="l">254</TD><TD>         */</TD></TR><TR><TD CLASS="l">255</TD><TD>        public HighlightedPosition createHighlightedPosition(int offset, int length, HighlightingStyle highlighting) {</TD></TR><TR><TD CLASS="l">256</TD><TD>                // TODO: reuse deleted positions</TD></TR><TR CLASS="z"><TD CLASS="l">257</TD><TD>                return new HighlightedPosition(offset, length, highlighting, fPositionUpdater);</TD></TR><TR><TD CLASS="l">258</TD><TD>        }</TD></TR><TR><TD CLASS="l">259</TD><TD>        </TD></TR><TR><TD CLASS="l">260</TD><TD>        /**</TD></TR><TR><TD CLASS="l">261</TD><TD>         * Creates and returns a new highlighted position from the given position and highlighting.</TD></TR><TR><TD CLASS="l">262</TD><TD>         * &lt;p&gt;</TD></TR><TR><TD CLASS="l">263</TD><TD>         * NOTE: Also called from background thread.</TD></TR><TR><TD CLASS="l">264</TD><TD>         * &lt;/p&gt;</TD></TR><TR><TD CLASS="l">265</TD><TD>         *</TD></TR><TR><TD CLASS="l">266</TD><TD>         * @param position The position</TD></TR><TR><TD CLASS="l">267</TD><TD>         * @param highlighting The highlighting</TD></TR><TR><TD CLASS="l"><A NAME="8">268</A></TD><TD>         * @return The new highlighted position</TD></TR><TR><TD CLASS="l">269</TD><TD>         */</TD></TR><TR><TD CLASS="l">270</TD><TD>        public HighlightedPosition createHighlightedPosition(Position position, HighlightingStyle highlighting) {</TD></TR><TR><TD CLASS="l">271</TD><TD>                // TODO: reuse deleted positions</TD></TR><TR CLASS="z"><TD CLASS="l">272</TD><TD>                return new HighlightedPosition(position, highlighting, fPositionUpdater);</TD></TR><TR><TD CLASS="l">273</TD><TD>        }</TD></TR><TR><TD CLASS="l">274</TD><TD> </TD></TR><TR><TD CLASS="l">275</TD><TD>        /**</TD></TR><TR><TD CLASS="l">276</TD><TD>         * Adds all current positions to the given list.</TD></TR><TR><TD CLASS="l">277</TD><TD>         * &lt;p&gt;</TD></TR><TR><TD CLASS="l">278</TD><TD>         * NOTE: Called from background thread.</TD></TR><TR><TD CLASS="l">279</TD><TD>         * &lt;/p&gt;</TD></TR><TR><TD CLASS="l"><A NAME="2">280</A></TD><TD>         *</TD></TR><TR><TD CLASS="l">281</TD><TD>         * @param list The list</TD></TR><TR><TD CLASS="l">282</TD><TD>         */</TD></TR><TR><TD CLASS="l">283</TD><TD>        public void addAllPositions(List list) {</TD></TR><TR CLASS="z"><TD CLASS="l">284</TD><TD>                synchronized (fPositionLock) {</TD></TR><TR CLASS="z"><TD CLASS="l">285</TD><TD>                        list.addAll(fPositions);</TD></TR><TR><TD CLASS="l">286</TD><TD>                }</TD></TR><TR CLASS="z"><TD CLASS="l">287</TD><TD>        }</TD></TR><TR><TD CLASS="l">288</TD><TD> </TD></TR><TR><TD CLASS="l">289</TD><TD>        /**</TD></TR><TR><TD CLASS="l">290</TD><TD>         * Create a text presentation in the background.</TD></TR><TR><TD CLASS="l">291</TD><TD>         * &lt;p&gt;</TD></TR><TR><TD CLASS="l">292</TD><TD>         * NOTE: Called from background thread.</TD></TR><TR><TD CLASS="l">293</TD><TD>         * &lt;/p&gt;</TD></TR><TR><TD CLASS="l">294</TD><TD>         *</TD></TR><TR><TD CLASS="l">295</TD><TD>         * @param addedPositions the added positions</TD></TR><TR><TD CLASS="l"><A NAME="a">296</A></TD><TD>         * @param removedPositions the removed positions</TD></TR><TR><TD CLASS="l">297</TD><TD>         * @return the text presentation or &lt;code&gt;null&lt;/code&gt;, if reconciliation should be canceled</TD></TR><TR><TD CLASS="l">298</TD><TD>         */</TD></TR><TR><TD CLASS="l">299</TD><TD>        public TextPresentation createPresentation(List addedPositions, List removedPositions) {</TD></TR><TR CLASS="z"><TD CLASS="l">300</TD><TD>                ISourceViewer sourceViewer= fSourceViewer;</TD></TR><TR CLASS="z"><TD CLASS="l">301</TD><TD>                StructuredPresentationReconciler presentationReconciler= fPresentationReconciler;</TD></TR><TR CLASS="z"><TD CLASS="l">302</TD><TD>                if (sourceViewer == null || presentationReconciler == null)</TD></TR><TR CLASS="z"><TD CLASS="l">303</TD><TD>                        return null;</TD></TR><TR><TD CLASS="l">304</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">305</TD><TD>                if (isCanceled())</TD></TR><TR CLASS="z"><TD CLASS="l">306</TD><TD>                        return null;</TD></TR><TR><TD CLASS="l">307</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">308</TD><TD>                IDocument document= sourceViewer.getDocument();</TD></TR><TR CLASS="z"><TD CLASS="l">309</TD><TD>                if (document == null)</TD></TR><TR CLASS="z"><TD CLASS="l">310</TD><TD>                        return null;</TD></TR><TR><TD CLASS="l">311</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">312</TD><TD>                int minStart= Integer.MAX_VALUE;</TD></TR><TR CLASS="z"><TD CLASS="l">313</TD><TD>                int maxEnd= Integer.MIN_VALUE;</TD></TR><TR CLASS="z"><TD CLASS="l">314</TD><TD>                for (int i= 0, n= removedPositions.size(); i &lt; n; i++) {</TD></TR><TR CLASS="z"><TD CLASS="l">315</TD><TD>                        Position position= (Position) removedPositions.get(i);</TD></TR><TR CLASS="z"><TD CLASS="l">316</TD><TD>                        int offset= position.getOffset();</TD></TR><TR CLASS="z"><TD CLASS="l">317</TD><TD>                        minStart= Math.min(minStart, offset);</TD></TR><TR CLASS="z"><TD CLASS="l">318</TD><TD>                        maxEnd= Math.max(maxEnd, offset + position.getLength());</TD></TR><TR><TD CLASS="l">319</TD><TD>                }</TD></TR><TR CLASS="z"><TD CLASS="l">320</TD><TD>                for (int i= 0, n= addedPositions.size(); i &lt; n; i++) {</TD></TR><TR CLASS="z"><TD CLASS="l">321</TD><TD>                        Position position= (Position) addedPositions.get(i);</TD></TR><TR CLASS="z"><TD CLASS="l">322</TD><TD>                        int offset= position.getOffset();</TD></TR><TR CLASS="z"><TD CLASS="l">323</TD><TD>                        minStart= Math.min(minStart, offset);</TD></TR><TR CLASS="z"><TD CLASS="l">324</TD><TD>                        maxEnd= Math.max(maxEnd, offset + position.getLength());</TD></TR><TR><TD CLASS="l">325</TD><TD>                }</TD></TR><TR><TD CLASS="l">326</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">327</TD><TD>                if (minStart &lt; maxEnd)</TD></TR><TR><TD CLASS="l">328</TD><TD>                        try {</TD></TR><TR CLASS="z"><TD CLASS="l">329</TD><TD>                                return presentationReconciler.createRepairDescription(new Region(minStart, maxEnd - minStart), document);</TD></TR><TR CLASS="z"><TD CLASS="l">330</TD><TD>                        } catch (RuntimeException e) {</TD></TR><TR><TD CLASS="l">331</TD><TD>                                // Assume concurrent modification from UI thread</TD></TR><TR><TD CLASS="l">332</TD><TD>                        }</TD></TR><TR><TD CLASS="l">333</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">334</TD><TD>                return null;</TD></TR><TR><TD CLASS="l">335</TD><TD>        }</TD></TR><TR><TD CLASS="l">336</TD><TD> </TD></TR><TR><TD CLASS="l">337</TD><TD>        /**</TD></TR><TR><TD CLASS="l">338</TD><TD>         * Create a runnable for updating the presentation.</TD></TR><TR><TD CLASS="l">339</TD><TD>         * &lt;p&gt;</TD></TR><TR><TD CLASS="l">340</TD><TD>         * NOTE: Called from background thread.</TD></TR><TR><TD CLASS="l">341</TD><TD>         * &lt;/p&gt;</TD></TR><TR><TD CLASS="l">342</TD><TD>         * @param textPresentation the text presentation</TD></TR><TR><TD CLASS="l">343</TD><TD>         * @param addedPositions the added positions</TD></TR><TR><TD CLASS="l"><A NAME="b">344</A></TD><TD>         * @param removedPositions the removed positions</TD></TR><TR><TD CLASS="l">345</TD><TD>         * @return the runnable or &lt;code&gt;null&lt;/code&gt;, if reconciliation should be canceled</TD></TR><TR><TD CLASS="l">346</TD><TD>         */</TD></TR><TR><TD CLASS="l">347</TD><TD>        public Runnable createUpdateRunnable(final TextPresentation textPresentation, List addedPositions, List removedPositions) {</TD></TR><TR CLASS="z"><TD CLASS="l">348</TD><TD>                if (fSourceViewer == null || textPresentation == null)</TD></TR><TR CLASS="z"><TD CLASS="l">349</TD><TD>                        return null;</TD></TR><TR><TD CLASS="l">350</TD><TD> </TD></TR><TR><TD CLASS="l">351</TD><TD>                // TODO: do clustering of positions and post multiple fast runnables</TD></TR><TR CLASS="z"><TD CLASS="l">352</TD><TD>                final HighlightedPosition[] added= new SemanticHighlightingManager.HighlightedPosition[addedPositions.size()];</TD></TR><TR CLASS="z"><TD CLASS="l">353</TD><TD>                addedPositions.toArray(added);</TD></TR><TR CLASS="z"><TD CLASS="l">354</TD><TD>                final SemanticHighlightingManager.HighlightedPosition[] removed= new SemanticHighlightingManager.HighlightedPosition[removedPositions.size()];</TD></TR><TR CLASS="z"><TD CLASS="l">355</TD><TD>                removedPositions.toArray(removed);</TD></TR><TR><TD CLASS="l"><A NAME="1e">356</A></TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">357</TD><TD>                if (isCanceled())</TD></TR><TR CLASS="z"><TD CLASS="l">358</TD><TD>                        return null;</TD></TR><TR><TD CLASS="l"><A NAME="20">359</A></TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">360</TD><TD>                Runnable runnable= new Runnable() {</TD></TR><TR><TD CLASS="l">361</TD><TD>                        public void run() {</TD></TR><TR CLASS="z"><TD CLASS="l">362</TD><TD>                                updatePresentation(textPresentation, added, removed);</TD></TR><TR CLASS="z"><TD CLASS="l">363</TD><TD>                        }</TD></TR><TR><TD CLASS="l">364</TD><TD>                };</TD></TR><TR CLASS="z"><TD CLASS="l">365</TD><TD>                return runnable;</TD></TR><TR><TD CLASS="l">366</TD><TD>        }</TD></TR><TR><TD CLASS="l">367</TD><TD> </TD></TR><TR><TD CLASS="l">368</TD><TD>        /**</TD></TR><TR><TD CLASS="l">369</TD><TD>         * Invalidate the presentation of the positions based on the given added positions and the existing deleted positions.</TD></TR><TR><TD CLASS="l">370</TD><TD>         * Also unregisters the deleted positions from the document and patches the positions of this presenter.</TD></TR><TR><TD CLASS="l">371</TD><TD>         * &lt;p&gt;</TD></TR><TR><TD CLASS="l">372</TD><TD>         * NOTE: Indirectly called from background thread by UI runnable.</TD></TR><TR><TD CLASS="l">373</TD><TD>         * &lt;/p&gt;</TD></TR><TR><TD CLASS="l">374</TD><TD>         * @param textPresentation the text presentation or &lt;code&gt;null&lt;/code&gt;, if the presentation should computed in the UI thread</TD></TR><TR><TD CLASS="l"><A NAME="1d">375</A></TD><TD>         * @param addedPositions the added positions</TD></TR><TR><TD CLASS="l">376</TD><TD>         * @param removedPositions the removed positions</TD></TR><TR><TD CLASS="l">377</TD><TD>         */</TD></TR><TR><TD CLASS="l">378</TD><TD>        public void updatePresentation(TextPresentation textPresentation, HighlightedPosition[] addedPositions, HighlightedPosition[] removedPositions) {</TD></TR><TR CLASS="z"><TD CLASS="l">379</TD><TD>                if (fSourceViewer == null)</TD></TR><TR CLASS="z"><TD CLASS="l">380</TD><TD>                        return;</TD></TR><TR><TD CLASS="l">381</TD><TD> </TD></TR><TR><TD CLASS="l">382</TD><TD>//                checkOrdering(&#34;added positions: &#34;, Arrays.asList(addedPositions)); //$NON-NLS-1$</TD></TR><TR><TD CLASS="l">383</TD><TD>//                checkOrdering(&#34;removed positions: &#34;, Arrays.asList(removedPositions)); //$NON-NLS-1$</TD></TR><TR><TD CLASS="l">384</TD><TD>//                checkOrdering(&#34;old positions: &#34;, fPositions); //$NON-NLS-1$</TD></TR><TR><TD CLASS="l">385</TD><TD> </TD></TR><TR><TD CLASS="l">386</TD><TD>                // TODO: double-check consistency with document.getPositions(...)</TD></TR><TR><TD CLASS="l">387</TD><TD>                // TODO: reuse removed positions</TD></TR><TR CLASS="z"><TD CLASS="l">388</TD><TD>                if (isCanceled())</TD></TR><TR CLASS="z"><TD CLASS="l">389</TD><TD>                        return;</TD></TR><TR><TD CLASS="l">390</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">391</TD><TD>                IDocument document= fSourceViewer.getDocument();</TD></TR><TR CLASS="z"><TD CLASS="l">392</TD><TD>                if (document == null)</TD></TR><TR CLASS="z"><TD CLASS="l">393</TD><TD>                        return;</TD></TR><TR><TD CLASS="l">394</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">395</TD><TD>                String positionCategory= getPositionCategory();</TD></TR><TR><TD CLASS="l">396</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">397</TD><TD>                List removedPositionsList= Arrays.asList(removedPositions);</TD></TR><TR><TD CLASS="l">398</TD><TD> </TD></TR><TR><TD CLASS="l">399</TD><TD>                try {</TD></TR><TR CLASS="z"><TD CLASS="l">400</TD><TD>                        synchronized (fPositionLock) {</TD></TR><TR CLASS="z"><TD CLASS="l">401</TD><TD>                                List oldPositions= fPositions;</TD></TR><TR CLASS="z"><TD CLASS="l">402</TD><TD>                                int newSize= Math.max(fPositions.size() + addedPositions.length - removedPositions.length, 10);</TD></TR><TR><TD CLASS="l">403</TD><TD> </TD></TR><TR><TD CLASS="l">404</TD><TD>                                /*</TD></TR><TR><TD CLASS="l">405</TD><TD>                                 * The following loop is a kind of merge sort: it merges two List&lt;Position&gt;, each</TD></TR><TR><TD CLASS="l">406</TD><TD>                                 * sorted by position.offset, into one new list. The first of the two is the</TD></TR><TR><TD CLASS="l">407</TD><TD>                                 * previous list of positions (oldPositions), from which any deleted positions get</TD></TR><TR><TD CLASS="l">408</TD><TD>                                 * removed on the fly. The second of two is the list of added positions. The result</TD></TR><TR><TD CLASS="l">409</TD><TD>                                 * is stored in newPositions.</TD></TR><TR><TD CLASS="l">410</TD><TD>                                 */</TD></TR><TR CLASS="z"><TD CLASS="l">411</TD><TD>                                List newPositions= new ArrayList(newSize);</TD></TR><TR CLASS="z"><TD CLASS="l">412</TD><TD>                                Position position= null;</TD></TR><TR CLASS="z"><TD CLASS="l">413</TD><TD>                                Position addedPosition= null;</TD></TR><TR CLASS="z"><TD CLASS="l">414</TD><TD>                                for (int i= 0, j= 0, n= oldPositions.size(), m= addedPositions.length; i &lt; n || position != null || j &lt; m || addedPosition != null;) {</TD></TR><TR><TD CLASS="l">415</TD><TD>                                        // loop variant: i + j &lt; old(i + j)</TD></TR><TR><TD CLASS="l">416</TD><TD> </TD></TR><TR><TD CLASS="l">417</TD><TD>                                        // a) find the next non-deleted Position from the old list</TD></TR><TR CLASS="z"><TD CLASS="l">418</TD><TD>                                        while (position == null &amp;&amp; i &lt; n) {</TD></TR><TR CLASS="z"><TD CLASS="l">419</TD><TD>                                                position= (Position) oldPositions.get(i++);</TD></TR><TR CLASS="z"><TD CLASS="l">420</TD><TD>                                                if (position.isDeleted() || contain(removedPositionsList, position)) {</TD></TR><TR CLASS="z"><TD CLASS="l">421</TD><TD>                                                        document.removePosition(positionCategory, position);</TD></TR><TR CLASS="z"><TD CLASS="l">422</TD><TD>                                                        position= null;</TD></TR><TR><TD CLASS="l">423</TD><TD>                                                }</TD></TR><TR><TD CLASS="l">424</TD><TD>                                        }</TD></TR><TR><TD CLASS="l">425</TD><TD> </TD></TR><TR><TD CLASS="l">426</TD><TD>                                        // b) find the next Position from the added list</TD></TR><TR CLASS="z"><TD CLASS="l">427</TD><TD>                                        if (addedPosition == null &amp;&amp; j &lt; m) {</TD></TR><TR CLASS="z"><TD CLASS="l">428</TD><TD>                                                addedPosition= addedPositions[j++];</TD></TR><TR CLASS="z"><TD CLASS="l">429</TD><TD>                                                document.addPosition(positionCategory, addedPosition);</TD></TR><TR><TD CLASS="l">430</TD><TD>                                        }</TD></TR><TR><TD CLASS="l">431</TD><TD> </TD></TR><TR><TD CLASS="l">432</TD><TD>                                        // c) merge: add the next of position/addedPosition with the lower offset</TD></TR><TR CLASS="z"><TD CLASS="l">433</TD><TD>                                        if (position != null) {</TD></TR><TR CLASS="z"><TD CLASS="l">434</TD><TD>                                                if (addedPosition != null)</TD></TR><TR CLASS="z"><TD CLASS="l">435</TD><TD>                                                        if (position.getOffset() &lt;= addedPosition.getOffset()) {</TD></TR><TR CLASS="z"><TD CLASS="l">436</TD><TD>                                                                newPositions.add(position);</TD></TR><TR CLASS="z"><TD CLASS="l">437</TD><TD>                                                                position= null;</TD></TR><TR><TD CLASS="l">438</TD><TD>                                                        } else {</TD></TR><TR CLASS="z"><TD CLASS="l">439</TD><TD>                                                                newPositions.add(addedPosition);</TD></TR><TR CLASS="z"><TD CLASS="l">440</TD><TD>                                                                addedPosition= null;</TD></TR><TR><TD CLASS="l">441</TD><TD>                                                        }</TD></TR><TR><TD CLASS="l">442</TD><TD>                                                else {</TD></TR><TR CLASS="z"><TD CLASS="l">443</TD><TD>                                                        newPositions.add(position);</TD></TR><TR CLASS="z"><TD CLASS="l">444</TD><TD>                                                        position= null;</TD></TR><TR><TD CLASS="l">445</TD><TD>                                                }</TD></TR><TR CLASS="z"><TD CLASS="l">446</TD><TD>                                        } else if (addedPosition != null) {</TD></TR><TR CLASS="z"><TD CLASS="l">447</TD><TD>                                                newPositions.add(addedPosition);</TD></TR><TR CLASS="z"><TD CLASS="l">448</TD><TD>                                                addedPosition= null;</TD></TR><TR><TD CLASS="l">449</TD><TD>                                        }</TD></TR><TR><TD CLASS="l">450</TD><TD>                                }</TD></TR><TR CLASS="z"><TD CLASS="l">451</TD><TD>                                fPositions= newPositions;</TD></TR><TR><TD CLASS="l">452</TD><TD>                        }</TD></TR><TR CLASS="z"><TD CLASS="l">453</TD><TD>                } catch (BadPositionCategoryException e) {</TD></TR><TR><TD CLASS="l">454</TD><TD>                        // Should not happen</TD></TR><TR CLASS="z"><TD CLASS="l">455</TD><TD>                        Logger.logException(e);</TD></TR><TR CLASS="z"><TD CLASS="l">456</TD><TD>                } catch (BadLocationException e) {</TD></TR><TR><TD CLASS="l">457</TD><TD>                        // Should not happen</TD></TR><TR CLASS="z"><TD CLASS="l">458</TD><TD>                        Logger.logException(e);</TD></TR><TR><TD CLASS="l">459</TD><TD>                }</TD></TR><TR><TD CLASS="l">460</TD><TD>//                checkOrdering(&#34;new positions: &#34;, fPositions); //$NON-NLS-1$</TD></TR><TR><TD CLASS="l">461</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">462</TD><TD>                if (textPresentation != null)</TD></TR><TR CLASS="z"><TD CLASS="l">463</TD><TD>                        fSourceViewer.changeTextPresentation(textPresentation, false);</TD></TR><TR><TD CLASS="l">464</TD><TD>                else</TD></TR><TR CLASS="z"><TD CLASS="l">465</TD><TD>                        fSourceViewer.invalidateTextPresentation();</TD></TR><TR CLASS="z"><TD CLASS="l">466</TD><TD>        }</TD></TR><TR><TD CLASS="l">467</TD><TD> </TD></TR><TR><TD CLASS="l">468</TD><TD>//        private void checkOrdering(String s, List positions) {</TD></TR><TR><TD CLASS="l">469</TD><TD>//                Position previous= null;</TD></TR><TR><TD CLASS="l">470</TD><TD>//                for (int i= 0, n= positions.size(); i &lt; n; i++) {</TD></TR><TR><TD CLASS="l">471</TD><TD>//                        Position current= (Position) positions.get(i);</TD></TR><TR><TD CLASS="l">472</TD><TD>//                        if (previous != null &amp;&amp; previous.getOffset() + previous.getLength() &gt; current.getOffset())</TD></TR><TR><TD CLASS="l">473</TD><TD>//                                return;</TD></TR><TR><TD CLASS="l">474</TD><TD>//                }</TD></TR><TR><TD CLASS="l">475</TD><TD>//        }</TD></TR><TR><TD CLASS="l">476</TD><TD> </TD></TR><TR><TD CLASS="l">477</TD><TD>        /**</TD></TR><TR><TD CLASS="l">478</TD><TD>         * Returns &lt;code&gt;true&lt;/code&gt; iff the positions contain the position.</TD></TR><TR><TD CLASS="l">479</TD><TD>         * @param positions the positions, must be ordered by offset but may overlap</TD></TR><TR><TD CLASS="l"><A NAME="7">480</A></TD><TD>         * @param position the position</TD></TR><TR><TD CLASS="l">481</TD><TD>         * @return &lt;code&gt;true&lt;/code&gt; iff the positions contain the position</TD></TR><TR><TD CLASS="l">482</TD><TD>         */</TD></TR><TR><TD CLASS="l">483</TD><TD>        private boolean contain(List positions, Position position) {</TD></TR><TR CLASS="z"><TD CLASS="l">484</TD><TD>                return indexOf(positions, position) != -1;</TD></TR><TR><TD CLASS="l">485</TD><TD>        }</TD></TR><TR><TD CLASS="l">486</TD><TD> </TD></TR><TR><TD CLASS="l">487</TD><TD>        /**</TD></TR><TR><TD CLASS="l">488</TD><TD>         * Returns index of the position in the positions, &lt;code&gt;-1&lt;/code&gt; if not found.</TD></TR><TR><TD CLASS="l">489</TD><TD>         * @param positions the positions, must be ordered by offset but may overlap</TD></TR><TR><TD CLASS="l"><A NAME="11">490</A></TD><TD>         * @param position the position</TD></TR><TR><TD CLASS="l">491</TD><TD>         * @return the index</TD></TR><TR><TD CLASS="l">492</TD><TD>         */</TD></TR><TR><TD CLASS="l">493</TD><TD>        private int indexOf(List positions, Position position) {</TD></TR><TR CLASS="z"><TD CLASS="l">494</TD><TD>                int index= computeIndexAtOffset(positions, position.getOffset());</TD></TR><TR CLASS="z"><TD CLASS="l">495</TD><TD>                int size= positions.size();</TD></TR><TR CLASS="z"><TD CLASS="l">496</TD><TD>                while (index &lt; size) {</TD></TR><TR CLASS="z"><TD CLASS="l">497</TD><TD>                        if (positions.get(index) == position)</TD></TR><TR CLASS="z"><TD CLASS="l">498</TD><TD>                                return index;</TD></TR><TR CLASS="z"><TD CLASS="l">499</TD><TD>                        index++;</TD></TR><TR><TD CLASS="l">500</TD><TD>                }</TD></TR><TR CLASS="z"><TD CLASS="l">501</TD><TD>                return -1;</TD></TR><TR><TD CLASS="l">502</TD><TD>        }</TD></TR><TR><TD CLASS="l">503</TD><TD> </TD></TR><TR><TD CLASS="l">504</TD><TD>        /**</TD></TR><TR><TD CLASS="l">505</TD><TD>         * Insert the given position in &lt;code&gt;fPositions&lt;/code&gt;, s.t. the offsets remain in linear order.</TD></TR><TR><TD CLASS="l"><A NAME="14">506</A></TD><TD>         *</TD></TR><TR><TD CLASS="l">507</TD><TD>         * @param position The position for insertion</TD></TR><TR><TD CLASS="l">508</TD><TD>         */</TD></TR><TR><TD CLASS="l">509</TD><TD>        private void insertPosition(Position position) {</TD></TR><TR CLASS="z"><TD CLASS="l">510</TD><TD>                int i= computeIndexAfterOffset(fPositions, position.getOffset());</TD></TR><TR CLASS="z"><TD CLASS="l">511</TD><TD>                fPositions.add(i, position);</TD></TR><TR CLASS="z"><TD CLASS="l">512</TD><TD>        }</TD></TR><TR><TD CLASS="l">513</TD><TD> </TD></TR><TR><TD CLASS="l">514</TD><TD>        /**</TD></TR><TR><TD CLASS="l">515</TD><TD>         * Returns the index of the first position with an offset greater than the given offset.</TD></TR><TR><TD CLASS="l">516</TD><TD>         *</TD></TR><TR><TD CLASS="l">517</TD><TD>         * @param positions the positions, must be ordered by offset and must not overlap</TD></TR><TR><TD CLASS="l"><A NAME="5">518</A></TD><TD>         * @param offset the offset</TD></TR><TR><TD CLASS="l">519</TD><TD>         * @return the index of the last position with an offset greater than the given offset</TD></TR><TR><TD CLASS="l">520</TD><TD>         */</TD></TR><TR><TD CLASS="l">521</TD><TD>        private int computeIndexAfterOffset(List positions, int offset) {</TD></TR><TR CLASS="z"><TD CLASS="l">522</TD><TD>                int i= -1;</TD></TR><TR CLASS="z"><TD CLASS="l">523</TD><TD>                int j= positions.size();</TD></TR><TR CLASS="z"><TD CLASS="l">524</TD><TD>                while (j - i &gt; 1) {</TD></TR><TR CLASS="z"><TD CLASS="l">525</TD><TD>                        int k= (i + j) &gt;&gt; 1;</TD></TR><TR CLASS="z"><TD CLASS="l">526</TD><TD>                        Position position= (Position) positions.get(k);</TD></TR><TR CLASS="z"><TD CLASS="l">527</TD><TD>                        if (position.getOffset() &gt; offset)</TD></TR><TR CLASS="z"><TD CLASS="l">528</TD><TD>                                j= k;</TD></TR><TR><TD CLASS="l">529</TD><TD>                        else</TD></TR><TR CLASS="z"><TD CLASS="l">530</TD><TD>                                i= k;</TD></TR><TR><TD CLASS="l">531</TD><TD>                }</TD></TR><TR CLASS="z"><TD CLASS="l">532</TD><TD>                return j;</TD></TR><TR><TD CLASS="l">533</TD><TD>        }</TD></TR><TR><TD CLASS="l">534</TD><TD> </TD></TR><TR><TD CLASS="l">535</TD><TD>        /**</TD></TR><TR><TD CLASS="l">536</TD><TD>         * Returns the index of the first position with an offset equal or greater than the given offset.</TD></TR><TR><TD CLASS="l">537</TD><TD>         *</TD></TR><TR><TD CLASS="l">538</TD><TD>         * @param positions the positions, must be ordered by offset and must not overlap</TD></TR><TR><TD CLASS="l"><A NAME="6">539</A></TD><TD>         * @param offset the offset</TD></TR><TR><TD CLASS="l">540</TD><TD>         * @return the index of the last position with an offset equal or greater than the given offset</TD></TR><TR><TD CLASS="l">541</TD><TD>         */</TD></TR><TR><TD CLASS="l">542</TD><TD>        private int computeIndexAtOffset(List positions, int offset) {</TD></TR><TR CLASS="z"><TD CLASS="l">543</TD><TD>                int i= -1;</TD></TR><TR CLASS="z"><TD CLASS="l">544</TD><TD>                int j= positions.size();</TD></TR><TR CLASS="z"><TD CLASS="l">545</TD><TD>                while (j - i &gt; 1) {</TD></TR><TR CLASS="z"><TD CLASS="l">546</TD><TD>                        int k= (i + j) &gt;&gt; 1;</TD></TR><TR CLASS="z"><TD CLASS="l">547</TD><TD>                        Position position= (Position) positions.get(k);</TD></TR><TR CLASS="z"><TD CLASS="l">548</TD><TD>                        if (position.getOffset() &gt;= offset)</TD></TR><TR CLASS="z"><TD CLASS="l">549</TD><TD>                                j= k;</TD></TR><TR><TD CLASS="l">550</TD><TD>                        else</TD></TR><TR CLASS="z"><TD CLASS="l">551</TD><TD>                                i= k;</TD></TR><TR><TD CLASS="l">552</TD><TD>                }</TD></TR><TR CLASS="z"><TD CLASS="l">553</TD><TD>                return j;</TD></TR><TR><TD CLASS="l">554</TD><TD>        }</TD></TR><TR><TD CLASS="l">555</TD><TD> </TD></TR><TR><TD CLASS="l"><A NAME="4">556</A></TD><TD>        /*</TD></TR><TR><TD CLASS="l">557</TD><TD>         * @see org.eclipse.jface.text.ITextPresentationListener#applyTextPresentation(org.eclipse.jface.text.TextPresentation)</TD></TR><TR><TD CLASS="l">558</TD><TD>         */</TD></TR><TR><TD CLASS="l">559</TD><TD>        public void applyTextPresentation(TextPresentation textPresentation) {</TD></TR><TR CLASS="z"><TD CLASS="l">560</TD><TD>                IRegion region= textPresentation.getExtent();</TD></TR><TR CLASS="z"><TD CLASS="l">561</TD><TD>                int i= computeIndexAtOffset(fPositions, region.getOffset()), n= computeIndexAtOffset(fPositions, region.getOffset() + region.getLength());</TD></TR><TR CLASS="z"><TD CLASS="l">562</TD><TD>                if (n - i &gt; 2) {</TD></TR><TR CLASS="z"><TD CLASS="l">563</TD><TD>                        List ranges= new ArrayList(n - i);</TD></TR><TR CLASS="z"><TD CLASS="l">564</TD><TD>                        for (; i &lt; n; i++) {</TD></TR><TR CLASS="z"><TD CLASS="l">565</TD><TD>                                HighlightedPosition position= (HighlightedPosition) fPositions.get(i);</TD></TR><TR CLASS="z"><TD CLASS="l">566</TD><TD>                                if (!position.isDeleted())</TD></TR><TR CLASS="z"><TD CLASS="l">567</TD><TD>                                        ranges.add(position.createStyleRange());</TD></TR><TR><TD CLASS="l">568</TD><TD>                        }</TD></TR><TR CLASS="z"><TD CLASS="l">569</TD><TD>                        StyleRange[] array= new StyleRange[ranges.size()];</TD></TR><TR CLASS="z"><TD CLASS="l">570</TD><TD>                        array= (StyleRange[]) ranges.toArray(array);</TD></TR><TR CLASS="z"><TD CLASS="l">571</TD><TD>                        textPresentation.replaceStyleRanges(array);</TD></TR><TR><TD CLASS="l">572</TD><TD>                } else {</TD></TR><TR CLASS="z"><TD CLASS="l">573</TD><TD>                        for (; i &lt; n; i++) {</TD></TR><TR CLASS="z"><TD CLASS="l">574</TD><TD>                                HighlightedPosition position= (HighlightedPosition) fPositions.get(i);</TD></TR><TR CLASS="z"><TD CLASS="l">575</TD><TD>                                if (!position.isDeleted())</TD></TR><TR CLASS="z"><TD CLASS="l">576</TD><TD>                                        textPresentation.replaceStyleRange(position.createStyleRange());</TD></TR><TR><TD CLASS="l">577</TD><TD>                        }</TD></TR><TR><TD CLASS="l">578</TD><TD>                }</TD></TR><TR CLASS="z"><TD CLASS="l">579</TD><TD>        }</TD></TR><TR><TD CLASS="l">580</TD><TD> </TD></TR><TR><TD CLASS="l"><A NAME="12">581</A></TD><TD>        /*</TD></TR><TR><TD CLASS="l">582</TD><TD>         * @see org.eclipse.jface.text.ITextInputListener#inputDocumentAboutToBeChanged(org.eclipse.jface.text.IDocument, org.eclipse.jface.text.IDocument)</TD></TR><TR><TD CLASS="l">583</TD><TD>         */</TD></TR><TR><TD CLASS="l">584</TD><TD>        public void inputDocumentAboutToBeChanged(IDocument oldInput, IDocument newInput) {</TD></TR><TR CLASS="z"><TD CLASS="l">585</TD><TD>                setCanceled(true);</TD></TR><TR CLASS="z"><TD CLASS="l">586</TD><TD>                releaseDocument(oldInput);</TD></TR><TR CLASS="z"><TD CLASS="l">587</TD><TD>                resetState();</TD></TR><TR CLASS="z"><TD CLASS="l">588</TD><TD>        }</TD></TR><TR><TD CLASS="l">589</TD><TD> </TD></TR><TR><TD CLASS="l"><A NAME="13">590</A></TD><TD>        /*</TD></TR><TR><TD CLASS="l">591</TD><TD>         * @see org.eclipse.jface.text.ITextInputListener#inputDocumentChanged(org.eclipse.jface.text.IDocument, org.eclipse.jface.text.IDocument)</TD></TR><TR><TD CLASS="l">592</TD><TD>         */</TD></TR><TR><TD CLASS="l">593</TD><TD>        public void inputDocumentChanged(IDocument oldInput, IDocument newInput) {</TD></TR><TR CLASS="z"><TD CLASS="l">594</TD><TD>                manageDocument(newInput);</TD></TR><TR CLASS="z"><TD CLASS="l">595</TD><TD>        }</TD></TR><TR><TD CLASS="l">596</TD><TD> </TD></TR><TR><TD CLASS="l"><A NAME="c">597</A></TD><TD>        /*</TD></TR><TR><TD CLASS="l">598</TD><TD>         * @see org.eclipse.jface.text.IDocumentListener#documentAboutToBeChanged(org.eclipse.jface.text.DocumentEvent)</TD></TR><TR><TD CLASS="l">599</TD><TD>         */</TD></TR><TR><TD CLASS="l">600</TD><TD>        public void documentAboutToBeChanged(DocumentEvent event) {</TD></TR><TR CLASS="z"><TD CLASS="l">601</TD><TD>                setCanceled(true);</TD></TR><TR CLASS="z"><TD CLASS="l">602</TD><TD>        }</TD></TR><TR><TD CLASS="l">603</TD><TD> </TD></TR><TR><TD CLASS="l"><A NAME="d">604</A></TD><TD>        /*</TD></TR><TR><TD CLASS="l">605</TD><TD>         * @see org.eclipse.jface.text.IDocumentListener#documentChanged(org.eclipse.jface.text.DocumentEvent)</TD></TR><TR><TD CLASS="l">606</TD><TD>         */</TD></TR><TR><TD CLASS="l">607</TD><TD>        public void documentChanged(DocumentEvent event) {</TD></TR><TR CLASS="z"><TD CLASS="l">608</TD><TD>        }</TD></TR><TR><TD CLASS="l">609</TD><TD> </TD></TR><TR><TD CLASS="l">610</TD><TD>        /**</TD></TR><TR><TD CLASS="l">611</TD><TD>         * @return Returns &lt;code&gt;true&lt;/code&gt; iff the current reconcile is canceled.</TD></TR><TR><TD CLASS="l">612</TD><TD>         * &lt;p&gt;</TD></TR><TR><TD CLASS="l"><A NAME="17">613</A></TD><TD>         * NOTE: Also called from background thread.</TD></TR><TR><TD CLASS="l">614</TD><TD>         * &lt;/p&gt;</TD></TR><TR><TD CLASS="l">615</TD><TD>         */</TD></TR><TR><TD CLASS="l">616</TD><TD>        public boolean isCanceled() {</TD></TR><TR CLASS="z"><TD CLASS="l">617</TD><TD>                IDocument document= fSourceViewer != null ? fSourceViewer.getDocument() : null;</TD></TR><TR CLASS="z"><TD CLASS="l">618</TD><TD>                if (document == null)</TD></TR><TR CLASS="z"><TD CLASS="l">619</TD><TD>                        return fIsCanceled;</TD></TR><TR><TD CLASS="l">620</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">621</TD><TD>                synchronized (getLockObject(document)) {</TD></TR><TR CLASS="z"><TD CLASS="l">622</TD><TD>                        return fIsCanceled;</TD></TR><TR><TD CLASS="l">623</TD><TD>                }</TD></TR><TR><TD CLASS="l">624</TD><TD>        }</TD></TR><TR><TD CLASS="l">625</TD><TD> </TD></TR><TR><TD CLASS="l">626</TD><TD>        /**</TD></TR><TR><TD CLASS="l">627</TD><TD>         * Set whether or not the current reconcile is canceled.</TD></TR><TR><TD CLASS="l"><A NAME="1b">628</A></TD><TD>         *</TD></TR><TR><TD CLASS="l">629</TD><TD>         * @param isCanceled &lt;code&gt;true&lt;/code&gt; iff the current reconcile is canceled</TD></TR><TR><TD CLASS="l">630</TD><TD>         */</TD></TR><TR><TD CLASS="l">631</TD><TD>        public void setCanceled(boolean isCanceled) {</TD></TR><TR CLASS="z"><TD CLASS="l">632</TD><TD>                IDocument document= fSourceViewer != null ? fSourceViewer.getDocument() : null;</TD></TR><TR CLASS="z"><TD CLASS="l">633</TD><TD>                if (document == null) {</TD></TR><TR CLASS="z"><TD CLASS="l">634</TD><TD>                        fIsCanceled= isCanceled;</TD></TR><TR CLASS="z"><TD CLASS="l">635</TD><TD>                        return;</TD></TR><TR><TD CLASS="l">636</TD><TD>                }</TD></TR><TR><TD CLASS="l">637</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">638</TD><TD>                synchronized (getLockObject(document)) {</TD></TR><TR CLASS="z"><TD CLASS="l">639</TD><TD>                        fIsCanceled= isCanceled;</TD></TR><TR><TD CLASS="l">640</TD><TD>                }</TD></TR><TR CLASS="z"><TD CLASS="l">641</TD><TD>        }</TD></TR><TR><TD CLASS="l">642</TD><TD> </TD></TR><TR><TD CLASS="l">643</TD><TD>        /**</TD></TR><TR><TD CLASS="l"><A NAME="e">644</A></TD><TD>         * @param document the document</TD></TR><TR><TD CLASS="l">645</TD><TD>         * @return the document's lock object</TD></TR><TR><TD CLASS="l">646</TD><TD>         */</TD></TR><TR><TD CLASS="l">647</TD><TD>        private Object getLockObject(IDocument document) {</TD></TR><TR CLASS="z"><TD CLASS="l">648</TD><TD>                if (document instanceof ISynchronizable) {</TD></TR><TR CLASS="z"><TD CLASS="l">649</TD><TD>                        Object lock= ((ISynchronizable)document).getLockObject();</TD></TR><TR CLASS="z"><TD CLASS="l">650</TD><TD>                        if (lock != null)</TD></TR><TR CLASS="z"><TD CLASS="l">651</TD><TD>                                return lock;</TD></TR><TR><TD CLASS="l">652</TD><TD>                }</TD></TR><TR CLASS="z"><TD CLASS="l">653</TD><TD>                return document;</TD></TR><TR><TD CLASS="l">654</TD><TD>        }</TD></TR><TR><TD CLASS="l">655</TD><TD> </TD></TR><TR><TD CLASS="l">656</TD><TD>        /**</TD></TR><TR><TD CLASS="l">657</TD><TD>         * Install this presenter on the given source viewer and background presentation</TD></TR><TR><TD CLASS="l">658</TD><TD>         * reconciler.</TD></TR><TR><TD CLASS="l">659</TD><TD>         *</TD></TR><TR><TD CLASS="l">660</TD><TD>         * @param sourceViewer the source viewer</TD></TR><TR><TD CLASS="l">661</TD><TD>         * @param backgroundPresentationReconciler the background presentation reconciler,</TD></TR><TR><TD CLASS="l"><A NAME="15">662</A></TD><TD>         *         can be &lt;code&gt;null&lt;/code&gt;, in that case {@link SemanticHighlightingPresenter#createPresentation(List, List)}</TD></TR><TR><TD CLASS="l">663</TD><TD>         *         should not be called</TD></TR><TR><TD CLASS="l">664</TD><TD>         */</TD></TR><TR><TD CLASS="l">665</TD><TD>        public void install(StructuredTextViewer sourceViewer, StructuredPresentationReconciler backgroundPresentationReconciler) {</TD></TR><TR CLASS="z"><TD CLASS="l">666</TD><TD>                fSourceViewer= sourceViewer;</TD></TR><TR CLASS="z"><TD CLASS="l">667</TD><TD>                fPresentationReconciler= backgroundPresentationReconciler;</TD></TR><TR><TD CLASS="l">668</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">669</TD><TD>                fSourceViewer.prependTextPresentationListener(this);</TD></TR><TR CLASS="z"><TD CLASS="l">670</TD><TD>                fSourceViewer.addTextInputListener(this);</TD></TR><TR CLASS="z"><TD CLASS="l">671</TD><TD>                manageDocument(fSourceViewer.getDocument());</TD></TR><TR CLASS="z"><TD CLASS="l">672</TD><TD>        }</TD></TR><TR><TD CLASS="l">673</TD><TD> </TD></TR><TR><TD CLASS="l"><A NAME="1c">674</A></TD><TD>        /**</TD></TR><TR><TD CLASS="l">675</TD><TD>         * Uninstall this presenter.</TD></TR><TR><TD CLASS="l">676</TD><TD>         */</TD></TR><TR><TD CLASS="l">677</TD><TD>        public void uninstall() {</TD></TR><TR CLASS="z"><TD CLASS="l">678</TD><TD>                setCanceled(true);</TD></TR><TR><TD CLASS="l">679</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">680</TD><TD>                if (fSourceViewer != null) {</TD></TR><TR CLASS="z"><TD CLASS="l">681</TD><TD>                        fSourceViewer.removeTextPresentationListener(this);</TD></TR><TR CLASS="z"><TD CLASS="l">682</TD><TD>                        releaseDocument(fSourceViewer.getDocument());</TD></TR><TR CLASS="z"><TD CLASS="l">683</TD><TD>                        invalidateTextPresentation();</TD></TR><TR CLASS="z"><TD CLASS="l">684</TD><TD>                        resetState();</TD></TR><TR><TD CLASS="l">685</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">686</TD><TD>                        fSourceViewer.removeTextInputListener(this);</TD></TR><TR CLASS="z"><TD CLASS="l">687</TD><TD>                        fSourceViewer= null;</TD></TR><TR><TD CLASS="l">688</TD><TD>                }</TD></TR><TR CLASS="z"><TD CLASS="l">689</TD><TD>        }</TD></TR><TR><TD CLASS="l">690</TD><TD> </TD></TR><TR><TD CLASS="l">691</TD><TD>        /**</TD></TR><TR><TD CLASS="l">692</TD><TD>         * Invalidate text presentation of positions with the given highlighting.</TD></TR><TR><TD CLASS="l"><A NAME="10">693</A></TD><TD>         *</TD></TR><TR><TD CLASS="l">694</TD><TD>         * @param highlighting The highlighting</TD></TR><TR><TD CLASS="l">695</TD><TD>         */</TD></TR><TR><TD CLASS="l">696</TD><TD>        public void highlightingStyleChanged(HighlightingStyle highlighting) {</TD></TR><TR CLASS="z"><TD CLASS="l">697</TD><TD>                for (int i= 0, n= fPositions.size(); i &lt; n; i++) {</TD></TR><TR CLASS="z"><TD CLASS="l">698</TD><TD>                        HighlightedPosition position= (HighlightedPosition) fPositions.get(i);</TD></TR><TR CLASS="z"><TD CLASS="l">699</TD><TD>                        if (position.getHighlighting() == highlighting)</TD></TR><TR CLASS="z"><TD CLASS="l">700</TD><TD>                                fSourceViewer.invalidateTextPresentation(position.getOffset(), position.getLength());</TD></TR><TR><TD CLASS="l">701</TD><TD>                }</TD></TR><TR CLASS="z"><TD CLASS="l">702</TD><TD>        }</TD></TR><TR><TD CLASS="l">703</TD><TD> </TD></TR><TR><TD CLASS="l"><A NAME="16">704</A></TD><TD>        /**</TD></TR><TR><TD CLASS="l">705</TD><TD>         * Invalidate text presentation of all positions.</TD></TR><TR><TD CLASS="l">706</TD><TD>         */</TD></TR><TR><TD CLASS="l">707</TD><TD>        private void invalidateTextPresentation() {</TD></TR><TR CLASS="z"><TD CLASS="l">708</TD><TD>                for (int i= 0, n= fPositions.size(); i &lt; n; i++) {</TD></TR><TR CLASS="z"><TD CLASS="l">709</TD><TD>                        Position position= (Position) fPositions.get(i);</TD></TR><TR CLASS="z"><TD CLASS="l">710</TD><TD>                        fSourceViewer.invalidateTextPresentation(position.getOffset(), position.getLength());</TD></TR><TR><TD CLASS="l">711</TD><TD>                }</TD></TR><TR CLASS="z"><TD CLASS="l">712</TD><TD>        }</TD></TR><TR><TD CLASS="l">713</TD><TD> </TD></TR><TR><TD CLASS="l">714</TD><TD>        /**</TD></TR><TR><TD CLASS="l">715</TD><TD>         * Add a position with the given range and highlighting unconditionally, only from UI thread.</TD></TR><TR><TD CLASS="l">716</TD><TD>         * The position will also be registered on the document. The text presentation is not invalidated.</TD></TR><TR><TD CLASS="l">717</TD><TD>         *</TD></TR><TR><TD CLASS="l">718</TD><TD>         * @param offset The range offset</TD></TR><TR><TD CLASS="l"><A NAME="3">719</A></TD><TD>         * @param length The range length</TD></TR><TR><TD CLASS="l">720</TD><TD>         * @param highlighting</TD></TR><TR><TD CLASS="l">721</TD><TD>         */</TD></TR><TR><TD CLASS="l">722</TD><TD>        private void addPositionFromUI(int offset, int length, HighlightingStyle highlighting) {</TD></TR><TR CLASS="z"><TD CLASS="l">723</TD><TD>                Position position= createHighlightedPosition(offset, length, highlighting);</TD></TR><TR CLASS="z"><TD CLASS="l">724</TD><TD>                synchronized (fPositionLock) {</TD></TR><TR CLASS="z"><TD CLASS="l">725</TD><TD>                        insertPosition(position);</TD></TR><TR><TD CLASS="l">726</TD><TD>                }</TD></TR><TR><TD CLASS="l">727</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">728</TD><TD>                IDocument document= fSourceViewer.getDocument();</TD></TR><TR CLASS="z"><TD CLASS="l">729</TD><TD>                if (document == null)</TD></TR><TR CLASS="z"><TD CLASS="l">730</TD><TD>                        return;</TD></TR><TR CLASS="z"><TD CLASS="l">731</TD><TD>                String positionCategory= getPositionCategory();</TD></TR><TR><TD CLASS="l">732</TD><TD>                try {</TD></TR><TR CLASS="z"><TD CLASS="l">733</TD><TD>                        document.addPosition(positionCategory, position);</TD></TR><TR CLASS="z"><TD CLASS="l">734</TD><TD>                } catch (BadLocationException e) {</TD></TR><TR><TD CLASS="l">735</TD><TD>                        // Should not happen</TD></TR><TR CLASS="z"><TD CLASS="l">736</TD><TD>                        Logger.logException(e);</TD></TR><TR CLASS="z"><TD CLASS="l">737</TD><TD>                } catch (BadPositionCategoryException e) {</TD></TR><TR><TD CLASS="l">738</TD><TD>                        // Should not happen</TD></TR><TR CLASS="z"><TD CLASS="l">739</TD><TD>                        Logger.logException(e);</TD></TR><TR><TD CLASS="l">740</TD><TD>                }</TD></TR><TR CLASS="z"><TD CLASS="l">741</TD><TD>        }</TD></TR><TR><TD CLASS="l">742</TD><TD> </TD></TR><TR><TD CLASS="l"><A NAME="1a">743</A></TD><TD>        /**</TD></TR><TR><TD CLASS="l">744</TD><TD>         * Reset to initial state.</TD></TR><TR><TD CLASS="l">745</TD><TD>         */</TD></TR><TR><TD CLASS="l">746</TD><TD>        private void resetState() {</TD></TR><TR CLASS="z"><TD CLASS="l">747</TD><TD>                synchronized (fPositionLock) {</TD></TR><TR CLASS="z"><TD CLASS="l">748</TD><TD>                        fPositions.clear();</TD></TR><TR><TD CLASS="l">749</TD><TD>                }</TD></TR><TR CLASS="z"><TD CLASS="l">750</TD><TD>        }</TD></TR><TR><TD CLASS="l">751</TD><TD> </TD></TR><TR><TD CLASS="l">752</TD><TD>        /**</TD></TR><TR><TD CLASS="l">753</TD><TD>         * Start managing the given document.</TD></TR><TR><TD CLASS="l"><A NAME="18">754</A></TD><TD>         *</TD></TR><TR><TD CLASS="l">755</TD><TD>         * @param document The document</TD></TR><TR><TD CLASS="l">756</TD><TD>         */</TD></TR><TR><TD CLASS="l">757</TD><TD>        private void manageDocument(IDocument document) {</TD></TR><TR CLASS="z"><TD CLASS="l">758</TD><TD>                if (document != null) {</TD></TR><TR CLASS="z"><TD CLASS="l">759</TD><TD>                        document.addPositionCategory(getPositionCategory());</TD></TR><TR CLASS="z"><TD CLASS="l">760</TD><TD>                        document.addPositionUpdater(fPositionUpdater);</TD></TR><TR CLASS="z"><TD CLASS="l">761</TD><TD>                        document.addDocumentListener(this);</TD></TR><TR><TD CLASS="l">762</TD><TD>                }</TD></TR><TR CLASS="z"><TD CLASS="l">763</TD><TD>        }</TD></TR><TR><TD CLASS="l">764</TD><TD> </TD></TR><TR><TD CLASS="l">765</TD><TD>        /**</TD></TR><TR><TD CLASS="l">766</TD><TD>         * Stop managing the given document.</TD></TR><TR><TD CLASS="l"><A NAME="19">767</A></TD><TD>         *</TD></TR><TR><TD CLASS="l">768</TD><TD>         * @param document The document</TD></TR><TR><TD CLASS="l">769</TD><TD>         */</TD></TR><TR><TD CLASS="l">770</TD><TD>        private void releaseDocument(IDocument document) {</TD></TR><TR CLASS="z"><TD CLASS="l">771</TD><TD>                if (document != null) {</TD></TR><TR CLASS="z"><TD CLASS="l">772</TD><TD>                        document.removeDocumentListener(this);</TD></TR><TR CLASS="z"><TD CLASS="l">773</TD><TD>                        document.removePositionUpdater(fPositionUpdater);</TD></TR><TR><TD CLASS="l">774</TD><TD>                        try {</TD></TR><TR CLASS="z"><TD CLASS="l">775</TD><TD>                                document.removePositionCategory(getPositionCategory());</TD></TR><TR CLASS="z"><TD CLASS="l">776</TD><TD>                        } catch (BadPositionCategoryException e) {</TD></TR><TR><TD CLASS="l">777</TD><TD>                                // Should not happen</TD></TR><TR CLASS="z"><TD CLASS="l">778</TD><TD>                                Logger.logException(e);</TD></TR><TR><TD CLASS="l">779</TD><TD>                        }</TD></TR><TR><TD CLASS="l">780</TD><TD>                }</TD></TR><TR CLASS="z"><TD CLASS="l">781</TD><TD>        }</TD></TR><TR><TD CLASS="l">782</TD><TD> </TD></TR><TR><TD CLASS="l"><A NAME="f">783</A></TD><TD>        /**</TD></TR><TR><TD CLASS="l">784</TD><TD>         * @return The semantic reconciler position's category.</TD></TR><TR><TD CLASS="l">785</TD><TD>         */</TD></TR><TR><TD CLASS="l">786</TD><TD>        private String getPositionCategory() {</TD></TR><TR CLASS="z"><TD CLASS="l">787</TD><TD>                return toString();</TD></TR><TR><TD CLASS="l">788</TD><TD>        }</TD></TR><TR><TD CLASS="l">789</TD><TD>}</TD></TR></TABLE><P></P><TABLE CLASS="hdft" CELLSPACING="0" WIDTH="100%"><TR><TD CLASS="nv">[<A HREF="../xslUnitTestCoverage.html">all classes</A>][<A HREF="83.html">org.eclipse.wst.sse.ui.internal.provisional.style</A>]</TD></TR><TR><TD CLASS="tl"><A HREF="http://www.eclemma.org/support.html">EMMA 2.0.5312 EclEmma Fix 1</A> (C) Vladimir Roubtsov</TD></TR></TABLE></BODY></HTML>