<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="93.html">org.eclipse.wst.xml.xpath2.processor</A>]</TD></TR></TABLE><H2>COVERAGE SUMMARY FOR SOURCE FILE [<SPAN CLASS="in">DefaultEvaluator.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>DefaultEvaluator.java</TD><TD CLASS="h">67%  (2/3)</TD><TD CLASS="h">21%  (15/71)</TD><TD CLASS="h">22%  (552/2482)</TD><TD CLASS="h">22%  (146.3/659)</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">DefaultEvaluator$DummyError</A></TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/2)</TD><TD CLASS="h">0%   (0/12)</TD><TD CLASS="h">0%   (0/4)</TD></TR><TR><TD CLASS="f"><A HREF="#0">DefaultEvaluator$DummyError (DefaultEvaluator, int): void</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="#2">type (): int</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><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="#3">DefaultEvaluator</A></TD><TD>100% (1/1)</TD><TD CLASS="h">21%  (14/68)</TD><TD CLASS="h">22%  (540/2458)</TD><TD CLASS="h">22%  (142.3/651)</TD></TR><TR><TD CLASS="f"><A HREF="#4">descendant_or_self_node (ResultSequence): ResultSequence</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/33)</TD><TD CLASS="h">0%   (0/8)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#5">do_bin_args (BinExpr): Collection</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/26)</TD><TD CLASS="h">0%   (0/6)</TD></TR><TR><TD CLASS="f"><A HREF="#6">do_for_quantified_expr (ListIterator, Expr, int): ResultSequence</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/136)</TD><TD CLASS="h">0%   (0/40)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#7">do_logic_exp (BinExpr): boolean []</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/40)</TD><TD CLASS="h">0%   (0/8)</TD></TR><TR><TD CLASS="f"><A HREF="#8">node_cmp (int, Collection): ResultSequence</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/105)</TD><TD CLASS="h">0%   (0/28)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#9">predicate_truth (ResultSequence): boolean</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/44)</TD><TD CLASS="h">0%   (0/12)</TD></TR><TR><TD CLASS="f"><A HREF="#a">report_error (DynamicError): void</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/9)</TD><TD CLASS="h">0%   (0/2)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#b">report_error (StaticNameError): void</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/6)</TD><TD CLASS="h">0%   (0/1)</TD></TR><TR><TD CLASS="f"><A HREF="#c">report_error (TypeError): void</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/9)</TD><TD CLASS="h">0%   (0/2)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#d">visit (AddExpr): 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="#e">visit (AndExpr): Object</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/20)</TD><TD CLASS="h">0%   (0/3)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#f">visit (AnyKindTest): Object</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/11)</TD><TD CLASS="h">0%   (0/2)</TD></TR><TR><TD CLASS="f"><A HREF="#10">visit (AttributeTest): Object</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/60)</TD><TD CLASS="h">0%   (0/14)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#11">visit (CastExpr): Object</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/80)</TD><TD CLASS="h">0%   (0/22)</TD></TR><TR><TD CLASS="f"><A HREF="#12">visit (CastableExpr): Object</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/28)</TD><TD CLASS="h">0%   (0/8)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#13">visit (CmpExpr): Object</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/61)</TD><TD CLASS="h">0%   (0/19)</TD></TR><TR><TD CLASS="f"><A HREF="#14">visit (CntxItemExpr): Object</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="#15">visit (CommentTest): Object</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/11)</TD><TD CLASS="h">0%   (0/2)</TD></TR><TR><TD CLASS="f"><A HREF="#16">visit (DecimalLiteral): Object</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 CLASS="o"><TD CLASS="f"><A HREF="#17">visit (DivExpr): 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="#18">visit (DocumentTest): Object</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/131)</TD><TD CLASS="h">0%   (0/34)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#19">visit (DoubleLiteral): Object</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="#1a">visit (ElementTest): Object</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/74)</TD><TD CLASS="h">0%   (0/18)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#1b">visit (ExceptExpr): 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="#1c">visit (FilterExpr): Object</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/45)</TD><TD CLASS="h">0%   (0/11)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#1d">visit (ForExpr): Object</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/14)</TD><TD CLASS="h">0%   (0/2)</TD></TR><TR><TD CLASS="f"><A HREF="#1e">visit (FunctionCall): Object</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/36)</TD><TD CLASS="h">0%   (0/9)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#1f">visit (IDivExpr): 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="#20">visit (IfExpr): Object</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/25)</TD><TD CLASS="h">0%   (0/6)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#21">visit (InstOfExpr): Object</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/35)</TD><TD CLASS="h">0%   (0/7)</TD></TR><TR><TD CLASS="f"><A HREF="#22">visit (IntegerLiteral): Object</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 CLASS="o"><TD CLASS="f"><A HREF="#23">visit (IntersectExpr): 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="#24">visit (ItemType): Object</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/32)</TD><TD CLASS="h">0%   (0/8)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#25">visit (MinusExpr): Object</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><TD CLASS="f"><A HREF="#26">visit (ModExpr): 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 CLASS="o"><TD CLASS="f"><A HREF="#27">visit (MulExpr): 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="#28">visit (OrExpr): Object</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/20)</TD><TD CLASS="h">0%   (0/3)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#29">visit (PITest): Object</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/46)</TD><TD CLASS="h">0%   (0/12)</TD></TR><TR><TD CLASS="f"><A HREF="#2a">visit (ParExpr): Object</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/5)</TD><TD CLASS="h">0%   (0/1)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#2b">visit (PipeExpr): 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="#2c">visit (PlusExpr): Object</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="#2d">visit (QuantifiedExpr): Object</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/61)</TD><TD CLASS="h">0%   (0/18)</TD></TR><TR><TD CLASS="f"><A HREF="#2e">visit (RangeExpr): Object</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="#2f">visit (ReverseStep): Object</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/69)</TD><TD CLASS="h">0%   (0/14)</TD></TR><TR><TD CLASS="f"><A HREF="#30">visit (SchemaAttrTest): Object</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/55)</TD><TD CLASS="h">0%   (0/12)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#31">visit (SchemaElemTest): Object</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/66)</TD><TD CLASS="h">0%   (0/16)</TD></TR><TR><TD CLASS="f"><A HREF="#32">visit (SequenceType): Object</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/20)</TD><TD CLASS="h">0%   (0/5)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#33">visit (SingleType): Object</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><TD CLASS="f"><A HREF="#34">visit (StringLiteral): Object</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 CLASS="o"><TD CLASS="f"><A HREF="#35">visit (SubExpr): 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="#36">visit (TextTest): Object</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/11)</TD><TD CLASS="h">0%   (0/2)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#37">visit (TreatAsExpr): Object</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/28)</TD><TD CLASS="h">0%   (0/7)</TD></TR><TR><TD CLASS="f"><A HREF="#38">visit (UnionExpr): 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 CLASS="o"><TD CLASS="f"><A HREF="#39">visit (VarRef): Object</A></TD><TD> </TD><TD CLASS="h">0%   (0/1)</TD><TD CLASS="h">0%   (0/21)</TD><TD CLASS="h">0%   (0/5)</TD></TR><TR><TD CLASS="f"><A HREF="#3a">evaluate (XPathNode): ResultSequence</A></TD><TD> </TD><TD>100% (1/1)</TD><TD CLASS="h">18%  (5/28)</TD><TD CLASS="h">14%  (1/7)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#3b">visit (XPathExpr): Object</A></TD><TD> </TD><TD>100% (1/1)</TD><TD CLASS="h">57%  (79/138)</TD><TD CLASS="h">58%  (21/36)</TD></TR><TR><TD CLASS="f"><A HREF="#3c">name_test (NodeType, QName, String): boolean</A></TD><TD> </TD><TD>100% (1/1)</TD><TD CLASS="h">72%  (66/92)</TD><TD CLASS="h">68%  (18.4/27)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#3d">do_predicate (Collection): ResultSequence</A></TD><TD> </TD><TD>100% (1/1)</TD><TD CLASS="h">73%  (66/90)</TD><TD CLASS="h">72%  (18/25)</TD></TR><TR><TD CLASS="f"><A HREF="#3e">do_step (StepExpr): ResultSequence</A></TD><TD> </TD><TD>100% (1/1)</TD><TD CLASS="h">73%  (83/113)</TD><TD CLASS="h">76%  (26/34)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#3f">do_expr (Iterator): ResultSequence</A></TD><TD> </TD><TD>100% (1/1)</TD><TD>83%  (24/29)</TD><TD>80%  (8/10)</TD></TR><TR><TD CLASS="f"><A HREF="#40">root_self_node (): ResultSequence</A></TD><TD> </TD><TD>100% (1/1)</TD><TD>87%  (26/30)</TD><TD CLASS="h">71%  (5/7)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#3">&lt;static initializer&gt;</A></TD><TD> </TD><TD>100% (1/1)</TD><TD>88%  (7/8)</TD><TD>87%  (0.9/1)</TD></TR><TR><TD CLASS="f"><A HREF="#42">kind_test (ResultSequence, Class): ResultSequence</A></TD><TD> </TD><TD>100% (1/1)</TD><TD>88%  (14/16)</TD><TD CLASS="h">75%  (3/4)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#43">visit (ForwardStep): Object</A></TD><TD> </TD><TD>100% (1/1)</TD><TD>89%  (39/44)</TD><TD>90%  (9/10)</TD></TR><TR><TD CLASS="f"><A HREF="#44">visit (AxisStep): Object</A></TD><TD> </TD><TD>100% (1/1)</TD><TD>98%  (44/45)</TD><TD>91%  (10/11)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#45">DefaultEvaluator (DynamicContext, Document): void</A></TD><TD> </TD><TD>100% (1/1)</TD><TD>100% (44/44)</TD><TD>100% (11/11)</TD></TR><TR><TD CLASS="f"><A HREF="#46">visit (NameTest): Object</A></TD><TD> </TD><TD>100% (1/1)</TD><TD>100% (36/36)</TD><TD>100% (9/9)</TD></TR><TR CLASS="o"><TD CLASS="f"><A HREF="#47">visit (XPath): Object</A></TD><TD> </TD><TD>100% (1/1)</TD><TD>100% (7/7)</TD><TD>100% (2/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="#48">DefaultEvaluator$Pair</A></TD><TD>100% (1/1)</TD><TD>100% (1/1)</TD><TD>100% (12/12)</TD><TD>100% (4/4)</TD></TR><TR><TD CLASS="f"><A HREF="#48">DefaultEvaluator$Pair (DefaultEvaluator, Object, Object): void</A></TD><TD> </TD><TD>100% (1/1)</TD><TD>100% (12/12)</TD><TD>100% (4/4)</TD></TR></TABLE><P></P><TABLE CLASS="s" CELLSPACING="0" WIDTH="100%"><TR><TD CLASS="l">1</TD><TD>/*******************************************************************************</TD></TR><TR><TD CLASS="l">2</TD><TD> * Copyright (c) 2005, 2009 Andrea Bittau, University College London, 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> *     Andrea Bittau - initial API and implementation from the PsychoPath XPath 2.0 </TD></TR><TR><TD CLASS="l">10</TD><TD> *******************************************************************************/</TD></TR><TR><TD CLASS="l">11</TD><TD> </TD></TR><TR><TD CLASS="l">12</TD><TD>package org.eclipse.wst.xml.xpath2.processor;</TD></TR><TR><TD CLASS="l">13</TD><TD> </TD></TR><TR><TD CLASS="l">14</TD><TD>import java.util.*;</TD></TR><TR><TD CLASS="l">15</TD><TD>import org.w3c.dom.*;</TD></TR><TR><TD CLASS="l">16</TD><TD>import org.apache.xerces.xs.*;</TD></TR><TR><TD CLASS="l">17</TD><TD>import org.eclipse.wst.xml.xpath2.processor.ast.*;</TD></TR><TR><TD CLASS="l">18</TD><TD>import org.eclipse.wst.xml.xpath2.processor.function.*;</TD></TR><TR><TD CLASS="l">19</TD><TD>import org.eclipse.wst.xml.xpath2.processor.types.*;</TD></TR><TR><TD CLASS="l"><A NAME="3">20</A></TD><TD> </TD></TR><TR><TD CLASS="l">21</TD><TD>/**</TD></TR><TR><TD CLASS="l">22</TD><TD> * Default evaluator interface</TD></TR><TR><TD CLASS="l">23</TD><TD> */</TD></TR><TR CLASS="p"><TD CLASS="l" TITLE="88% line coverage (7 out of 8 instructions)">24</TD><TD TITLE="88% line coverage (7 out of 8 instructions)">public class DefaultEvaluator implements XPathVisitor, Evaluator {</TD></TR><TR><TD CLASS="l">25</TD><TD> </TD></TR><TR><TD CLASS="l">26</TD><TD>        private class DummyError extends Error {</TD></TR><TR><TD CLASS="l">27</TD><TD>                /**</TD></TR><TR><TD CLASS="l">28</TD><TD>                 * </TD></TR><TR><TD CLASS="l">29</TD><TD>                 */</TD></TR><TR><TD CLASS="l">30</TD><TD>                private static final long serialVersionUID = 3161644790881405403L;</TD></TR><TR><TD CLASS="l">31</TD><TD>                // 0: dynamic error</TD></TR><TR><TD CLASS="l">32</TD><TD>                // 1: type error</TD></TR><TR><TD CLASS="l"><A NAME="0">33</A></TD><TD>                private int _type;</TD></TR><TR><TD CLASS="l">34</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">35</TD><TD>                public DummyError(int type) {</TD></TR><TR CLASS="z"><TD CLASS="l"><A NAME="2">36</A></TD><TD>                        _type = type;</TD></TR><TR CLASS="z"><TD CLASS="l">37</TD><TD>                }</TD></TR><TR><TD CLASS="l">38</TD><TD> </TD></TR><TR><TD CLASS="l">39</TD><TD>                public int type() {</TD></TR><TR CLASS="z"><TD CLASS="l">40</TD><TD>                        return _type;</TD></TR><TR><TD CLASS="l">41</TD><TD>                }</TD></TR><TR><TD CLASS="l">42</TD><TD>        }</TD></TR><TR><TD CLASS="l">43</TD><TD> </TD></TR><TR><TD CLASS="l">44</TD><TD>        private DynamicContext _dc;</TD></TR><TR><TD CLASS="l">45</TD><TD>        private Document _doc;</TD></TR><TR><TD CLASS="l">46</TD><TD>        private XPathException _err;</TD></TR><TR><TD CLASS="l">47</TD><TD> </TD></TR><TR><TD CLASS="l">48</TD><TD>        // stuff anyone may use</TD></TR><TR><TD CLASS="l">49</TD><TD>        private Collection _g_coll;</TD></TR><TR><TD CLASS="l">50</TD><TD>        private XSInteger _g_xsint;</TD></TR><TR><TD CLASS="l">51</TD><TD> </TD></TR><TR><TD CLASS="l">52</TD><TD>        // this is a parameter that may be set on a call...</TD></TR><TR><TD CLASS="l">53</TD><TD>        // the parameter may become invalid on the next call... i.e. the</TD></TR><TR><TD CLASS="l">54</TD><TD>        // previous parameter is not saved... so use with care! [remember...</TD></TR><TR><TD CLASS="l">55</TD><TD>        // this thing is highly recursive]</TD></TR><TR><TD CLASS="l">56</TD><TD>        private Object _param;</TD></TR><TR><TD CLASS="l">57</TD><TD> </TD></TR><TR><TD CLASS="l">58</TD><TD>        private class Pair {</TD></TR><TR><TD CLASS="l">59</TD><TD>                public Object _one;</TD></TR><TR><TD CLASS="l">60</TD><TD>                public Object _two;</TD></TR><TR><TD CLASS="l"><A NAME="48">61</A></TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">62</TD><TD>                public Pair(Object o, Object t) {</TD></TR><TR CLASS="c"><TD CLASS="l">63</TD><TD>                        _one = o;</TD></TR><TR CLASS="c"><TD CLASS="l">64</TD><TD>                        _two = t;</TD></TR><TR CLASS="c"><TD CLASS="l">65</TD><TD>                }</TD></TR><TR><TD CLASS="l">66</TD><TD>        }</TD></TR><TR><TD CLASS="l">67</TD><TD> </TD></TR><TR><TD CLASS="l">68</TD><TD>        /**</TD></TR><TR><TD CLASS="l">69</TD><TD>         * set parameters</TD></TR><TR><TD CLASS="l">70</TD><TD>         * </TD></TR><TR><TD CLASS="l">71</TD><TD>         * @param dc</TD></TR><TR><TD CLASS="l"><A NAME="45">72</A></TD><TD>         *            is the dynamic context.</TD></TR><TR><TD CLASS="l">73</TD><TD>         * @param doc</TD></TR><TR><TD CLASS="l">74</TD><TD>         *            is the document.</TD></TR><TR><TD CLASS="l">75</TD><TD>         */</TD></TR><TR CLASS="c"><TD CLASS="l">76</TD><TD>        public DefaultEvaluator(DynamicContext dc, Document doc) {</TD></TR><TR CLASS="c"><TD CLASS="l">77</TD><TD>                _dc = dc;</TD></TR><TR CLASS="c"><TD CLASS="l">78</TD><TD>                _doc = doc;</TD></TR><TR CLASS="c"><TD CLASS="l">79</TD><TD>                _err = null;</TD></TR><TR><TD CLASS="l">80</TD><TD> </TD></TR><TR><TD CLASS="l">81</TD><TD>                // initialize context item with root of document</TD></TR><TR CLASS="c"><TD CLASS="l">82</TD><TD>                ResultSequence rs = ResultSequenceFactory.create_new();</TD></TR><TR CLASS="c"><TD CLASS="l">83</TD><TD>                rs.add(new DocType(doc, _dc.node_position(doc)));</TD></TR><TR><TD CLASS="l">84</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">85</TD><TD>                _dc.set_focus(new Focus(rs));</TD></TR><TR><TD CLASS="l">86</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">87</TD><TD>                _param = null;</TD></TR><TR><TD CLASS="l">88</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">89</TD><TD>                _g_coll = new ArrayList();</TD></TR><TR CLASS="c"><TD CLASS="l">90</TD><TD>                _g_xsint = new XSInteger();</TD></TR><TR CLASS="c"><TD CLASS="l">91</TD><TD>        }</TD></TR><TR><TD CLASS="l">92</TD><TD> </TD></TR><TR><TD CLASS="l"><A NAME="a">93</A></TD><TD>        // XXX this kinda sux</TD></TR><TR><TD CLASS="l">94</TD><TD>        // the problem is that visistor interface does not throw exceptions...</TD></TR><TR><TD CLASS="l">95</TD><TD>        // so we get around it ;D</TD></TR><TR><TD CLASS="l">96</TD><TD>        private void report_error(DynamicError err) {</TD></TR><TR CLASS="z"><TD CLASS="l">97</TD><TD>                _err = err;</TD></TR><TR CLASS="z"><TD CLASS="l"><A NAME="c">98</A></TD><TD>                throw new DummyError(0);</TD></TR><TR><TD CLASS="l">99</TD><TD>        }</TD></TR><TR><TD CLASS="l">100</TD><TD> </TD></TR><TR><TD CLASS="l">101</TD><TD>        private void report_error(TypeError err) {</TD></TR><TR CLASS="z"><TD CLASS="l">102</TD><TD>                _err = err;</TD></TR><TR CLASS="z"><TD CLASS="l"><A NAME="b">103</A></TD><TD>                throw new DummyError(1);</TD></TR><TR><TD CLASS="l">104</TD><TD>        }</TD></TR><TR><TD CLASS="l">105</TD><TD> </TD></TR><TR><TD CLASS="l">106</TD><TD>        private void report_error(StaticNameError err) {</TD></TR><TR CLASS="z"><TD CLASS="l">107</TD><TD>                throw new DummyError(666);</TD></TR><TR><TD CLASS="l">108</TD><TD>        }</TD></TR><TR><TD CLASS="l">109</TD><TD> </TD></TR><TR><TD CLASS="l">110</TD><TD>        /**</TD></TR><TR><TD CLASS="l">111</TD><TD>         * evaluate the xpath node</TD></TR><TR><TD CLASS="l">112</TD><TD>         * </TD></TR><TR><TD CLASS="l">113</TD><TD>         * @param node</TD></TR><TR><TD CLASS="l">114</TD><TD>         *            is the xpath node.</TD></TR><TR><TD CLASS="l">115</TD><TD>         * @throws dynamic</TD></TR><TR><TD CLASS="l">116</TD><TD>         *             error.</TD></TR><TR><TD CLASS="l"><A NAME="3a">117</A></TD><TD>         * @return result sequence.</TD></TR><TR><TD CLASS="l">118</TD><TD>         */</TD></TR><TR><TD CLASS="l">119</TD><TD>        public ResultSequence evaluate(XPathNode node) throws DynamicError {</TD></TR><TR><TD CLASS="l">120</TD><TD>                try {</TD></TR><TR CLASS="c"><TD CLASS="l">121</TD><TD>                        return (ResultSequence) node.accept(this);</TD></TR><TR CLASS="z"><TD CLASS="l">122</TD><TD>                } catch (DummyError e) {</TD></TR><TR CLASS="z"><TD CLASS="l">123</TD><TD>                        switch (e.type()) {</TD></TR><TR><TD CLASS="l">124</TD><TD>                        case 0:</TD></TR><TR CLASS="z"><TD CLASS="l">125</TD><TD>                                throw (DynamicError) _err;</TD></TR><TR><TD CLASS="l">126</TD><TD>                        case 1:</TD></TR><TR CLASS="z"><TD CLASS="l">127</TD><TD>                                throw new DynamicError((TypeError) _err);</TD></TR><TR><TD CLASS="l">128</TD><TD> </TD></TR><TR><TD CLASS="l">129</TD><TD>                        default:</TD></TR><TR CLASS="z"><TD CLASS="l">130</TD><TD>                                assert false;</TD></TR><TR><TD CLASS="l">131</TD><TD>                        }</TD></TR><TR><TD CLASS="l">132</TD><TD>                }</TD></TR><TR><TD CLASS="l">133</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">134</TD><TD>                return null; // unreach</TD></TR><TR><TD CLASS="l">135</TD><TD> </TD></TR><TR><TD CLASS="l">136</TD><TD>        }</TD></TR><TR><TD CLASS="l"><A NAME="3f">137</A></TD><TD> </TD></TR><TR><TD CLASS="l">138</TD><TD>        // basically the comma operator...</TD></TR><TR><TD CLASS="l">139</TD><TD>        private ResultSequence do_expr(Iterator i) {</TD></TR><TR><TD CLASS="l">140</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">141</TD><TD>                ResultSequence rs = null;</TD></TR><TR><TD CLASS="l">142</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">143</TD><TD>                while (i.hasNext()) {</TD></TR><TR CLASS="c"><TD CLASS="l">144</TD><TD>                        Expr e = (Expr) i.next();</TD></TR><TR><TD CLASS="l">145</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">146</TD><TD>                        ResultSequence result = (ResultSequence) e.accept(this);</TD></TR><TR><TD CLASS="l">147</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">148</TD><TD>                        if (rs == null)</TD></TR><TR CLASS="c"><TD CLASS="l">149</TD><TD>                                rs = result;</TD></TR><TR><TD CLASS="l">150</TD><TD>                        else</TD></TR><TR CLASS="z"><TD CLASS="l">151</TD><TD>                                rs.concat(result);</TD></TR><TR><TD CLASS="l">152</TD><TD>                }</TD></TR><TR><TD CLASS="l">153</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">154</TD><TD>                if (rs == null)</TD></TR><TR CLASS="z"><TD CLASS="l">155</TD><TD>                        rs = ResultSequenceFactory.create_new();</TD></TR><TR CLASS="c"><TD CLASS="l">156</TD><TD>                return rs;</TD></TR><TR><TD CLASS="l">157</TD><TD>        }</TD></TR><TR><TD CLASS="l">158</TD><TD> </TD></TR><TR><TD CLASS="l">159</TD><TD>        /**</TD></TR><TR><TD CLASS="l">160</TD><TD>         * iterate through xpath expression</TD></TR><TR><TD CLASS="l">161</TD><TD>         * </TD></TR><TR><TD CLASS="l">162</TD><TD>         * @param xp</TD></TR><TR><TD CLASS="l"><A NAME="47">163</A></TD><TD>         *            is the xpath.</TD></TR><TR><TD CLASS="l">164</TD><TD>         * @return result sequence.</TD></TR><TR><TD CLASS="l">165</TD><TD>         */</TD></TR><TR><TD CLASS="l">166</TD><TD>        public Object visit(XPath xp) {</TD></TR><TR CLASS="c"><TD CLASS="l">167</TD><TD>                ResultSequence rs = do_expr(xp.iterator());</TD></TR><TR><TD CLASS="l">168</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">169</TD><TD>                return rs;</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>        // XXX ugly</TD></TR><TR><TD CLASS="l">173</TD><TD>        // type: 0 = for [return == &#34;correct&#34;]</TD></TR><TR><TD CLASS="l">174</TD><TD>        // 1 = for all [return false, return empty on true]</TD></TR><TR><TD CLASS="l">175</TD><TD>        // 2 = there exists [return true, return empty on false]</TD></TR><TR><TD CLASS="l"><A NAME="6">176</A></TD><TD>        private ResultSequence do_for_quantified_expr(ListIterator iter,</TD></TR><TR><TD CLASS="l">177</TD><TD>                        Expr finalexpr, int type) {</TD></TR><TR><TD CLASS="l">178</TD><TD> </TD></TR><TR><TD CLASS="l">179</TD><TD>                // we have more vars to bind...</TD></TR><TR CLASS="z"><TD CLASS="l">180</TD><TD>                if (iter.hasNext()) {</TD></TR><TR CLASS="z"><TD CLASS="l">181</TD><TD>                        boolean allocated_var = false;</TD></TR><TR CLASS="z"><TD CLASS="l">182</TD><TD>                        ResultSequence result = ResultSequenceFactory.create_new();</TD></TR><TR CLASS="z"><TD CLASS="l">183</TD><TD>                        VarExprPair ve = (VarExprPair) iter.next();</TD></TR><TR><TD CLASS="l">184</TD><TD> </TD></TR><TR><TD CLASS="l">185</TD><TD>                        // evaluate binding sequence</TD></TR><TR CLASS="z"><TD CLASS="l">186</TD><TD>                        ResultSequence rs = (ResultSequence) ve.expr().accept(this);</TD></TR><TR><TD CLASS="l">187</TD><TD> </TD></TR><TR><TD CLASS="l">188</TD><TD>                        // XXX</TD></TR><TR CLASS="z"><TD CLASS="l">189</TD><TD>                        if (rs.empty())</TD></TR><TR CLASS="z"><TD CLASS="l">190</TD><TD>                                return result;</TD></TR><TR><TD CLASS="l">191</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">192</TD><TD>                        QName varname = ve.varname();</TD></TR><TR><TD CLASS="l">193</TD><TD> </TD></TR><TR><TD CLASS="l">194</TD><TD>                        // for each item of binding sequence, bind the range</TD></TR><TR><TD CLASS="l">195</TD><TD>                        // variable and do the expression, concatenating the</TD></TR><TR><TD CLASS="l">196</TD><TD>                        // result</TD></TR><TR><TD CLASS="l">197</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">198</TD><TD>                        for (Iterator i = rs.iterator(); i.hasNext();) {</TD></TR><TR CLASS="z"><TD CLASS="l">199</TD><TD>                                AnyType item = (AnyType) i.next();</TD></TR><TR><TD CLASS="l">200</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">201</TD><TD>                                _dc.set_variable(varname, item);</TD></TR><TR CLASS="z"><TD CLASS="l">202</TD><TD>                                allocated_var = true;</TD></TR><TR><TD CLASS="l">203</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">204</TD><TD>                                _dc.new_scope();</TD></TR><TR CLASS="z"><TD CLASS="l">205</TD><TD>                                ResultSequence res = do_for_quantified_expr(iter, finalexpr,</TD></TR><TR CLASS="z"><TD CLASS="l">206</TD><TD>                                                type);</TD></TR><TR CLASS="z"><TD CLASS="l">207</TD><TD>                                _dc.destroy_scope();</TD></TR><TR CLASS="z"><TD CLASS="l">208</TD><TD>                                assert res != null;</TD></TR><TR><TD CLASS="l">209</TD><TD> </TD></TR><TR><TD CLASS="l">210</TD><TD>                                // ok here we got a &#34;real&#34; result, now figure</TD></TR><TR><TD CLASS="l">211</TD><TD>                                // out what to do with it</TD></TR><TR CLASS="z"><TD CLASS="l">212</TD><TD>                                XSBoolean effbool = null;</TD></TR><TR CLASS="z"><TD CLASS="l">213</TD><TD>                                switch (type) {</TD></TR><TR><TD CLASS="l">214</TD><TD>                                // for expression</TD></TR><TR><TD CLASS="l">215</TD><TD>                                case 0:</TD></TR><TR CLASS="z"><TD CLASS="l">216</TD><TD>                                        result.concat(res);</TD></TR><TR CLASS="z"><TD CLASS="l">217</TD><TD>                                        break;</TD></TR><TR><TD CLASS="l">218</TD><TD> </TD></TR><TR><TD CLASS="l">219</TD><TD>                                // we need the effective boolean value</TD></TR><TR><TD CLASS="l">220</TD><TD>                                // of the expression</TD></TR><TR><TD CLASS="l">221</TD><TD>                                case 1:</TD></TR><TR><TD CLASS="l">222</TD><TD>                                case 2:</TD></TR><TR CLASS="z"><TD CLASS="l">223</TD><TD>                                        effbool = (XSBoolean) FnBoolean.fn_boolean(res).first();</TD></TR><TR CLASS="z"><TD CLASS="l">224</TD><TD>                                        break;</TD></TR><TR><TD CLASS="l">225</TD><TD> </TD></TR><TR><TD CLASS="l">226</TD><TD>                                default:</TD></TR><TR CLASS="z"><TD CLASS="l">227</TD><TD>                                        assert false;</TD></TR><TR><TD CLASS="l">228</TD><TD>                                }</TD></TR><TR><TD CLASS="l">229</TD><TD> </TD></TR><TR><TD CLASS="l">230</TD><TD>                                // we got a quantified expression</TD></TR><TR CLASS="z"><TD CLASS="l">231</TD><TD>                                if (effbool != null) {</TD></TR><TR><TD CLASS="l">232</TD><TD>                                        // for all</TD></TR><TR CLASS="z"><TD CLASS="l">233</TD><TD>                                        if (type == 1) {</TD></TR><TR CLASS="z"><TD CLASS="l">234</TD><TD>                                                result = ResultSequenceFactory.create_new(effbool);</TD></TR><TR CLASS="z"><TD CLASS="l">235</TD><TD>                                                if (!effbool.value())</TD></TR><TR CLASS="z"><TD CLASS="l">236</TD><TD>                                                        break;</TD></TR><TR><TD CLASS="l">237</TD><TD>                                        }</TD></TR><TR><TD CLASS="l">238</TD><TD>                                        // there exists</TD></TR><TR CLASS="z"><TD CLASS="l">239</TD><TD>                                        else if (type == 2) {</TD></TR><TR CLASS="z"><TD CLASS="l">240</TD><TD>                                                result = ResultSequenceFactory.create_new(effbool);</TD></TR><TR CLASS="z"><TD CLASS="l">241</TD><TD>                                                if (effbool.value())</TD></TR><TR CLASS="z"><TD CLASS="l">242</TD><TD>                                                        break;</TD></TR><TR><TD CLASS="l">243</TD><TD>                                        } else</TD></TR><TR CLASS="z"><TD CLASS="l">244</TD><TD>                                                assert false;</TD></TR><TR><TD CLASS="l">245</TD><TD>                                }</TD></TR><TR><TD CLASS="l">246</TD><TD>                        }</TD></TR><TR><TD CLASS="l">247</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">248</TD><TD>                        if (allocated_var) {</TD></TR><TR CLASS="z"><TD CLASS="l">249</TD><TD>                                boolean del = _dc.del_variable(varname);</TD></TR><TR CLASS="z"><TD CLASS="l">250</TD><TD>                                assert del == true;</TD></TR><TR><TD CLASS="l">251</TD><TD>                        }</TD></TR><TR><TD CLASS="l">252</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">253</TD><TD>                        iter.previous();</TD></TR><TR CLASS="z"><TD CLASS="l">254</TD><TD>                        return result;</TD></TR><TR><TD CLASS="l">255</TD><TD>                }</TD></TR><TR><TD CLASS="l">256</TD><TD>                // we finally got to do the &#34;last expression&#34;</TD></TR><TR><TD CLASS="l">257</TD><TD>                else {</TD></TR><TR CLASS="z"><TD CLASS="l">258</TD><TD>                        return (ResultSequence) finalexpr.accept(this);</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>        }</TD></TR><TR><TD CLASS="l">262</TD><TD> </TD></TR><TR><TD CLASS="l">263</TD><TD>        /**</TD></TR><TR><TD CLASS="l">264</TD><TD>         * visit for expression</TD></TR><TR><TD CLASS="l">265</TD><TD>         * </TD></TR><TR><TD CLASS="l">266</TD><TD>         * @param fex</TD></TR><TR><TD CLASS="l">267</TD><TD>         *            is the for expression.</TD></TR><TR><TD CLASS="l"><A NAME="1d">268</A></TD><TD>         * @return a new function.</TD></TR><TR><TD CLASS="l">269</TD><TD>         */</TD></TR><TR><TD CLASS="l">270</TD><TD>        public Object visit(ForExpr fex) {</TD></TR><TR><TD CLASS="l">271</TD><TD>                // XXX</TD></TR><TR CLASS="z"><TD CLASS="l">272</TD><TD>                List pairs = new ArrayList(fex.ve_pairs());</TD></TR><TR CLASS="z"><TD CLASS="l">273</TD><TD>                return do_for_quantified_expr(pairs.listIterator(), fex.expr(), 0);</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>        /**</TD></TR><TR><TD CLASS="l">277</TD><TD>         * visit quantified expression</TD></TR><TR><TD CLASS="l">278</TD><TD>         * </TD></TR><TR><TD CLASS="l">279</TD><TD>         * @param qex</TD></TR><TR><TD CLASS="l">280</TD><TD>         *            is the quantified expression.</TD></TR><TR><TD CLASS="l"><A NAME="2d">281</A></TD><TD>         * @return a new function or null.</TD></TR><TR><TD CLASS="l">282</TD><TD>         */</TD></TR><TR><TD CLASS="l">283</TD><TD>        public Object visit(QuantifiedExpr qex) {</TD></TR><TR><TD CLASS="l">284</TD><TD>                // XXX</TD></TR><TR CLASS="z"><TD CLASS="l">285</TD><TD>                List pairs = new ArrayList(qex.ve_pairs());</TD></TR><TR><TD CLASS="l">286</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">287</TD><TD>                int hack = 0;</TD></TR><TR><TD CLASS="l">288</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">289</TD><TD>                switch (qex.type()) {</TD></TR><TR><TD CLASS="l">290</TD><TD>                case QuantifiedExpr.SOME:</TD></TR><TR CLASS="z"><TD CLASS="l">291</TD><TD>                        hack = 2;</TD></TR><TR CLASS="z"><TD CLASS="l">292</TD><TD>                        break;</TD></TR><TR><TD CLASS="l">293</TD><TD>                case QuantifiedExpr.ALL:</TD></TR><TR CLASS="z"><TD CLASS="l">294</TD><TD>                        hack = 1;</TD></TR><TR CLASS="z"><TD CLASS="l">295</TD><TD>                        break;</TD></TR><TR><TD CLASS="l">296</TD><TD> </TD></TR><TR><TD CLASS="l">297</TD><TD>                default:</TD></TR><TR CLASS="z"><TD CLASS="l">298</TD><TD>                        assert false;</TD></TR><TR CLASS="z"><TD CLASS="l">299</TD><TD>                        return null; // unreach</TD></TR><TR><TD CLASS="l">300</TD><TD>                }</TD></TR><TR CLASS="z"><TD CLASS="l">301</TD><TD>                ResultSequence rs = do_for_quantified_expr(pairs.listIterator(), qex</TD></TR><TR CLASS="z"><TD CLASS="l">302</TD><TD>                                .expr(), hack);</TD></TR><TR><TD CLASS="l">303</TD><TD> </TD></TR><TR><TD CLASS="l">304</TD><TD>                // make sure we found answer</TD></TR><TR CLASS="z"><TD CLASS="l">305</TD><TD>                if (!rs.empty())</TD></TR><TR CLASS="z"><TD CLASS="l">306</TD><TD>                        return rs;</TD></TR><TR><TD CLASS="l">307</TD><TD> </TD></TR><TR><TD CLASS="l">308</TD><TD>                // ok because all of this is a hack... here we go</TD></TR><TR CLASS="z"><TD CLASS="l">309</TD><TD>                switch (qex.type()) {</TD></TR><TR><TD CLASS="l">310</TD><TD>                case QuantifiedExpr.SOME:</TD></TR><TR CLASS="z"><TD CLASS="l">311</TD><TD>                        return ResultSequenceFactory.create_new(new XSBoolean(false));</TD></TR><TR><TD CLASS="l">312</TD><TD>                case QuantifiedExpr.ALL:</TD></TR><TR CLASS="z"><TD CLASS="l">313</TD><TD>                        return ResultSequenceFactory.create_new(new XSBoolean(true));</TD></TR><TR><TD CLASS="l">314</TD><TD>                default:</TD></TR><TR CLASS="z"><TD CLASS="l">315</TD><TD>                        assert false;</TD></TR><TR CLASS="z"><TD CLASS="l">316</TD><TD>                        return null; // unreach</TD></TR><TR><TD CLASS="l">317</TD><TD>                }</TD></TR><TR><TD CLASS="l">318</TD><TD>        }</TD></TR><TR><TD CLASS="l">319</TD><TD> </TD></TR><TR><TD CLASS="l">320</TD><TD>        /**</TD></TR><TR><TD CLASS="l">321</TD><TD>         * visit if expression</TD></TR><TR><TD CLASS="l">322</TD><TD>         * </TD></TR><TR><TD CLASS="l">323</TD><TD>         * @param ifex</TD></TR><TR><TD CLASS="l"><A NAME="20">324</A></TD><TD>         *            is the if expression.</TD></TR><TR><TD CLASS="l">325</TD><TD>         * @return a ifex.then_clause().accept(this).</TD></TR><TR><TD CLASS="l">326</TD><TD>         */</TD></TR><TR><TD CLASS="l">327</TD><TD>        public Object visit(IfExpr ifex) {</TD></TR><TR CLASS="z"><TD CLASS="l">328</TD><TD>                ResultSequence test_res = do_expr(ifex.iterator());</TD></TR><TR><TD CLASS="l">329</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">330</TD><TD>                ResultSequence bval = FnBoolean.fn_boolean(test_res);</TD></TR><TR><TD CLASS="l">331</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">332</TD><TD>                XSBoolean res = (XSBoolean) bval.first();</TD></TR><TR><TD CLASS="l">333</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">334</TD><TD>                if (res.value())</TD></TR><TR CLASS="z"><TD CLASS="l">335</TD><TD>                        return ifex.then_clause().accept(this);</TD></TR><TR><TD CLASS="l">336</TD><TD>                else</TD></TR><TR CLASS="z"><TD CLASS="l"><A NAME="7">337</A></TD><TD>                        return ifex.else_clause().accept(this);</TD></TR><TR><TD CLASS="l">338</TD><TD>        }</TD></TR><TR><TD CLASS="l">339</TD><TD> </TD></TR><TR><TD CLASS="l">340</TD><TD>        private boolean[] do_logic_exp(BinExpr e) {</TD></TR><TR CLASS="z"><TD CLASS="l">341</TD><TD>                Collection args = do_bin_args(e);</TD></TR><TR><TD CLASS="l">342</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">343</TD><TD>                Iterator argiter = args.iterator();</TD></TR><TR><TD CLASS="l">344</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">345</TD><TD>                ResultSequence one = (ResultSequence) argiter.next();</TD></TR><TR CLASS="z"><TD CLASS="l">346</TD><TD>                ResultSequence two = (ResultSequence) argiter.next();</TD></TR><TR><TD CLASS="l">347</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">348</TD><TD>                boolean oneb = ((XSBoolean) FnBoolean.fn_boolean(one).first()).value();</TD></TR><TR CLASS="z"><TD CLASS="l">349</TD><TD>                boolean twob = ((XSBoolean) FnBoolean.fn_boolean(two).first()).value();</TD></TR><TR><TD CLASS="l">350</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">351</TD><TD>                boolean res[] = { oneb, twob };</TD></TR><TR CLASS="z"><TD CLASS="l">352</TD><TD>                return res;</TD></TR><TR><TD CLASS="l">353</TD><TD>        }</TD></TR><TR><TD CLASS="l">354</TD><TD> </TD></TR><TR><TD CLASS="l">355</TD><TD>        /**</TD></TR><TR><TD CLASS="l">356</TD><TD>         * visit or expression</TD></TR><TR><TD CLASS="l">357</TD><TD>         * </TD></TR><TR><TD CLASS="l">358</TD><TD>         * @param orex</TD></TR><TR><TD CLASS="l"><A NAME="28">359</A></TD><TD>         *            is the or expression.</TD></TR><TR><TD CLASS="l">360</TD><TD>         * @return a new function</TD></TR><TR><TD CLASS="l">361</TD><TD>         */</TD></TR><TR><TD CLASS="l">362</TD><TD>        public Object visit(OrExpr orex) {</TD></TR><TR CLASS="z"><TD CLASS="l">363</TD><TD>                boolean res[] = do_logic_exp(orex);</TD></TR><TR><TD CLASS="l">364</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">365</TD><TD>                return ResultSequenceFactory</TD></TR><TR CLASS="z"><TD CLASS="l">366</TD><TD>                                .create_new(new XSBoolean(res[0] || res[1]));</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>        /**</TD></TR><TR><TD CLASS="l">370</TD><TD>         * visit and expression</TD></TR><TR><TD CLASS="l">371</TD><TD>         * </TD></TR><TR><TD CLASS="l">372</TD><TD>         * @param andex</TD></TR><TR><TD CLASS="l"><A NAME="e">373</A></TD><TD>         *            is the and expression.</TD></TR><TR><TD CLASS="l">374</TD><TD>         * @return a new function</TD></TR><TR><TD CLASS="l">375</TD><TD>         */</TD></TR><TR><TD CLASS="l">376</TD><TD>        public Object visit(AndExpr andex) {</TD></TR><TR CLASS="z"><TD CLASS="l">377</TD><TD>                boolean res[] = do_logic_exp(andex);</TD></TR><TR><TD CLASS="l">378</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">379</TD><TD>                return ResultSequenceFactory</TD></TR><TR CLASS="z"><TD CLASS="l"><A NAME="8">380</A></TD><TD>                                .create_new(new XSBoolean(res[0] &amp;&amp; res[1]));</TD></TR><TR><TD CLASS="l">381</TD><TD>        }</TD></TR><TR><TD CLASS="l">382</TD><TD> </TD></TR><TR><TD CLASS="l">383</TD><TD>        private ResultSequence node_cmp(int type, Collection args) {</TD></TR><TR CLASS="z"><TD CLASS="l">384</TD><TD>                ResultSequence rs = ResultSequenceFactory.create_new();</TD></TR><TR><TD CLASS="l">385</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">386</TD><TD>                assert args.size() == 2;</TD></TR><TR><TD CLASS="l">387</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">388</TD><TD>                Iterator argsiter = args.iterator();</TD></TR><TR><TD CLASS="l">389</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">390</TD><TD>                ResultSequence one = (ResultSequence) argsiter.next();</TD></TR><TR CLASS="z"><TD CLASS="l">391</TD><TD>                ResultSequence two = (ResultSequence) argsiter.next();</TD></TR><TR><TD CLASS="l">392</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">393</TD><TD>                int size_one = one.size();</TD></TR><TR CLASS="z"><TD CLASS="l">394</TD><TD>                int size_two = two.size();</TD></TR><TR><TD CLASS="l">395</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">396</TD><TD>                if (size_one &gt; 1 || size_two &gt; 1)</TD></TR><TR CLASS="z"><TD CLASS="l">397</TD><TD>                        report_error(TypeError.invalid_type(null));</TD></TR><TR><TD CLASS="l">398</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">399</TD><TD>                if (size_one == 0 || size_two == 0)</TD></TR><TR CLASS="z"><TD CLASS="l">400</TD><TD>                        return rs;</TD></TR><TR><TD CLASS="l">401</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">402</TD><TD>                AnyType at_one = one.first();</TD></TR><TR CLASS="z"><TD CLASS="l">403</TD><TD>                AnyType at_two = two.first();</TD></TR><TR><TD CLASS="l">404</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">405</TD><TD>                if (!(at_one instanceof NodeType) || !(at_two instanceof NodeType))</TD></TR><TR CLASS="z"><TD CLASS="l">406</TD><TD>                        report_error(TypeError.invalid_type(null));</TD></TR><TR><TD CLASS="l">407</TD><TD> </TD></TR><TR><TD CLASS="l">408</TD><TD>                // ok we got the args finally</TD></TR><TR CLASS="z"><TD CLASS="l">409</TD><TD>                NodeType nt_one = (NodeType) at_one;</TD></TR><TR CLASS="z"><TD CLASS="l">410</TD><TD>                NodeType nt_two = (NodeType) at_two;</TD></TR><TR><TD CLASS="l">411</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">412</TD><TD>                boolean answer = false; // we are pessimistic as usual</TD></TR><TR><TD CLASS="l">413</TD><TD> </TD></TR><TR><TD CLASS="l">414</TD><TD>                // do comparison</TD></TR><TR CLASS="z"><TD CLASS="l">415</TD><TD>                switch (type) {</TD></TR><TR><TD CLASS="l">416</TD><TD>                case CmpExpr.IS:</TD></TR><TR CLASS="z"><TD CLASS="l">417</TD><TD>                        answer = nt_one.node_value() == nt_two.node_value();</TD></TR><TR CLASS="z"><TD CLASS="l">418</TD><TD>                        break;</TD></TR><TR><TD CLASS="l">419</TD><TD> </TD></TR><TR><TD CLASS="l">420</TD><TD>                case CmpExpr.LESS_LESS:</TD></TR><TR CLASS="z"><TD CLASS="l">421</TD><TD>                        answer = nt_one.before(nt_two);</TD></TR><TR CLASS="z"><TD CLASS="l">422</TD><TD>                        break;</TD></TR><TR><TD CLASS="l">423</TD><TD> </TD></TR><TR><TD CLASS="l">424</TD><TD>                case CmpExpr.GREATER_GREATER:</TD></TR><TR CLASS="z"><TD CLASS="l">425</TD><TD>                        answer = nt_one.after(nt_two);</TD></TR><TR CLASS="z"><TD CLASS="l">426</TD><TD>                        break;</TD></TR><TR><TD CLASS="l">427</TD><TD> </TD></TR><TR><TD CLASS="l">428</TD><TD>                default:</TD></TR><TR CLASS="z"><TD CLASS="l">429</TD><TD>                        assert false;</TD></TR><TR><TD CLASS="l">430</TD><TD>                }</TD></TR><TR><TD CLASS="l">431</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">432</TD><TD>                rs.add(new XSBoolean(answer));</TD></TR><TR CLASS="z"><TD CLASS="l">433</TD><TD>                return rs;</TD></TR><TR><TD CLASS="l">434</TD><TD>        }</TD></TR><TR><TD CLASS="l">435</TD><TD> </TD></TR><TR><TD CLASS="l">436</TD><TD>        /**</TD></TR><TR><TD CLASS="l">437</TD><TD>         * visit compare expression</TD></TR><TR><TD CLASS="l">438</TD><TD>         * </TD></TR><TR><TD CLASS="l">439</TD><TD>         * @param cmpex</TD></TR><TR><TD CLASS="l">440</TD><TD>         *            is the compare expression.</TD></TR><TR><TD CLASS="l"><A NAME="13">441</A></TD><TD>         * @return a new function or null</TD></TR><TR><TD CLASS="l">442</TD><TD>         */</TD></TR><TR><TD CLASS="l">443</TD><TD>        public Object visit(CmpExpr cmpex) {</TD></TR><TR><TD CLASS="l">444</TD><TD>                try {</TD></TR><TR CLASS="z"><TD CLASS="l">445</TD><TD>                        Collection args = do_bin_args(cmpex);</TD></TR><TR><TD CLASS="l">446</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">447</TD><TD>                        switch (cmpex.type()) {</TD></TR><TR><TD CLASS="l">448</TD><TD>                        case CmpExpr.EQ:</TD></TR><TR CLASS="z"><TD CLASS="l">449</TD><TD>                                return FsEq.fs_eq_value(args);</TD></TR><TR><TD CLASS="l">450</TD><TD> </TD></TR><TR><TD CLASS="l">451</TD><TD>                        case CmpExpr.NE:</TD></TR><TR CLASS="z"><TD CLASS="l">452</TD><TD>                                return FsNe.fs_ne_value(args);</TD></TR><TR><TD CLASS="l">453</TD><TD> </TD></TR><TR><TD CLASS="l">454</TD><TD>                        case CmpExpr.GT:</TD></TR><TR CLASS="z"><TD CLASS="l">455</TD><TD>                                return FsGt.fs_gt_value(args);</TD></TR><TR><TD CLASS="l">456</TD><TD> </TD></TR><TR><TD CLASS="l">457</TD><TD>                        case CmpExpr.LT:</TD></TR><TR CLASS="z"><TD CLASS="l">458</TD><TD>                                return FsLt.fs_lt_value(args);</TD></TR><TR><TD CLASS="l">459</TD><TD> </TD></TR><TR><TD CLASS="l">460</TD><TD>                        case CmpExpr.GE:</TD></TR><TR CLASS="z"><TD CLASS="l">461</TD><TD>                                return FsGe.fs_ge_value(args);</TD></TR><TR><TD CLASS="l">462</TD><TD> </TD></TR><TR><TD CLASS="l">463</TD><TD>                        case CmpExpr.LE:</TD></TR><TR CLASS="z"><TD CLASS="l">464</TD><TD>                                return FsLe.fs_le_value(args);</TD></TR><TR><TD CLASS="l">465</TD><TD> </TD></TR><TR><TD CLASS="l">466</TD><TD>                        case CmpExpr.EQUALS:</TD></TR><TR CLASS="z"><TD CLASS="l">467</TD><TD>                                return FsEq.fs_eq_general(args);</TD></TR><TR><TD CLASS="l">468</TD><TD> </TD></TR><TR><TD CLASS="l">469</TD><TD>                        case CmpExpr.NOTEQUALS:</TD></TR><TR CLASS="z"><TD CLASS="l">470</TD><TD>                                return FsNe.fs_ne_general(args);</TD></TR><TR><TD CLASS="l">471</TD><TD> </TD></TR><TR><TD CLASS="l">472</TD><TD>                        case CmpExpr.GREATER:</TD></TR><TR CLASS="z"><TD CLASS="l">473</TD><TD>                                return FsGt.fs_gt_general(args);</TD></TR><TR><TD CLASS="l">474</TD><TD> </TD></TR><TR><TD CLASS="l">475</TD><TD>                        case CmpExpr.LESSTHAN:</TD></TR><TR CLASS="z"><TD CLASS="l">476</TD><TD>                                return FsLt.fs_lt_general(args);</TD></TR><TR><TD CLASS="l">477</TD><TD> </TD></TR><TR><TD CLASS="l">478</TD><TD>                        case CmpExpr.GREATEREQUAL:</TD></TR><TR CLASS="z"><TD CLASS="l">479</TD><TD>                                return FsGe.fs_ge_general(args);</TD></TR><TR><TD CLASS="l">480</TD><TD> </TD></TR><TR><TD CLASS="l">481</TD><TD>                        case CmpExpr.LESSEQUAL:</TD></TR><TR CLASS="z"><TD CLASS="l">482</TD><TD>                                return FsLe.fs_le_general(args);</TD></TR><TR><TD CLASS="l">483</TD><TD> </TD></TR><TR><TD CLASS="l">484</TD><TD>                        case CmpExpr.IS:</TD></TR><TR><TD CLASS="l">485</TD><TD>                        case CmpExpr.LESS_LESS:</TD></TR><TR><TD CLASS="l">486</TD><TD>                        case CmpExpr.GREATER_GREATER:</TD></TR><TR CLASS="z"><TD CLASS="l">487</TD><TD>                                return node_cmp(cmpex.type(), args);</TD></TR><TR><TD CLASS="l">488</TD><TD> </TD></TR><TR><TD CLASS="l">489</TD><TD>                        default:</TD></TR><TR CLASS="z"><TD CLASS="l">490</TD><TD>                                assert false;</TD></TR><TR><TD CLASS="l">491</TD><TD>                        }</TD></TR><TR CLASS="z"><TD CLASS="l">492</TD><TD>                } catch (DynamicError err) {</TD></TR><TR CLASS="z"><TD CLASS="l">493</TD><TD>                        report_error(err);</TD></TR><TR><TD CLASS="l">494</TD><TD>                }</TD></TR><TR CLASS="z"><TD CLASS="l">495</TD><TD>                return null; // unreach</TD></TR><TR><TD CLASS="l">496</TD><TD>        }</TD></TR><TR><TD CLASS="l">497</TD><TD> </TD></TR><TR><TD CLASS="l">498</TD><TD>        /**</TD></TR><TR><TD CLASS="l">499</TD><TD>         * visit range expression</TD></TR><TR><TD CLASS="l">500</TD><TD>         * </TD></TR><TR><TD CLASS="l">501</TD><TD>         * @param rex</TD></TR><TR><TD CLASS="l"><A NAME="2e">502</A></TD><TD>         *            is the range expression.</TD></TR><TR><TD CLASS="l">503</TD><TD>         * @return a new function</TD></TR><TR><TD CLASS="l">504</TD><TD>         */</TD></TR><TR><TD CLASS="l">505</TD><TD>        public Object visit(RangeExpr rex) {</TD></TR><TR CLASS="z"><TD CLASS="l">506</TD><TD>                ResultSequence one = (ResultSequence) rex.left().accept(this);</TD></TR><TR CLASS="z"><TD CLASS="l">507</TD><TD>                ResultSequence two = (ResultSequence) rex.right().accept(this);</TD></TR><TR><TD CLASS="l">508</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">509</TD><TD>                Collection args = new ArrayList();</TD></TR><TR CLASS="z"><TD CLASS="l">510</TD><TD>                args.add(one);</TD></TR><TR CLASS="z"><TD CLASS="l">511</TD><TD>                args.add(two);</TD></TR><TR><TD CLASS="l">512</TD><TD> </TD></TR><TR><TD CLASS="l">513</TD><TD>                try {</TD></TR><TR CLASS="z"><TD CLASS="l">514</TD><TD>                        return OpTo.op_to(args);</TD></TR><TR CLASS="z"><TD CLASS="l">515</TD><TD>                } catch (DynamicError err) {</TD></TR><TR CLASS="z"><TD CLASS="l">516</TD><TD>                        report_error(err);</TD></TR><TR CLASS="z"><TD CLASS="l">517</TD><TD>                        return null; // unreach</TD></TR><TR><TD CLASS="l">518</TD><TD>                }</TD></TR><TR><TD CLASS="l">519</TD><TD>        }</TD></TR><TR><TD CLASS="l">520</TD><TD> </TD></TR><TR><TD CLASS="l">521</TD><TD>        /**</TD></TR><TR><TD CLASS="l">522</TD><TD>         * visit and expression</TD></TR><TR><TD CLASS="l">523</TD><TD>         * </TD></TR><TR><TD CLASS="l">524</TD><TD>         * @param addex</TD></TR><TR><TD CLASS="l">525</TD><TD>         *            is the and expression.</TD></TR><TR><TD CLASS="l"><A NAME="d">526</A></TD><TD>         * @return a new function</TD></TR><TR><TD CLASS="l">527</TD><TD>         */</TD></TR><TR><TD CLASS="l">528</TD><TD>        public Object visit(AddExpr addex) {</TD></TR><TR><TD CLASS="l">529</TD><TD>                try {</TD></TR><TR CLASS="z"><TD CLASS="l">530</TD><TD>                        Collection args = do_bin_args(addex);</TD></TR><TR CLASS="z"><TD CLASS="l">531</TD><TD>                        return FsPlus.fs_plus(args);</TD></TR><TR CLASS="z"><TD CLASS="l">532</TD><TD>                } catch (DynamicError err) {</TD></TR><TR CLASS="z"><TD CLASS="l">533</TD><TD>                        report_error(err);</TD></TR><TR CLASS="z"><TD CLASS="l">534</TD><TD>                        return null; // unreach</TD></TR><TR><TD CLASS="l">535</TD><TD>                }</TD></TR><TR><TD CLASS="l">536</TD><TD>        }</TD></TR><TR><TD CLASS="l">537</TD><TD> </TD></TR><TR><TD CLASS="l">538</TD><TD>        /**</TD></TR><TR><TD CLASS="l">539</TD><TD>         * visit sub expression</TD></TR><TR><TD CLASS="l">540</TD><TD>         * </TD></TR><TR><TD CLASS="l">541</TD><TD>         * @param subex</TD></TR><TR><TD CLASS="l">542</TD><TD>         *            is the sub expression.</TD></TR><TR><TD CLASS="l"><A NAME="35">543</A></TD><TD>         * @return a new function</TD></TR><TR><TD CLASS="l">544</TD><TD>         */</TD></TR><TR><TD CLASS="l">545</TD><TD>        public Object visit(SubExpr subex) {</TD></TR><TR><TD CLASS="l">546</TD><TD>                try {</TD></TR><TR CLASS="z"><TD CLASS="l">547</TD><TD>                        Collection args = do_bin_args(subex);</TD></TR><TR CLASS="z"><TD CLASS="l">548</TD><TD>                        return FsMinus.fs_minus(args);</TD></TR><TR CLASS="z"><TD CLASS="l">549</TD><TD>                } catch (DynamicError err) {</TD></TR><TR CLASS="z"><TD CLASS="l">550</TD><TD>                        report_error(err);</TD></TR><TR CLASS="z"><TD CLASS="l">551</TD><TD>                        return null; // unreach</TD></TR><TR><TD CLASS="l">552</TD><TD>                }</TD></TR><TR><TD CLASS="l">553</TD><TD>        }</TD></TR><TR><TD CLASS="l">554</TD><TD> </TD></TR><TR><TD CLASS="l">555</TD><TD>        /**</TD></TR><TR><TD CLASS="l">556</TD><TD>         * visit multiply expression</TD></TR><TR><TD CLASS="l">557</TD><TD>         * </TD></TR><TR><TD CLASS="l">558</TD><TD>         * @param mulex</TD></TR><TR><TD CLASS="l">559</TD><TD>         *            is the mul expression.</TD></TR><TR><TD CLASS="l"><A NAME="27">560</A></TD><TD>         * @return a new function</TD></TR><TR><TD CLASS="l">561</TD><TD>         */</TD></TR><TR><TD CLASS="l">562</TD><TD>        public Object visit(MulExpr mulex) {</TD></TR><TR><TD CLASS="l">563</TD><TD>                try {</TD></TR><TR CLASS="z"><TD CLASS="l">564</TD><TD>                        Collection args = do_bin_args(mulex);</TD></TR><TR CLASS="z"><TD CLASS="l">565</TD><TD>                        return FsTimes.fs_times(args);</TD></TR><TR CLASS="z"><TD CLASS="l">566</TD><TD>                } catch (DynamicError err) {</TD></TR><TR CLASS="z"><TD CLASS="l">567</TD><TD>                        report_error(err);</TD></TR><TR CLASS="z"><TD CLASS="l">568</TD><TD>                        return null; // unreach</TD></TR><TR><TD CLASS="l">569</TD><TD>                }</TD></TR><TR><TD CLASS="l">570</TD><TD>        }</TD></TR><TR><TD CLASS="l">571</TD><TD> </TD></TR><TR><TD CLASS="l">572</TD><TD>        /**</TD></TR><TR><TD CLASS="l">573</TD><TD>         * visit division expression</TD></TR><TR><TD CLASS="l">574</TD><TD>         * </TD></TR><TR><TD CLASS="l">575</TD><TD>         * @param mulex</TD></TR><TR><TD CLASS="l">576</TD><TD>         *            is the division expression.</TD></TR><TR><TD CLASS="l"><A NAME="17">577</A></TD><TD>         * @return a new function</TD></TR><TR><TD CLASS="l">578</TD><TD>         */</TD></TR><TR><TD CLASS="l">579</TD><TD>        public Object visit(DivExpr mulex) {</TD></TR><TR><TD CLASS="l">580</TD><TD>                try {</TD></TR><TR CLASS="z"><TD CLASS="l">581</TD><TD>                        Collection args = do_bin_args(mulex);</TD></TR><TR CLASS="z"><TD CLASS="l">582</TD><TD>                        return FsDiv.fs_div(args);</TD></TR><TR CLASS="z"><TD CLASS="l">583</TD><TD>                } catch (DynamicError err) {</TD></TR><TR CLASS="z"><TD CLASS="l">584</TD><TD>                        report_error(err);</TD></TR><TR CLASS="z"><TD CLASS="l">585</TD><TD>                        return null; // unreach</TD></TR><TR><TD CLASS="l">586</TD><TD>                }</TD></TR><TR><TD CLASS="l">587</TD><TD>        }</TD></TR><TR><TD CLASS="l">588</TD><TD> </TD></TR><TR><TD CLASS="l">589</TD><TD>        /**</TD></TR><TR><TD CLASS="l">590</TD><TD>         * visit integer division expression</TD></TR><TR><TD CLASS="l">591</TD><TD>         * </TD></TR><TR><TD CLASS="l">592</TD><TD>         * @param mulex</TD></TR><TR><TD CLASS="l">593</TD><TD>         *            is the integer division expression.</TD></TR><TR><TD CLASS="l"><A NAME="1f">594</A></TD><TD>         * @return a new function</TD></TR><TR><TD CLASS="l">595</TD><TD>         */</TD></TR><TR><TD CLASS="l">596</TD><TD>        public Object visit(IDivExpr mulex) {</TD></TR><TR><TD CLASS="l">597</TD><TD>                try {</TD></TR><TR CLASS="z"><TD CLASS="l">598</TD><TD>                        Collection args = do_bin_args(mulex);</TD></TR><TR CLASS="z"><TD CLASS="l">599</TD><TD>                        return FsIDiv.fs_idiv(args);</TD></TR><TR CLASS="z"><TD CLASS="l">600</TD><TD>                } catch (DynamicError err) {</TD></TR><TR CLASS="z"><TD CLASS="l">601</TD><TD>                        report_error(err);</TD></TR><TR CLASS="z"><TD CLASS="l">602</TD><TD>                        return null; // unreach</TD></TR><TR><TD CLASS="l">603</TD><TD>                }</TD></TR><TR><TD CLASS="l">604</TD><TD>        }</TD></TR><TR><TD CLASS="l">605</TD><TD> </TD></TR><TR><TD CLASS="l">606</TD><TD>        /**</TD></TR><TR><TD CLASS="l">607</TD><TD>         * visit modular expression</TD></TR><TR><TD CLASS="l">608</TD><TD>         * </TD></TR><TR><TD CLASS="l">609</TD><TD>         * @param mulex</TD></TR><TR><TD CLASS="l">610</TD><TD>         *            is the modular expression.</TD></TR><TR><TD CLASS="l"><A NAME="26">611</A></TD><TD>         * @return a new function</TD></TR><TR><TD CLASS="l">612</TD><TD>         */</TD></TR><TR><TD CLASS="l">613</TD><TD>        public Object visit(ModExpr mulex) {</TD></TR><TR><TD CLASS="l">614</TD><TD>                try {</TD></TR><TR CLASS="z"><TD CLASS="l">615</TD><TD>                        Collection args = do_bin_args(mulex);</TD></TR><TR CLASS="z"><TD CLASS="l">616</TD><TD>                        return FsMod.fs_mod(args);</TD></TR><TR CLASS="z"><TD CLASS="l">617</TD><TD>                } catch (DynamicError err) {</TD></TR><TR CLASS="z"><TD CLASS="l">618</TD><TD>                        report_error(err);</TD></TR><TR CLASS="z"><TD CLASS="l">619</TD><TD>                        return null; // unreach</TD></TR><TR><TD CLASS="l"><A NAME="5">620</A></TD><TD>                }</TD></TR><TR><TD CLASS="l">621</TD><TD>        }</TD></TR><TR><TD CLASS="l">622</TD><TD> </TD></TR><TR><TD CLASS="l">623</TD><TD>        private Collection do_bin_args(BinExpr e) {</TD></TR><TR CLASS="z"><TD CLASS="l">624</TD><TD>                ResultSequence one = (ResultSequence) e.left().accept(this);</TD></TR><TR CLASS="z"><TD CLASS="l">625</TD><TD>                ResultSequence two = (ResultSequence) e.right().accept(this);</TD></TR><TR><TD CLASS="l">626</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">627</TD><TD>                Collection args = new ArrayList();</TD></TR><TR CLASS="z"><TD CLASS="l">628</TD><TD>                args.add(one);</TD></TR><TR CLASS="z"><TD CLASS="l">629</TD><TD>                args.add(two);</TD></TR><TR><TD CLASS="l">630</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">631</TD><TD>                return args;</TD></TR><TR><TD CLASS="l">632</TD><TD>        }</TD></TR><TR><TD CLASS="l">633</TD><TD> </TD></TR><TR><TD CLASS="l">634</TD><TD>        /**</TD></TR><TR><TD CLASS="l">635</TD><TD>         * visit union expression</TD></TR><TR><TD CLASS="l">636</TD><TD>         * </TD></TR><TR><TD CLASS="l">637</TD><TD>         * @param unex</TD></TR><TR><TD CLASS="l">638</TD><TD>         *            is the union expression.</TD></TR><TR><TD CLASS="l"><A NAME="38">639</A></TD><TD>         * @return a new function</TD></TR><TR><TD CLASS="l">640</TD><TD>         */</TD></TR><TR><TD CLASS="l">641</TD><TD>        public Object visit(UnionExpr unex) {</TD></TR><TR><TD CLASS="l">642</TD><TD>                try {</TD></TR><TR CLASS="z"><TD CLASS="l">643</TD><TD>                        Collection args = do_bin_args(unex);</TD></TR><TR CLASS="z"><TD CLASS="l">644</TD><TD>                        return OpUnion.op_union(args);</TD></TR><TR CLASS="z"><TD CLASS="l">645</TD><TD>                } catch (DynamicError err) {</TD></TR><TR CLASS="z"><TD CLASS="l">646</TD><TD>                        report_error(err);</TD></TR><TR CLASS="z"><TD CLASS="l">647</TD><TD>                        return null; // unreach</TD></TR><TR><TD CLASS="l">648</TD><TD>                }</TD></TR><TR><TD CLASS="l">649</TD><TD>        }</TD></TR><TR><TD CLASS="l">650</TD><TD> </TD></TR><TR><TD CLASS="l">651</TD><TD>        /**</TD></TR><TR><TD CLASS="l">652</TD><TD>         * visit pipe expression</TD></TR><TR><TD CLASS="l">653</TD><TD>         * </TD></TR><TR><TD CLASS="l">654</TD><TD>         * @param pipex</TD></TR><TR><TD CLASS="l">655</TD><TD>         *            is the pipe expression.</TD></TR><TR><TD CLASS="l">656</TD><TD>         * @return a new function</TD></TR><TR><TD CLASS="l"><A NAME="2b">657</A></TD><TD>         */</TD></TR><TR><TD CLASS="l">658</TD><TD>        // XXX same as above</TD></TR><TR><TD CLASS="l">659</TD><TD>        public Object visit(PipeExpr pipex) {</TD></TR><TR><TD CLASS="l">660</TD><TD>                try {</TD></TR><TR CLASS="z"><TD CLASS="l">661</TD><TD>                        Collection args = do_bin_args(pipex);</TD></TR><TR CLASS="z"><TD CLASS="l">662</TD><TD>                        return OpUnion.op_union(args);</TD></TR><TR CLASS="z"><TD CLASS="l">663</TD><TD>                } catch (DynamicError err) {</TD></TR><TR CLASS="z"><TD CLASS="l">664</TD><TD>                        report_error(err);</TD></TR><TR CLASS="z"><TD CLASS="l">665</TD><TD>                        return null; // unreach</TD></TR><TR><TD CLASS="l">666</TD><TD>                }</TD></TR><TR><TD CLASS="l">667</TD><TD>        }</TD></TR><TR><TD CLASS="l">668</TD><TD> </TD></TR><TR><TD CLASS="l">669</TD><TD>        /**</TD></TR><TR><TD CLASS="l">670</TD><TD>         * visit intersect expression</TD></TR><TR><TD CLASS="l">671</TD><TD>         * </TD></TR><TR><TD CLASS="l">672</TD><TD>         * @param iexpr</TD></TR><TR><TD CLASS="l">673</TD><TD>         *            is the intersect expression.</TD></TR><TR><TD CLASS="l"><A NAME="23">674</A></TD><TD>         * @return a new function</TD></TR><TR><TD CLASS="l">675</TD><TD>         */</TD></TR><TR><TD CLASS="l">676</TD><TD>        public Object visit(IntersectExpr iexpr) {</TD></TR><TR><TD CLASS="l">677</TD><TD>                try {</TD></TR><TR CLASS="z"><TD CLASS="l">678</TD><TD>                        Collection args = do_bin_args(iexpr);</TD></TR><TR CLASS="z"><TD CLASS="l">679</TD><TD>                        return OpIntersect.op_intersect(args);</TD></TR><TR CLASS="z"><TD CLASS="l">680</TD><TD>                } catch (DynamicError err) {</TD></TR><TR CLASS="z"><TD CLASS="l">681</TD><TD>                        report_error(err);</TD></TR><TR CLASS="z"><TD CLASS="l">682</TD><TD>                        return null; // unreach</TD></TR><TR><TD CLASS="l">683</TD><TD>                }</TD></TR><TR><TD CLASS="l">684</TD><TD>        }</TD></TR><TR><TD CLASS="l">685</TD><TD> </TD></TR><TR><TD CLASS="l">686</TD><TD>        /**</TD></TR><TR><TD CLASS="l">687</TD><TD>         * visit except expression</TD></TR><TR><TD CLASS="l">688</TD><TD>         * </TD></TR><TR><TD CLASS="l">689</TD><TD>         * @param eexpr</TD></TR><TR><TD CLASS="l">690</TD><TD>         *            is the except expression.</TD></TR><TR><TD CLASS="l"><A NAME="1b">691</A></TD><TD>         * @return a new function</TD></TR><TR><TD CLASS="l">692</TD><TD>         */</TD></TR><TR><TD CLASS="l">693</TD><TD>        public Object visit(ExceptExpr eexpr) {</TD></TR><TR><TD CLASS="l">694</TD><TD>                try {</TD></TR><TR CLASS="z"><TD CLASS="l">695</TD><TD>                        Collection args = do_bin_args(eexpr);</TD></TR><TR CLASS="z"><TD CLASS="l">696</TD><TD>                        return OpExcept.op_except(args);</TD></TR><TR CLASS="z"><TD CLASS="l">697</TD><TD>                } catch (DynamicError err) {</TD></TR><TR CLASS="z"><TD CLASS="l">698</TD><TD>                        report_error(err);</TD></TR><TR CLASS="z"><TD CLASS="l">699</TD><TD>                        return null; // unreach</TD></TR><TR><TD CLASS="l">700</TD><TD>                }</TD></TR><TR><TD CLASS="l">701</TD><TD>        }</TD></TR><TR><TD CLASS="l">702</TD><TD> </TD></TR><TR><TD CLASS="l">703</TD><TD>        /**</TD></TR><TR><TD CLASS="l">704</TD><TD>         * visit instance of expression</TD></TR><TR><TD CLASS="l">705</TD><TD>         * </TD></TR><TR><TD CLASS="l">706</TD><TD>         * @param ioexp</TD></TR><TR><TD CLASS="l">707</TD><TD>         *            is the instance of expression.</TD></TR><TR><TD CLASS="l">708</TD><TD>         * @return a new function</TD></TR><TR><TD CLASS="l">709</TD><TD>         */</TD></TR><TR><TD CLASS="l"><A NAME="21">710</A></TD><TD>        public Object visit(InstOfExpr ioexp) {</TD></TR><TR><TD CLASS="l">711</TD><TD>                // XXX hack</TD></TR><TR><TD CLASS="l">712</TD><TD> </TD></TR><TR><TD CLASS="l">713</TD><TD>                // get the value</TD></TR><TR CLASS="z"><TD CLASS="l">714</TD><TD>                ResultSequence rs = (ResultSequence) ioexp.left().accept(this);</TD></TR><TR><TD CLASS="l">715</TD><TD> </TD></TR><TR><TD CLASS="l">716</TD><TD>                // get the sequence type</TD></TR><TR CLASS="z"><TD CLASS="l">717</TD><TD>                SequenceType seqt = (SequenceType) ioexp.right();</TD></TR><TR><TD CLASS="l">718</TD><TD>                // lamely &#34;convert&#34; it</TD></TR><TR CLASS="z"><TD CLASS="l">719</TD><TD>                SeqType st = new SeqType(seqt, _dc);</TD></TR><TR><TD CLASS="l">720</TD><TD> </TD></TR><TR><TD CLASS="l">721</TD><TD>                // see if they match</TD></TR><TR><TD CLASS="l">722</TD><TD>                try {</TD></TR><TR CLASS="z"><TD CLASS="l">723</TD><TD>                        st.match(rs);</TD></TR><TR CLASS="z"><TD CLASS="l">724</TD><TD>                } catch (DynamicError err) {</TD></TR><TR CLASS="z"><TD CLASS="l">725</TD><TD>                        return ResultSequenceFactory.create_new(new XSBoolean(false));</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>                return ResultSequenceFactory.create_new(new XSBoolean(true));</TD></TR><TR><TD CLASS="l">729</TD><TD>        }</TD></TR><TR><TD CLASS="l">730</TD><TD> </TD></TR><TR><TD CLASS="l">731</TD><TD>        /**</TD></TR><TR><TD CLASS="l">732</TD><TD>         * visit treat-as expression</TD></TR><TR><TD CLASS="l">733</TD><TD>         * </TD></TR><TR><TD CLASS="l">734</TD><TD>         * @param taexp</TD></TR><TR><TD CLASS="l">735</TD><TD>         *            is the treat-as expression.</TD></TR><TR><TD CLASS="l"><A NAME="37">736</A></TD><TD>         * @return a new function</TD></TR><TR><TD CLASS="l">737</TD><TD>         */</TD></TR><TR><TD CLASS="l">738</TD><TD>        public Object visit(TreatAsExpr taexp) {</TD></TR><TR><TD CLASS="l">739</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">740</TD><TD>                ResultSequence rs = (ResultSequence) taexp.left().accept(this);</TD></TR><TR><TD CLASS="l">741</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">742</TD><TD>                SequenceType seqt = (SequenceType) taexp.right();</TD></TR><TR CLASS="z"><TD CLASS="l">743</TD><TD>                SeqType st = new SeqType(seqt, _dc);</TD></TR><TR><TD CLASS="l">744</TD><TD> </TD></TR><TR><TD CLASS="l">745</TD><TD>                try {</TD></TR><TR CLASS="z"><TD CLASS="l">746</TD><TD>                        st.match(rs);</TD></TR><TR CLASS="z"><TD CLASS="l">747</TD><TD>                } catch (DynamicError err) {</TD></TR><TR CLASS="z"><TD CLASS="l">748</TD><TD>                        report_error(err);</TD></TR><TR><TD CLASS="l">749</TD><TD>                }</TD></TR><TR><TD CLASS="l">750</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">751</TD><TD>                return rs;</TD></TR><TR><TD CLASS="l">752</TD><TD>        }</TD></TR><TR><TD CLASS="l">753</TD><TD> </TD></TR><TR><TD CLASS="l">754</TD><TD>        /**</TD></TR><TR><TD CLASS="l">755</TD><TD>         * visit castable expression</TD></TR><TR><TD CLASS="l">756</TD><TD>         * </TD></TR><TR><TD CLASS="l">757</TD><TD>         * @param cexp</TD></TR><TR><TD CLASS="l">758</TD><TD>         *            is the castable expression.</TD></TR><TR><TD CLASS="l">759</TD><TD>         * @return a new function</TD></TR><TR><TD CLASS="l">760</TD><TD>         */</TD></TR><TR><TD CLASS="l">761</TD><TD>        public Object visit(CastableExpr cexp) {</TD></TR><TR><TD CLASS="l"><A NAME="12">762</A></TD><TD> </TD></TR><TR><TD CLASS="l">763</TD><TD>                // ResultSequence rs = (ResultSequence) cexp.left().accept(this);</TD></TR><TR><TD CLASS="l">764</TD><TD> </TD></TR><TR><TD CLASS="l">765</TD><TD>                // XXX lame</TD></TR><TR CLASS="z"><TD CLASS="l">766</TD><TD>                boolean castable = false;</TD></TR><TR><TD CLASS="l">767</TD><TD>                try {</TD></TR><TR CLASS="z"><TD CLASS="l">768</TD><TD>                        CastExpr ce = new CastExpr((Expr) cexp.left(), (SingleType) cexp</TD></TR><TR CLASS="z"><TD CLASS="l">769</TD><TD>                                        .right());</TD></TR><TR><TD CLASS="l">770</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">771</TD><TD>                        visit(ce);</TD></TR><TR CLASS="z"><TD CLASS="l">772</TD><TD>                        castable = true;</TD></TR><TR CLASS="z"><TD CLASS="l">773</TD><TD>                } catch (Throwable t) {</TD></TR><TR CLASS="z"><TD CLASS="l">774</TD><TD>                        castable = false;</TD></TR><TR><TD CLASS="l">775</TD><TD>                }</TD></TR><TR><TD CLASS="l">776</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">777</TD><TD>                return ResultSequenceFactory.create_new(new XSBoolean(castable));</TD></TR><TR><TD CLASS="l">778</TD><TD>        }</TD></TR><TR><TD CLASS="l">779</TD><TD> </TD></TR><TR><TD CLASS="l">780</TD><TD>        /**</TD></TR><TR><TD CLASS="l">781</TD><TD>         * visit cast expression</TD></TR><TR><TD CLASS="l">782</TD><TD>         * </TD></TR><TR><TD CLASS="l">783</TD><TD>         * @param cexp</TD></TR><TR><TD CLASS="l">784</TD><TD>         *            is the cast expression.</TD></TR><TR><TD CLASS="l"><A NAME="11">785</A></TD><TD>         * @return a new function</TD></TR><TR><TD CLASS="l">786</TD><TD>         */</TD></TR><TR><TD CLASS="l">787</TD><TD>        public Object visit(CastExpr cexp) {</TD></TR><TR><TD CLASS="l">788</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">789</TD><TD>                ResultSequence rs = (ResultSequence) cexp.left().accept(this);</TD></TR><TR CLASS="z"><TD CLASS="l">790</TD><TD>                SingleType st = (SingleType) cexp.right();</TD></TR><TR><TD CLASS="l">791</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">792</TD><TD>                rs = FnData.atomize(rs);</TD></TR><TR><TD CLASS="l">793</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">794</TD><TD>                if (rs.size() &gt; 1)</TD></TR><TR CLASS="z"><TD CLASS="l">795</TD><TD>                        report_error(TypeError.invalid_type(null));</TD></TR><TR><TD CLASS="l">796</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">797</TD><TD>                if (rs.empty()) {</TD></TR><TR CLASS="z"><TD CLASS="l">798</TD><TD>                        if (st.qmark())</TD></TR><TR CLASS="z"><TD CLASS="l">799</TD><TD>                                return rs;</TD></TR><TR><TD CLASS="l">800</TD><TD>                        else</TD></TR><TR CLASS="z"><TD CLASS="l">801</TD><TD>                                report_error(TypeError.invalid_type(null));</TD></TR><TR><TD CLASS="l">802</TD><TD>                }</TD></TR><TR><TD CLASS="l">803</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">804</TD><TD>                AnyType at = rs.first();</TD></TR><TR><TD CLASS="l">805</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">806</TD><TD>                if (!(at instanceof AnyAtomicType))</TD></TR><TR CLASS="z"><TD CLASS="l">807</TD><TD>                        report_error(TypeError.invalid_type(null));</TD></TR><TR><TD CLASS="l">808</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">809</TD><TD>                AnyAtomicType aat = (AnyAtomicType) at;</TD></TR><TR><TD CLASS="l">810</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">811</TD><TD>                QName type = st.type();</TD></TR><TR><TD CLASS="l">812</TD><TD> </TD></TR><TR><TD CLASS="l">813</TD><TD>                // check if constructor exists</TD></TR><TR><TD CLASS="l">814</TD><TD>                // try {</TD></TR><TR CLASS="z"><TD CLASS="l">815</TD><TD>                if (!_dc.function_exists(type, 1))</TD></TR><TR CLASS="z"><TD CLASS="l">816</TD><TD>                        report_error(TypeError.invalid_type(null));</TD></TR><TR><TD CLASS="l">817</TD><TD>                /*</TD></TR><TR><TD CLASS="l">818</TD><TD>                 * } catch(StaticNsNameError err) {</TD></TR><TR><TD CLASS="l">819</TD><TD>                 * report_error(TypeError.invalid_type(null)); }</TD></TR><TR><TD CLASS="l">820</TD><TD>                 */</TD></TR><TR><TD CLASS="l">821</TD><TD>                // prepare args from function</TD></TR><TR CLASS="z"><TD CLASS="l">822</TD><TD>                Collection args = new ArrayList();</TD></TR><TR CLASS="z"><TD CLASS="l">823</TD><TD>                args.add(ResultSequenceFactory.create_new(aat));</TD></TR><TR><TD CLASS="l">824</TD><TD> </TD></TR><TR><TD CLASS="l">825</TD><TD>                try {</TD></TR><TR CLASS="z"><TD CLASS="l">826</TD><TD>                        return _dc.evaluate_function(type, args);</TD></TR><TR CLASS="z"><TD CLASS="l">827</TD><TD>                } catch (DynamicError err) {</TD></TR><TR CLASS="z"><TD CLASS="l">828</TD><TD>                        report_error(err);</TD></TR><TR CLASS="z"><TD CLASS="l">829</TD><TD>                        return null; // unreach</TD></TR><TR><TD CLASS="l">830</TD><TD>                }</TD></TR><TR><TD CLASS="l">831</TD><TD>        }</TD></TR><TR><TD CLASS="l">832</TD><TD> </TD></TR><TR><TD CLASS="l">833</TD><TD>        /**</TD></TR><TR><TD CLASS="l">834</TD><TD>         * visit minus expression</TD></TR><TR><TD CLASS="l">835</TD><TD>         * </TD></TR><TR><TD CLASS="l">836</TD><TD>         * @param e</TD></TR><TR><TD CLASS="l"><A NAME="25">837</A></TD><TD>         *            is the minus expression.</TD></TR><TR><TD CLASS="l">838</TD><TD>         * @return a new function</TD></TR><TR><TD CLASS="l">839</TD><TD>         */</TD></TR><TR><TD CLASS="l">840</TD><TD>        public Object visit(MinusExpr e) {</TD></TR><TR CLASS="z"><TD CLASS="l">841</TD><TD>                ResultSequence rs = (ResultSequence) e.arg().accept(this);</TD></TR><TR><TD CLASS="l">842</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">843</TD><TD>                Collection args = new ArrayList();</TD></TR><TR CLASS="z"><TD CLASS="l">844</TD><TD>                args.add(rs);</TD></TR><TR><TD CLASS="l">845</TD><TD> </TD></TR><TR><TD CLASS="l">846</TD><TD>                try {</TD></TR><TR CLASS="z"><TD CLASS="l">847</TD><TD>                        return FsMinus.fs_minus_unary(args);</TD></TR><TR CLASS="z"><TD CLASS="l">848</TD><TD>                } catch (DynamicError err) {</TD></TR><TR CLASS="z"><TD CLASS="l">849</TD><TD>                        report_error(err);</TD></TR><TR CLASS="z"><TD CLASS="l">850</TD><TD>                        return null; // unreach</TD></TR><TR><TD CLASS="l">851</TD><TD>                }</TD></TR><TR><TD CLASS="l">852</TD><TD>        }</TD></TR><TR><TD CLASS="l">853</TD><TD> </TD></TR><TR><TD CLASS="l">854</TD><TD>        /**</TD></TR><TR><TD CLASS="l">855</TD><TD>         * visit plus expression</TD></TR><TR><TD CLASS="l">856</TD><TD>         * </TD></TR><TR><TD CLASS="l">857</TD><TD>         * @param e</TD></TR><TR><TD CLASS="l"><A NAME="2c">858</A></TD><TD>         *            is the plus expression.</TD></TR><TR><TD CLASS="l">859</TD><TD>         * @return a new function</TD></TR><TR><TD CLASS="l">860</TD><TD>         */</TD></TR><TR><TD CLASS="l">861</TD><TD>        public Object visit(PlusExpr e) {</TD></TR><TR CLASS="z"><TD CLASS="l">862</TD><TD>                ResultSequence rs = (ResultSequence) e.arg().accept(this);</TD></TR><TR><TD CLASS="l">863</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">864</TD><TD>                Collection args = new ArrayList();</TD></TR><TR CLASS="z"><TD CLASS="l">865</TD><TD>                args.add(rs);</TD></TR><TR><TD CLASS="l">866</TD><TD> </TD></TR><TR><TD CLASS="l">867</TD><TD>                try {</TD></TR><TR CLASS="z"><TD CLASS="l">868</TD><TD>                        return FsPlus.fs_plus_unary(args);</TD></TR><TR CLASS="z"><TD CLASS="l">869</TD><TD>                } catch (DynamicError err) {</TD></TR><TR CLASS="z"><TD CLASS="l">870</TD><TD>                        report_error(err);</TD></TR><TR CLASS="z"><TD CLASS="l">871</TD><TD>                        return null; // unreach</TD></TR><TR><TD CLASS="l">872</TD><TD>                }</TD></TR><TR><TD CLASS="l">873</TD><TD>        }</TD></TR><TR><TD CLASS="l">874</TD><TD> </TD></TR><TR><TD CLASS="l">875</TD><TD>        // this will evaluate the step expression for the whole focus and return</TD></TR><TR><TD CLASS="l">876</TD><TD>        // the result.</TD></TR><TR><TD CLASS="l">877</TD><TD>        //</TD></TR><TR><TD CLASS="l"><A NAME="3e">878</A></TD><TD>        // i.e. It will execute the step expression for each item in the focus</TD></TR><TR><TD CLASS="l">879</TD><TD>        // [each time changing the context item].</TD></TR><TR><TD CLASS="l">880</TD><TD>        private ResultSequence do_step(StepExpr se) {</TD></TR><TR><TD CLASS="l">881</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">882</TD><TD>                ResultSequence rs = ResultSequenceFactory.create_new();</TD></TR><TR CLASS="c"><TD CLASS="l">883</TD><TD>                ArrayList results = new ArrayList();</TD></TR><TR CLASS="c"><TD CLASS="l">884</TD><TD>                int type = 0; // 0: don't know yet</TD></TR><TR><TD CLASS="l">885</TD><TD>                // 1: atomic</TD></TR><TR><TD CLASS="l">886</TD><TD>                // 2: node</TD></TR><TR><TD CLASS="l">887</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">888</TD><TD>                Focus focus = _dc.focus();</TD></TR><TR CLASS="c"><TD CLASS="l">889</TD><TD>                int original_pos = focus.position();</TD></TR><TR><TD CLASS="l">890</TD><TD> </TD></TR><TR><TD CLASS="l">891</TD><TD>                // execute step for all items in focus</TD></TR><TR><TD CLASS="l">892</TD><TD>                while (true) {</TD></TR><TR CLASS="c"><TD CLASS="l">893</TD><TD>                        results.add(se.accept(this));</TD></TR><TR><TD CLASS="l">894</TD><TD> </TD></TR><TR><TD CLASS="l">895</TD><TD>                        // go to next</TD></TR><TR CLASS="c"><TD CLASS="l">896</TD><TD>                        if (!focus.advance_cp())</TD></TR><TR><TD CLASS="l">897</TD><TD>                                break;</TD></TR><TR><TD CLASS="l">898</TD><TD>                }</TD></TR><TR><TD CLASS="l">899</TD><TD> </TD></TR><TR><TD CLASS="l">900</TD><TD>                // make sure we didn't change focus</TD></TR><TR CLASS="c"><TD CLASS="l">901</TD><TD>                focus.set_position(original_pos);</TD></TR><TR><TD CLASS="l">902</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">903</TD><TD>                boolean node_types = false;</TD></TR><TR><TD CLASS="l">904</TD><TD> </TD></TR><TR><TD CLASS="l">905</TD><TD>                // check the results</TD></TR><TR CLASS="c"><TD CLASS="l">906</TD><TD>                for (Iterator i = results.iterator(); i.hasNext();) {</TD></TR><TR CLASS="c"><TD CLASS="l">907</TD><TD>                        ResultSequence result = (ResultSequence) i.next();</TD></TR><TR><TD CLASS="l">908</TD><TD> </TD></TR><TR><TD CLASS="l">909</TD><TD>                        // make sure results are of same type, and add them in</TD></TR><TR CLASS="c"><TD CLASS="l">910</TD><TD>                        for (Iterator j = result.iterator(); j.hasNext();) {</TD></TR><TR CLASS="c"><TD CLASS="l">911</TD><TD>                                AnyType item = (AnyType) j.next();</TD></TR><TR><TD CLASS="l">912</TD><TD> </TD></TR><TR><TD CLASS="l">913</TD><TD>                                // first item</TD></TR><TR CLASS="c"><TD CLASS="l">914</TD><TD>                                if (type == 0) {</TD></TR><TR CLASS="c"><TD CLASS="l">915</TD><TD>                                        if (item instanceof AnyAtomicType)</TD></TR><TR CLASS="z"><TD CLASS="l">916</TD><TD>                                                type = 1;</TD></TR><TR CLASS="c"><TD CLASS="l">917</TD><TD>                                        else if (item instanceof NodeType)</TD></TR><TR CLASS="c"><TD CLASS="l">918</TD><TD>                                                type = 2;</TD></TR><TR><TD CLASS="l">919</TD><TD>                                        else</TD></TR><TR CLASS="z"><TD CLASS="l">920</TD><TD>                                                assert false;</TD></TR><TR><TD CLASS="l">921</TD><TD> </TD></TR><TR><TD CLASS="l">922</TD><TD>                                }</TD></TR><TR><TD CLASS="l">923</TD><TD> </TD></TR><TR><TD CLASS="l">924</TD><TD>                                // make sure we got coherent types</TD></TR><TR CLASS="c"><TD CLASS="l">925</TD><TD>                                switch (type) {</TD></TR><TR><TD CLASS="l">926</TD><TD>                                // atomic... just concat</TD></TR><TR><TD CLASS="l">927</TD><TD>                                case 1:</TD></TR><TR CLASS="z"><TD CLASS="l">928</TD><TD>                                        if (!(item instanceof AnyAtomicType))</TD></TR><TR CLASS="z"><TD CLASS="l">929</TD><TD>                                                report_error(TypeError.mixed_vals(null));</TD></TR><TR CLASS="z"><TD CLASS="l">930</TD><TD>                                        rs.add(item);</TD></TR><TR CLASS="z"><TD CLASS="l">931</TD><TD>                                        break;</TD></TR><TR><TD CLASS="l">932</TD><TD> </TD></TR><TR><TD CLASS="l">933</TD><TD>                                case 2:</TD></TR><TR CLASS="c"><TD CLASS="l">934</TD><TD>                                        node_types = true;</TD></TR><TR CLASS="c"><TD CLASS="l">935</TD><TD>                                        if (!(item instanceof NodeType))</TD></TR><TR CLASS="z"><TD CLASS="l">936</TD><TD>                                                report_error(TypeError.mixed_vals(null));</TD></TR><TR CLASS="c"><TD CLASS="l">937</TD><TD>                                        rs.add(item);</TD></TR><TR CLASS="c"><TD CLASS="l">938</TD><TD>                                        break;</TD></TR><TR><TD CLASS="l">939</TD><TD> </TD></TR><TR><TD CLASS="l">940</TD><TD>                                default:</TD></TR><TR CLASS="z"><TD CLASS="l">941</TD><TD>                                        assert false;</TD></TR><TR><TD CLASS="l">942</TD><TD>                                }</TD></TR><TR><TD CLASS="l">943</TD><TD>                        }</TD></TR><TR><TD CLASS="l">944</TD><TD>                }</TD></TR><TR><TD CLASS="l">945</TD><TD> </TD></TR><TR><TD CLASS="l">946</TD><TD>                // XXX lame</TD></TR><TR CLASS="c"><TD CLASS="l">947</TD><TD>                if (node_types) {</TD></TR><TR CLASS="c"><TD CLASS="l">948</TD><TD>                        rs = NodeType.eliminate_dups(rs);</TD></TR><TR CLASS="c"><TD CLASS="l">949</TD><TD>                        rs = NodeType.sort_document_order(rs);</TD></TR><TR><TD CLASS="l">950</TD><TD>                }</TD></TR><TR><TD CLASS="l">951</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l"><A NAME="40">952</A></TD><TD>                return rs;</TD></TR><TR><TD CLASS="l">953</TD><TD>        }</TD></TR><TR><TD CLASS="l">954</TD><TD> </TD></TR><TR><TD CLASS="l">955</TD><TD>        private ResultSequence root_self_node() {</TD></TR><TR CLASS="c"><TD CLASS="l">956</TD><TD>                Axis axis = new SelfAxis();</TD></TR><TR><TD CLASS="l">957</TD><TD>                ResultSequence rs;</TD></TR><TR><TD CLASS="l">958</TD><TD> </TD></TR><TR><TD CLASS="l">959</TD><TD>                // XXX the cast!!!</TD></TR><TR CLASS="c"><TD CLASS="l">960</TD><TD>                rs = axis.iterate((NodeType) _dc.context_item(), _dc);</TD></TR><TR><TD CLASS="l">961</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">962</TD><TD>                rs = kind_test(rs, NodeType.class);</TD></TR><TR><TD CLASS="l">963</TD><TD> </TD></TR><TR><TD CLASS="l">964</TD><TD>                try {</TD></TR><TR CLASS="c"><TD CLASS="l">965</TD><TD>                        rs = FnRoot.fn_root(rs, _dc);</TD></TR><TR CLASS="z"><TD CLASS="l">966</TD><TD>                } catch (DynamicError err) {</TD></TR><TR CLASS="z"><TD CLASS="l">967</TD><TD>                        report_error(err);</TD></TR><TR><TD CLASS="l">968</TD><TD>                }</TD></TR><TR CLASS="c"><TD CLASS="l"><A NAME="4">969</A></TD><TD>                return rs;</TD></TR><TR><TD CLASS="l">970</TD><TD>        }</TD></TR><TR><TD CLASS="l">971</TD><TD> </TD></TR><TR><TD CLASS="l">972</TD><TD>        private ResultSequence descendant_or_self_node(ResultSequence rs) {</TD></TR><TR CLASS="z"><TD CLASS="l">973</TD><TD>                ResultSequence res = ResultSequenceFactory.create_new();</TD></TR><TR CLASS="z"><TD CLASS="l">974</TD><TD>                Axis axis = new DescendantOrSelfAxis();</TD></TR><TR><TD CLASS="l">975</TD><TD> </TD></TR><TR><TD CLASS="l">976</TD><TD>                // for all nodes, get descendant or self nodes</TD></TR><TR CLASS="z"><TD CLASS="l">977</TD><TD>                for (Iterator i = rs.iterator(); i.hasNext();) {</TD></TR><TR CLASS="z"><TD CLASS="l">978</TD><TD>                        NodeType item = (NodeType) i.next();</TD></TR><TR><TD CLASS="l">979</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">980</TD><TD>                        ResultSequence nodes = axis.iterate(item, _dc);</TD></TR><TR CLASS="z"><TD CLASS="l">981</TD><TD>                        nodes = kind_test(nodes, NodeType.class);</TD></TR><TR><TD CLASS="l">982</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">983</TD><TD>                        res.concat(nodes);</TD></TR><TR><TD CLASS="l">984</TD><TD>                }</TD></TR><TR><TD CLASS="l">985</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">986</TD><TD>                return res;</TD></TR><TR><TD CLASS="l">987</TD><TD>        }</TD></TR><TR><TD CLASS="l">988</TD><TD> </TD></TR><TR><TD CLASS="l">989</TD><TD>        /**</TD></TR><TR><TD CLASS="l">990</TD><TD>         * visit XPath expression</TD></TR><TR><TD CLASS="l">991</TD><TD>         * </TD></TR><TR><TD CLASS="l">992</TD><TD>         * @param e</TD></TR><TR><TD CLASS="l"><A NAME="3b">993</A></TD><TD>         *            is the XPath expression.</TD></TR><TR><TD CLASS="l">994</TD><TD>         * @return a new function</TD></TR><TR><TD CLASS="l">995</TD><TD>         */</TD></TR><TR><TD CLASS="l">996</TD><TD>        public Object visit(XPathExpr e) {</TD></TR><TR CLASS="c"><TD CLASS="l">997</TD><TD>                XPathExpr xp = e;</TD></TR><TR><TD CLASS="l">998</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">999</TD><TD>                ResultSequence rs = null;</TD></TR><TR CLASS="c"><TD CLASS="l">1000</TD><TD>                Focus original_focus = _dc.focus();</TD></TR><TR><TD CLASS="l">1001</TD><TD> </TD></TR><TR><TD CLASS="l">1002</TD><TD>                // do all the steps</TD></TR><TR CLASS="c"><TD CLASS="l">1003</TD><TD>                while (xp != null) {</TD></TR><TR CLASS="c"><TD CLASS="l">1004</TD><TD>                        StepExpr se = xp.expr();</TD></TR><TR><TD CLASS="l">1005</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">1006</TD><TD>                        if (se != null) {</TD></TR><TR><TD CLASS="l">1007</TD><TD>                                // this is not the first step</TD></TR><TR CLASS="c"><TD CLASS="l">1008</TD><TD>                                if (rs != null) {</TD></TR><TR><TD CLASS="l">1009</TD><TD>                                        // XXX ?</TD></TR><TR><TD CLASS="l">1010</TD><TD>                                        // the expression didn't return any</TD></TR><TR><TD CLASS="l">1011</TD><TD>                                        // results...</TD></TR><TR CLASS="c"><TD CLASS="l">1012</TD><TD>                                        if (rs.size() == 0)</TD></TR><TR CLASS="z"><TD CLASS="l">1013</TD><TD>                                                break;</TD></TR><TR><TD CLASS="l">1014</TD><TD> </TD></TR><TR><TD CLASS="l">1015</TD><TD>                                        // make sure result of previous step are</TD></TR><TR><TD CLASS="l">1016</TD><TD>                                        // nodes!</TD></TR><TR CLASS="c"><TD CLASS="l">1017</TD><TD>                                        for (Iterator i = rs.iterator(); i.hasNext();) {</TD></TR><TR CLASS="c"><TD CLASS="l">1018</TD><TD>                                                AnyType item = (AnyType) i.next();</TD></TR><TR><TD CLASS="l">1019</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">1020</TD><TD>                                                if (!(item instanceof NodeType)) {</TD></TR><TR CLASS="z"><TD CLASS="l">1021</TD><TD>                                                        report_error(TypeError.step_conatins_atoms(null));</TD></TR><TR CLASS="z"><TD CLASS="l">1022</TD><TD>                                                        return null; // unreach</TD></TR><TR><TD CLASS="l">1023</TD><TD>                                                }</TD></TR><TR><TD CLASS="l">1024</TD><TD>                                        }</TD></TR><TR><TD CLASS="l">1025</TD><TD> </TD></TR><TR><TD CLASS="l">1026</TD><TD>                                        // check if we got a //</TD></TR><TR CLASS="c"><TD CLASS="l">1027</TD><TD>                                        if (xp.slashes() == 2) {</TD></TR><TR CLASS="z"><TD CLASS="l">1028</TD><TD>                                                rs = descendant_or_self_node(rs);</TD></TR><TR><TD CLASS="l">1029</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1030</TD><TD>                                                if (rs.size() == 0)</TD></TR><TR CLASS="z"><TD CLASS="l">1031</TD><TD>                                                        break;</TD></TR><TR><TD CLASS="l">1032</TD><TD>                                        }</TD></TR><TR><TD CLASS="l">1033</TD><TD> </TD></TR><TR><TD CLASS="l">1034</TD><TD>                                        // make result of previous step the new</TD></TR><TR><TD CLASS="l">1035</TD><TD>                                        // focus</TD></TR><TR CLASS="c"><TD CLASS="l">1036</TD><TD>                                        _dc.set_focus(new Focus(rs));</TD></TR><TR><TD CLASS="l">1037</TD><TD> </TD></TR><TR><TD CLASS="l">1038</TD><TD>                                        // do the step for all item in context</TD></TR><TR CLASS="c"><TD CLASS="l">1039</TD><TD>                                        rs = do_step(se);</TD></TR><TR><TD CLASS="l">1040</TD><TD>                                }</TD></TR><TR><TD CLASS="l">1041</TD><TD>                                // this is first step...</TD></TR><TR><TD CLASS="l">1042</TD><TD>                                // note... we may be called from upstream...</TD></TR><TR><TD CLASS="l">1043</TD><TD>                                // like in the expression sorbo/*[2] ... we may</TD></TR><TR><TD CLASS="l">1044</TD><TD>                                // be called to evaluate the 2... the caller</TD></TR><TR><TD CLASS="l">1045</TD><TD>                                // will iterate through the whole outer focus</TD></TR><TR><TD CLASS="l">1046</TD><TD>                                // for us</TD></TR><TR><TD CLASS="l">1047</TD><TD>                                else {</TD></TR><TR><TD CLASS="l">1048</TD><TD>                                        // XXX ???</TD></TR><TR CLASS="c"><TD CLASS="l">1049</TD><TD>                                        if (xp.slashes() == 1) {</TD></TR><TR CLASS="c"><TD CLASS="l">1050</TD><TD>                                                rs = root_self_node();</TD></TR><TR CLASS="c"><TD CLASS="l">1051</TD><TD>                                                _dc.set_focus(new Focus(rs));</TD></TR><TR><TD CLASS="l">1052</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">1053</TD><TD>                                                rs = do_step(se);</TD></TR><TR CLASS="z"><TD CLASS="l">1054</TD><TD>                                        } else if (xp.slashes() == 2) {</TD></TR><TR CLASS="z"><TD CLASS="l">1055</TD><TD>                                                ResultSequence res = ResultSequenceFactory.create_new();</TD></TR><TR CLASS="z"><TD CLASS="l">1056</TD><TD>                                                rs = root_self_node();</TD></TR><TR><TD CLASS="l">1057</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1058</TD><TD>                                                rs = descendant_or_self_node(rs);</TD></TR><TR><TD CLASS="l">1059</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1060</TD><TD>                                                _dc.set_focus(new Focus(rs));</TD></TR><TR><TD CLASS="l">1061</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1062</TD><TD>                                                rs = do_step(se);</TD></TR><TR><TD CLASS="l">1063</TD><TD>                                        } else</TD></TR><TR CLASS="z"><TD CLASS="l">1064</TD><TD>                                                rs = (ResultSequence) se.accept(this);</TD></TR><TR><TD CLASS="l">1065</TD><TD>                                }</TD></TR><TR><TD CLASS="l">1066</TD><TD>                        }</TD></TR><TR><TD CLASS="l">1067</TD><TD>                        // the expression is &#34;/&#34;</TD></TR><TR><TD CLASS="l">1068</TD><TD>                        else {</TD></TR><TR CLASS="z"><TD CLASS="l">1069</TD><TD>                                assert xp.slashes() == 1;</TD></TR><TR><TD CLASS="l">1070</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1071</TD><TD>                                rs = root_self_node();</TD></TR><TR><TD CLASS="l">1072</TD><TD>                        }</TD></TR><TR><TD CLASS="l">1073</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">1074</TD><TD>                        xp = xp.next();</TD></TR><TR><TD CLASS="l">1075</TD><TD>                }</TD></TR><TR><TD CLASS="l">1076</TD><TD> </TD></TR><TR><TD CLASS="l">1077</TD><TD>                // restore focus</TD></TR><TR CLASS="c"><TD CLASS="l">1078</TD><TD>                _dc.set_focus(original_focus);</TD></TR><TR><TD CLASS="l">1079</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">1080</TD><TD>                return rs;</TD></TR><TR><TD CLASS="l">1081</TD><TD>        }</TD></TR><TR><TD CLASS="l">1082</TD><TD> </TD></TR><TR><TD CLASS="l">1083</TD><TD>        /**</TD></TR><TR><TD CLASS="l">1084</TD><TD>         * visit a forward step expression</TD></TR><TR><TD CLASS="l">1085</TD><TD>         * </TD></TR><TR><TD CLASS="l">1086</TD><TD>         * @param e</TD></TR><TR><TD CLASS="l">1087</TD><TD>         *            is the forward step.</TD></TR><TR><TD CLASS="l">1088</TD><TD>         * @return a new function</TD></TR><TR><TD CLASS="l"><A NAME="43">1089</A></TD><TD>         */</TD></TR><TR><TD CLASS="l">1090</TD><TD>        public Object visit(ForwardStep e) {</TD></TR><TR><TD CLASS="l">1091</TD><TD> </TD></TR><TR><TD CLASS="l">1092</TD><TD>                // get context node</TD></TR><TR CLASS="c"><TD CLASS="l">1093</TD><TD>                AnyType ci = _dc.context_item();</TD></TR><TR><TD CLASS="l">1094</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">1095</TD><TD>                if (!(ci instanceof NodeType))</TD></TR><TR CLASS="z"><TD CLASS="l">1096</TD><TD>                        report_error(TypeError.ci_not_node(ci.string_type()));</TD></TR><TR><TD CLASS="l">1097</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">1098</TD><TD>                NodeType cn = (NodeType) ci;</TD></TR><TR><TD CLASS="l">1099</TD><TD> </TD></TR><TR><TD CLASS="l">1100</TD><TD>                // get the nodes on the axis</TD></TR><TR CLASS="c"><TD CLASS="l">1101</TD><TD>                ForwardAxis axis = e.iterator();</TD></TR><TR CLASS="c"><TD CLASS="l">1102</TD><TD>                ResultSequence nodes = axis.iterate(cn, _dc);</TD></TR><TR><TD CLASS="l">1103</TD><TD>                // get all nodes in the axis, and principal node</TD></TR><TR CLASS="c"><TD CLASS="l">1104</TD><TD>                Pair arg = new Pair(axis.principal_node_kind().string_type(), nodes);</TD></TR><TR><TD CLASS="l">1105</TD><TD> </TD></TR><TR><TD CLASS="l">1106</TD><TD>                // do the name test</TD></TR><TR CLASS="c"><TD CLASS="l">1107</TD><TD>                _param = arg;</TD></TR><TR CLASS="c"><TD CLASS="l">1108</TD><TD>                ResultSequence rs = (ResultSequence) e.node_test().accept(this);</TD></TR><TR><TD CLASS="l">1109</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">1110</TD><TD>                return rs;</TD></TR><TR><TD CLASS="l">1111</TD><TD>        }</TD></TR><TR><TD CLASS="l">1112</TD><TD> </TD></TR><TR><TD CLASS="l">1113</TD><TD>        /**</TD></TR><TR><TD CLASS="l">1114</TD><TD>         * visit a reverse step expression</TD></TR><TR><TD CLASS="l">1115</TD><TD>         * </TD></TR><TR><TD CLASS="l">1116</TD><TD>         * @param e</TD></TR><TR><TD CLASS="l">1117</TD><TD>         *            is the reverse step.</TD></TR><TR><TD CLASS="l">1118</TD><TD>         * @return a new function</TD></TR><TR><TD CLASS="l"><A NAME="2f">1119</A></TD><TD>         */</TD></TR><TR><TD CLASS="l">1120</TD><TD>        // XXX unify with top</TD></TR><TR><TD CLASS="l">1121</TD><TD>        public Object visit(ReverseStep e) {</TD></TR><TR><TD CLASS="l">1122</TD><TD>                // get context node</TD></TR><TR CLASS="z"><TD CLASS="l">1123</TD><TD>                AnyType ci = _dc.context_item();</TD></TR><TR><TD CLASS="l">1124</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1125</TD><TD>                if (!(ci instanceof NodeType))</TD></TR><TR CLASS="z"><TD CLASS="l">1126</TD><TD>                        report_error(TypeError.ci_not_node(ci.string_type()));</TD></TR><TR><TD CLASS="l">1127</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1128</TD><TD>                NodeType cn = (NodeType) ci;</TD></TR><TR><TD CLASS="l">1129</TD><TD> </TD></TR><TR><TD CLASS="l">1130</TD><TD>                // get the nodes on the axis</TD></TR><TR CLASS="z"><TD CLASS="l">1131</TD><TD>                ReverseAxis axis = e.iterator();</TD></TR><TR><TD CLASS="l">1132</TD><TD> </TD></TR><TR><TD CLASS="l">1133</TD><TD>                // short for &#34;gimme da parent&#34;</TD></TR><TR CLASS="z"><TD CLASS="l">1134</TD><TD>                if (e.axis() == ReverseStep.DOTDOT) {</TD></TR><TR CLASS="z"><TD CLASS="l">1135</TD><TD>                        axis = new ParentAxis();</TD></TR><TR><TD CLASS="l">1136</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1137</TD><TD>                        return kind_test(axis.iterate(cn, _dc), NodeType.class);</TD></TR><TR><TD CLASS="l">1138</TD><TD>                }</TD></TR><TR><TD CLASS="l">1139</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1140</TD><TD>                assert axis != null;</TD></TR><TR><TD CLASS="l">1141</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1142</TD><TD>                ResultSequence nodes = axis.iterate(cn, _dc);</TD></TR><TR><TD CLASS="l">1143</TD><TD>                // get all nodes in the axis, and principal node</TD></TR><TR CLASS="z"><TD CLASS="l">1144</TD><TD>                Pair arg = new Pair(axis.principal_node_kind().string_type(), nodes);</TD></TR><TR><TD CLASS="l">1145</TD><TD> </TD></TR><TR><TD CLASS="l">1146</TD><TD>                // do the name test</TD></TR><TR CLASS="z"><TD CLASS="l">1147</TD><TD>                _param = arg;</TD></TR><TR CLASS="z"><TD CLASS="l">1148</TD><TD>                ResultSequence rs = (ResultSequence) e.node_test().accept(this);</TD></TR><TR><TD CLASS="l">1149</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1150</TD><TD>                return rs;</TD></TR><TR><TD CLASS="l">1151</TD><TD>        }</TD></TR><TR><TD CLASS="l"><A NAME="3c">1152</A></TD><TD> </TD></TR><TR><TD CLASS="l">1153</TD><TD>        // XXX this routine sux</TD></TR><TR><TD CLASS="l">1154</TD><TD>        private boolean name_test(NodeType node, QName name, String type) {</TD></TR><TR><TD CLASS="l">1155</TD><TD>                // make sure principal node kind is the same</TD></TR><TR CLASS="c"><TD CLASS="l">1156</TD><TD>                if (!type.equals(node.string_type())) {</TD></TR><TR CLASS="c"><TD CLASS="l">1157</TD><TD>                        return false;</TD></TR><TR><TD CLASS="l">1158</TD><TD>                }</TD></TR><TR><TD CLASS="l">1159</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">1160</TD><TD>                String test_prefix = name.prefix();</TD></TR><TR><TD CLASS="l">1161</TD><TD> </TD></TR><TR><TD CLASS="l">1162</TD><TD>                // if unprefixed and principal node kind is element, set default</TD></TR><TR><TD CLASS="l">1163</TD><TD>                // element namespace</TD></TR><TR CLASS="c"><TD CLASS="l">1164</TD><TD>                if (test_prefix == null &amp;&amp; type.equals(&#34;element&#34;)) {</TD></TR><TR><TD CLASS="l">1165</TD><TD>                        // XXX make a new copy</TD></TR><TR CLASS="c"><TD CLASS="l">1166</TD><TD>                        name = new QName(null, name.local());</TD></TR><TR CLASS="c"><TD CLASS="l">1167</TD><TD>                        name.set_namespace(_dc.default_namespace());</TD></TR><TR><TD CLASS="l">1168</TD><TD> </TD></TR><TR><TD CLASS="l">1169</TD><TD>                        // if we actually have a namespace, pretend we do =D</TD></TR><TR CLASS="c"><TD CLASS="l">1170</TD><TD>                        if (name.namespace() != null)</TD></TR><TR CLASS="z"><TD CLASS="l">1171</TD><TD>                                test_prefix = &#34;&#34;;</TD></TR><TR><TD CLASS="l">1172</TD><TD>                }</TD></TR><TR><TD CLASS="l">1173</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">1174</TD><TD>                QName node_name = node.node_name();</TD></TR><TR><TD CLASS="l">1175</TD><TD> </TD></TR><TR CLASS="p"><TD CLASS="l" TITLE="45% line coverage (5 out of 11 instructions)">1176</TD><TD TITLE="45% line coverage (5 out of 11 instructions)">                assert node_name != null;</TD></TR><TR><TD CLASS="l">1177</TD><TD> </TD></TR><TR><TD CLASS="l">1178</TD><TD>                // make sure namespace matches</TD></TR><TR CLASS="c"><TD CLASS="l">1179</TD><TD>                String node_namespace = node_name.namespace();</TD></TR><TR><TD CLASS="l">1180</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">1181</TD><TD>                String test_namespace = null;</TD></TR><TR CLASS="c"><TD CLASS="l">1182</TD><TD>                if (name.expanded())</TD></TR><TR CLASS="c"><TD CLASS="l">1183</TD><TD>                        test_namespace = name.namespace();</TD></TR><TR><TD CLASS="l">1184</TD><TD> </TD></TR><TR><TD CLASS="l">1185</TD><TD>                // name test has no prefix</TD></TR><TR CLASS="c"><TD CLASS="l">1186</TD><TD>                if (test_prefix == null) {</TD></TR><TR><TD CLASS="l">1187</TD><TD>                        // ok no namespace... match</TD></TR><TR CLASS="c"><TD CLASS="l">1188</TD><TD>                        if (node_namespace == null) {</TD></TR><TR><TD CLASS="l">1189</TD><TD>                        } else {</TD></TR><TR CLASS="z"><TD CLASS="l">1190</TD><TD>                                return false;</TD></TR><TR><TD CLASS="l">1191</TD><TD>                        }</TD></TR><TR><TD CLASS="l">1192</TD><TD>                }</TD></TR><TR><TD CLASS="l">1193</TD><TD>                // name test has a prefix and is not wildcard</TD></TR><TR><TD CLASS="l">1194</TD><TD>                // XXX AT THIS POINT ALL PREFIXES NEED TO BE RESOLVED!</TD></TR><TR CLASS="z"><TD CLASS="l">1195</TD><TD>                else if (!test_namespace.equals(&#34;*&#34;)) {</TD></TR><TR><TD CLASS="l">1196</TD><TD>                        // the node doesn't have a namespace... no match</TD></TR><TR CLASS="z"><TD CLASS="l">1197</TD><TD>                        if (node_namespace == null) {</TD></TR><TR CLASS="z"><TD CLASS="l">1198</TD><TD>                                return false;</TD></TR><TR><TD CLASS="l">1199</TD><TD>                        }</TD></TR><TR><TD CLASS="l">1200</TD><TD>                        // check namespaces</TD></TR><TR><TD CLASS="l">1201</TD><TD>                        else {</TD></TR><TR CLASS="z"><TD CLASS="l">1202</TD><TD>                                if (node_namespace.equals(test_namespace)) {</TD></TR><TR><TD CLASS="l">1203</TD><TD>                                        // namespace matches</TD></TR><TR><TD CLASS="l">1204</TD><TD>                                } else {</TD></TR><TR CLASS="z"><TD CLASS="l">1205</TD><TD>                                        return false;</TD></TR><TR><TD CLASS="l">1206</TD><TD>                                }</TD></TR><TR><TD CLASS="l">1207</TD><TD>                        }</TD></TR><TR><TD CLASS="l">1208</TD><TD>                }</TD></TR><TR><TD CLASS="l">1209</TD><TD> </TD></TR><TR><TD CLASS="l">1210</TD><TD>                // make sure local part matches</TD></TR><TR><TD CLASS="l">1211</TD><TD>                // check for wildcard in localpart</TD></TR><TR CLASS="c"><TD CLASS="l">1212</TD><TD>                if (name.local().equals(&#34;*&#34;))</TD></TR><TR CLASS="z"><TD CLASS="l">1213</TD><TD>                        return true;</TD></TR><TR><TD CLASS="l">1214</TD><TD> </TD></TR><TR><TD CLASS="l">1215</TD><TD>                // check if local part matches</TD></TR><TR CLASS="c"><TD CLASS="l">1216</TD><TD>                if (!name.local().equals(node_name.local())) {</TD></TR><TR CLASS="c"><TD CLASS="l">1217</TD><TD>                        return false;</TD></TR><TR><TD CLASS="l">1218</TD><TD>                }</TD></TR><TR><TD CLASS="l">1219</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">1220</TD><TD>                return true;</TD></TR><TR><TD CLASS="l">1221</TD><TD>        }</TD></TR><TR><TD CLASS="l">1222</TD><TD> </TD></TR><TR><TD CLASS="l">1223</TD><TD>        /**</TD></TR><TR><TD CLASS="l">1224</TD><TD>         * visit a name test expression</TD></TR><TR><TD CLASS="l">1225</TD><TD>         * </TD></TR><TR><TD CLASS="l">1226</TD><TD>         * @param e</TD></TR><TR><TD CLASS="l"><A NAME="46">1227</A></TD><TD>         *            is thename test.</TD></TR><TR><TD CLASS="l">1228</TD><TD>         * @return a result sequence</TD></TR><TR><TD CLASS="l">1229</TD><TD>         */</TD></TR><TR><TD CLASS="l">1230</TD><TD>        public Object visit(NameTest e) {</TD></TR><TR CLASS="c"><TD CLASS="l">1231</TD><TD>                QName name = e.name();</TD></TR><TR><TD CLASS="l">1232</TD><TD> </TD></TR><TR><TD CLASS="l">1233</TD><TD>                // get the arguments</TD></TR><TR CLASS="c"><TD CLASS="l">1234</TD><TD>                Pair arg = (Pair) _param;</TD></TR><TR CLASS="c"><TD CLASS="l">1235</TD><TD>                String type = (String) arg._one;</TD></TR><TR CLASS="c"><TD CLASS="l">1236</TD><TD>                ResultSequence rs = (ResultSequence) arg._two;</TD></TR><TR><TD CLASS="l">1237</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">1238</TD><TD>                for (Iterator i = rs.iterator(); i.hasNext();) {</TD></TR><TR CLASS="c"><TD CLASS="l">1239</TD><TD>                        NodeType nt = (NodeType) i.next();</TD></TR><TR><TD CLASS="l">1240</TD><TD> </TD></TR><TR><TD CLASS="l">1241</TD><TD>                        // check if node passes name test</TD></TR><TR CLASS="c"><TD CLASS="l">1242</TD><TD>                        if (!name_test(nt, name, type))</TD></TR><TR CLASS="c"><TD CLASS="l">1243</TD><TD>                                i.remove();</TD></TR><TR><TD CLASS="l">1244</TD><TD> </TD></TR><TR><TD CLASS="l">1245</TD><TD>                }</TD></TR><TR><TD CLASS="l">1246</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">1247</TD><TD>                return rs;</TD></TR><TR><TD CLASS="l">1248</TD><TD>        }</TD></TR><TR><TD CLASS="l">1249</TD><TD> </TD></TR><TR><TD CLASS="l">1250</TD><TD>        /**</TD></TR><TR><TD CLASS="l">1251</TD><TD>         * visit variable reference</TD></TR><TR><TD CLASS="l">1252</TD><TD>         * </TD></TR><TR><TD CLASS="l">1253</TD><TD>         * @param e</TD></TR><TR><TD CLASS="l"><A NAME="39">1254</A></TD><TD>         *            is the variable reference.</TD></TR><TR><TD CLASS="l">1255</TD><TD>         * @return a result sequence</TD></TR><TR><TD CLASS="l">1256</TD><TD>         */</TD></TR><TR><TD CLASS="l">1257</TD><TD>        public Object visit(VarRef e) {</TD></TR><TR CLASS="z"><TD CLASS="l">1258</TD><TD>                ResultSequence rs = ResultSequenceFactory.create_new();</TD></TR><TR><TD CLASS="l">1259</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1260</TD><TD>                AnyType var = _dc.get_variable(e.name());</TD></TR><TR><TD CLASS="l">1261</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1262</TD><TD>                assert var != null;</TD></TR><TR><TD CLASS="l">1263</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1264</TD><TD>                rs.add(var);</TD></TR><TR><TD CLASS="l">1265</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1266</TD><TD>                return rs;</TD></TR><TR><TD CLASS="l">1267</TD><TD>        }</TD></TR><TR><TD CLASS="l">1268</TD><TD> </TD></TR><TR><TD CLASS="l">1269</TD><TD>        /**</TD></TR><TR><TD CLASS="l">1270</TD><TD>         * visit string literal.</TD></TR><TR><TD CLASS="l">1271</TD><TD>         * </TD></TR><TR><TD CLASS="l">1272</TD><TD>         * @param e</TD></TR><TR><TD CLASS="l"><A NAME="34">1273</A></TD><TD>         *            is the string literal.</TD></TR><TR><TD CLASS="l">1274</TD><TD>         * @return a result sequence</TD></TR><TR><TD CLASS="l">1275</TD><TD>         */</TD></TR><TR><TD CLASS="l">1276</TD><TD>        public Object visit(StringLiteral e) {</TD></TR><TR CLASS="z"><TD CLASS="l">1277</TD><TD>                ResultSequence rs = ResultSequenceFactory.create_new();</TD></TR><TR><TD CLASS="l">1278</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1279</TD><TD>                rs.add(e.value());</TD></TR><TR CLASS="z"><TD CLASS="l">1280</TD><TD>                return rs;</TD></TR><TR><TD CLASS="l">1281</TD><TD>        }</TD></TR><TR><TD CLASS="l">1282</TD><TD> </TD></TR><TR><TD CLASS="l">1283</TD><TD>        /**</TD></TR><TR><TD CLASS="l">1284</TD><TD>         * visit integer literal.</TD></TR><TR><TD CLASS="l">1285</TD><TD>         * </TD></TR><TR><TD CLASS="l">1286</TD><TD>         * @param e</TD></TR><TR><TD CLASS="l"><A NAME="22">1287</A></TD><TD>         *            is the integer literal.</TD></TR><TR><TD CLASS="l">1288</TD><TD>         * @return a result sequence</TD></TR><TR><TD CLASS="l">1289</TD><TD>         */</TD></TR><TR><TD CLASS="l">1290</TD><TD>        public Object visit(IntegerLiteral e) {</TD></TR><TR CLASS="z"><TD CLASS="l">1291</TD><TD>                ResultSequence rs = ResultSequenceFactory.create_new();</TD></TR><TR><TD CLASS="l">1292</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1293</TD><TD>                rs.add(e.value());</TD></TR><TR CLASS="z"><TD CLASS="l">1294</TD><TD>                return rs;</TD></TR><TR><TD CLASS="l">1295</TD><TD>        }</TD></TR><TR><TD CLASS="l">1296</TD><TD> </TD></TR><TR><TD CLASS="l">1297</TD><TD>        /**</TD></TR><TR><TD CLASS="l">1298</TD><TD>         * visit double literal.</TD></TR><TR><TD CLASS="l">1299</TD><TD>         * </TD></TR><TR><TD CLASS="l">1300</TD><TD>         * @param e</TD></TR><TR><TD CLASS="l"><A NAME="19">1301</A></TD><TD>         *            is the double literal.</TD></TR><TR><TD CLASS="l">1302</TD><TD>         * @return a result sequence</TD></TR><TR><TD CLASS="l">1303</TD><TD>         */</TD></TR><TR><TD CLASS="l">1304</TD><TD>        public Object visit(DoubleLiteral e) {</TD></TR><TR CLASS="z"><TD CLASS="l">1305</TD><TD>                ResultSequence rs = ResultSequenceFactory.create_new();</TD></TR><TR><TD CLASS="l">1306</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1307</TD><TD>                rs.add(e.value());</TD></TR><TR CLASS="z"><TD CLASS="l">1308</TD><TD>                return rs;</TD></TR><TR><TD CLASS="l">1309</TD><TD>        }</TD></TR><TR><TD CLASS="l">1310</TD><TD> </TD></TR><TR><TD CLASS="l">1311</TD><TD>        /**</TD></TR><TR><TD CLASS="l">1312</TD><TD>         * visit decimal literal.</TD></TR><TR><TD CLASS="l">1313</TD><TD>         * </TD></TR><TR><TD CLASS="l">1314</TD><TD>         * @param e</TD></TR><TR><TD CLASS="l"><A NAME="16">1315</A></TD><TD>         *            is the decimal literal.</TD></TR><TR><TD CLASS="l">1316</TD><TD>         * @return a result sequence</TD></TR><TR><TD CLASS="l">1317</TD><TD>         */</TD></TR><TR><TD CLASS="l">1318</TD><TD>        public Object visit(DecimalLiteral e) {</TD></TR><TR CLASS="z"><TD CLASS="l">1319</TD><TD>                ResultSequence rs = ResultSequenceFactory.create_new();</TD></TR><TR><TD CLASS="l">1320</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1321</TD><TD>                rs.add(e.value());</TD></TR><TR CLASS="z"><TD CLASS="l">1322</TD><TD>                return rs;</TD></TR><TR><TD CLASS="l">1323</TD><TD>        }</TD></TR><TR><TD CLASS="l">1324</TD><TD> </TD></TR><TR><TD CLASS="l">1325</TD><TD>        /**</TD></TR><TR><TD CLASS="l">1326</TD><TD>         * visit parent expression.</TD></TR><TR><TD CLASS="l">1327</TD><TD>         * </TD></TR><TR><TD CLASS="l">1328</TD><TD>         * @param e</TD></TR><TR><TD CLASS="l"><A NAME="2a">1329</A></TD><TD>         *            is the parent expression.</TD></TR><TR><TD CLASS="l">1330</TD><TD>         * @return a new function</TD></TR><TR><TD CLASS="l">1331</TD><TD>         */</TD></TR><TR><TD CLASS="l">1332</TD><TD>        public Object visit(ParExpr e) {</TD></TR><TR CLASS="z"><TD CLASS="l">1333</TD><TD>                return do_expr(e.iterator());</TD></TR><TR><TD CLASS="l">1334</TD><TD>        }</TD></TR><TR><TD CLASS="l">1335</TD><TD> </TD></TR><TR><TD CLASS="l">1336</TD><TD>        /**</TD></TR><TR><TD CLASS="l">1337</TD><TD>         * visit context item expression.</TD></TR><TR><TD CLASS="l">1338</TD><TD>         * </TD></TR><TR><TD CLASS="l">1339</TD><TD>         * @param e</TD></TR><TR><TD CLASS="l"><A NAME="14">1340</A></TD><TD>         *            is the context item expression.</TD></TR><TR><TD CLASS="l">1341</TD><TD>         * @return a result sequence</TD></TR><TR><TD CLASS="l">1342</TD><TD>         */</TD></TR><TR><TD CLASS="l">1343</TD><TD>        public Object visit(CntxItemExpr e) {</TD></TR><TR CLASS="z"><TD CLASS="l">1344</TD><TD>                ResultSequence rs = ResultSequenceFactory.create_new();</TD></TR><TR><TD CLASS="l">1345</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1346</TD><TD>                rs.add(_dc.context_item());</TD></TR><TR CLASS="z"><TD CLASS="l">1347</TD><TD>                return rs;</TD></TR><TR><TD CLASS="l">1348</TD><TD>        }</TD></TR><TR><TD CLASS="l">1349</TD><TD> </TD></TR><TR><TD CLASS="l">1350</TD><TD>        /**</TD></TR><TR><TD CLASS="l">1351</TD><TD>         * visit function call.</TD></TR><TR><TD CLASS="l">1352</TD><TD>         * </TD></TR><TR><TD CLASS="l">1353</TD><TD>         * @param e</TD></TR><TR><TD CLASS="l"><A NAME="1e">1354</A></TD><TD>         *            is the function call.</TD></TR><TR><TD CLASS="l">1355</TD><TD>         * @return a new function or null</TD></TR><TR><TD CLASS="l">1356</TD><TD>         */</TD></TR><TR><TD CLASS="l">1357</TD><TD>        public Object visit(FunctionCall e) {</TD></TR><TR CLASS="z"><TD CLASS="l">1358</TD><TD>                ArrayList args = new ArrayList();</TD></TR><TR><TD CLASS="l">1359</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1360</TD><TD>                for (Iterator i = e.iterator(); i.hasNext();) {</TD></TR><TR CLASS="z"><TD CLASS="l">1361</TD><TD>                        Expr arg = (Expr) i.next();</TD></TR><TR><TD CLASS="l">1362</TD><TD>                        // each argument will produce a result sequence</TD></TR><TR CLASS="z"><TD CLASS="l">1363</TD><TD>                        args.add(arg.accept(this));</TD></TR><TR><TD CLASS="l">1364</TD><TD>                }</TD></TR><TR><TD CLASS="l">1365</TD><TD> </TD></TR><TR><TD CLASS="l">1366</TD><TD>                try {</TD></TR><TR CLASS="z"><TD CLASS="l">1367</TD><TD>                        ResultSequence rs = _dc.evaluate_function(e.name(), args);</TD></TR><TR CLASS="z"><TD CLASS="l">1368</TD><TD>                        return rs;</TD></TR><TR CLASS="z"><TD CLASS="l">1369</TD><TD>                } catch (DynamicError err) {</TD></TR><TR CLASS="z"><TD CLASS="l">1370</TD><TD>                        report_error(err);</TD></TR><TR CLASS="z"><TD CLASS="l">1371</TD><TD>                        return null; // unreach</TD></TR><TR><TD CLASS="l">1372</TD><TD>                }</TD></TR><TR><TD CLASS="l">1373</TD><TD>        }</TD></TR><TR><TD CLASS="l">1374</TD><TD> </TD></TR><TR><TD CLASS="l">1375</TD><TD>        /**</TD></TR><TR><TD CLASS="l">1376</TD><TD>         * visit single type.</TD></TR><TR><TD CLASS="l">1377</TD><TD>         * </TD></TR><TR><TD CLASS="l">1378</TD><TD>         * @param e</TD></TR><TR><TD CLASS="l"><A NAME="33">1379</A></TD><TD>         *            is the single type.</TD></TR><TR><TD CLASS="l">1380</TD><TD>         * @return null</TD></TR><TR><TD CLASS="l">1381</TD><TD>         */</TD></TR><TR><TD CLASS="l">1382</TD><TD>        public Object visit(SingleType e) {</TD></TR><TR CLASS="z"><TD CLASS="l">1383</TD><TD>                String name = &#34;SINGLETYPE&#34; + (e.qmark() ? &#34;?&#34; : &#34;&#34;);</TD></TR><TR><TD CLASS="l">1384</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1385</TD><TD>                return null;</TD></TR><TR><TD CLASS="l">1386</TD><TD>        }</TD></TR><TR><TD CLASS="l">1387</TD><TD> </TD></TR><TR><TD CLASS="l">1388</TD><TD>        /**</TD></TR><TR><TD CLASS="l">1389</TD><TD>         * visit sequence type.</TD></TR><TR><TD CLASS="l">1390</TD><TD>         * </TD></TR><TR><TD CLASS="l">1391</TD><TD>         * @param e</TD></TR><TR><TD CLASS="l"><A NAME="32">1392</A></TD><TD>         *            is the sequence type.</TD></TR><TR><TD CLASS="l">1393</TD><TD>         * @return null</TD></TR><TR><TD CLASS="l">1394</TD><TD>         */</TD></TR><TR><TD CLASS="l">1395</TD><TD>        public Object visit(SequenceType e) {</TD></TR><TR CLASS="z"><TD CLASS="l">1396</TD><TD>                String name = &#34;SEQUENCETYPE&#34; + e.occurrence();</TD></TR><TR CLASS="z"><TD CLASS="l">1397</TD><TD>                ItemType it = e.item_type();</TD></TR><TR><TD CLASS="l">1398</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1399</TD><TD>                if (it != null)</TD></TR><TR CLASS="z"><TD CLASS="l">1400</TD><TD>                        it.accept(this);</TD></TR><TR><TD CLASS="l">1401</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1402</TD><TD>                return null;</TD></TR><TR><TD CLASS="l">1403</TD><TD>        }</TD></TR><TR><TD CLASS="l">1404</TD><TD> </TD></TR><TR><TD CLASS="l">1405</TD><TD>        /**</TD></TR><TR><TD CLASS="l">1406</TD><TD>         * visit item type.</TD></TR><TR><TD CLASS="l">1407</TD><TD>         * </TD></TR><TR><TD CLASS="l">1408</TD><TD>         * @param e</TD></TR><TR><TD CLASS="l">1409</TD><TD>         *            is the item type.</TD></TR><TR><TD CLASS="l"><A NAME="24">1410</A></TD><TD>         * @return null</TD></TR><TR><TD CLASS="l">1411</TD><TD>         */</TD></TR><TR><TD CLASS="l">1412</TD><TD>        public Object visit(ItemType e) {</TD></TR><TR><TD CLASS="l">1413</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1414</TD><TD>                switch (e.type()) {</TD></TR><TR><TD CLASS="l">1415</TD><TD>                case ItemType.ITEM:</TD></TR><TR CLASS="z"><TD CLASS="l">1416</TD><TD>                        break;</TD></TR><TR><TD CLASS="l">1417</TD><TD>                case ItemType.QNAME:</TD></TR><TR><TD CLASS="l">1418</TD><TD> </TD></TR><TR><TD CLASS="l">1419</TD><TD>                        // try {</TD></TR><TR CLASS="z"><TD CLASS="l">1420</TD><TD>                        if (!_dc.type_defined(e.qname()))</TD></TR><TR CLASS="z"><TD CLASS="l">1421</TD><TD>                                report_error(new StaticTypeNameError(&#34;Type not defined: &#34;</TD></TR><TR CLASS="z"><TD CLASS="l">1422</TD><TD>                                                + e.qname().string()));</TD></TR><TR><TD CLASS="l">1423</TD><TD>                        /*</TD></TR><TR><TD CLASS="l">1424</TD><TD>                         * } catch(StaticNsNameError ns) { report_error(ns); }</TD></TR><TR><TD CLASS="l">1425</TD><TD>                         */</TD></TR><TR CLASS="z"><TD CLASS="l">1426</TD><TD>                        break;</TD></TR><TR><TD CLASS="l">1427</TD><TD> </TD></TR><TR><TD CLASS="l">1428</TD><TD>                case ItemType.KINDTEST:</TD></TR><TR CLASS="z"><TD CLASS="l">1429</TD><TD>                        e.kind_test().accept(this);</TD></TR><TR><TD CLASS="l">1430</TD><TD>                        break;</TD></TR><TR><TD CLASS="l">1431</TD><TD>                }</TD></TR><TR><TD CLASS="l">1432</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l"><A NAME="42">1433</A></TD><TD>                return null;</TD></TR><TR><TD CLASS="l">1434</TD><TD>        }</TD></TR><TR><TD CLASS="l">1435</TD><TD> </TD></TR><TR><TD CLASS="l">1436</TD><TD>        private ResultSequence kind_test(ResultSequence rs, Class kind) {</TD></TR><TR CLASS="c"><TD CLASS="l">1437</TD><TD>                for (Iterator i = rs.iterator(); i.hasNext();) {</TD></TR><TR CLASS="c"><TD CLASS="l">1438</TD><TD>                        if (!kind.isInstance(i.next()))</TD></TR><TR CLASS="z"><TD CLASS="l">1439</TD><TD>                                i.remove();</TD></TR><TR><TD CLASS="l">1440</TD><TD>                }</TD></TR><TR CLASS="c"><TD CLASS="l">1441</TD><TD>                return rs;</TD></TR><TR><TD CLASS="l">1442</TD><TD>        }</TD></TR><TR><TD CLASS="l">1443</TD><TD> </TD></TR><TR><TD CLASS="l">1444</TD><TD>        /**</TD></TR><TR><TD CLASS="l">1445</TD><TD>         * visit any kind test.</TD></TR><TR><TD CLASS="l">1446</TD><TD>         * </TD></TR><TR><TD CLASS="l">1447</TD><TD>         * @param e</TD></TR><TR><TD CLASS="l"><A NAME="f">1448</A></TD><TD>         *            is the any kind test.</TD></TR><TR><TD CLASS="l">1449</TD><TD>         * @return a new function</TD></TR><TR><TD CLASS="l">1450</TD><TD>         */</TD></TR><TR><TD CLASS="l">1451</TD><TD>        public Object visit(AnyKindTest e) {</TD></TR><TR CLASS="z"><TD CLASS="l">1452</TD><TD>                ResultSequence arg = (ResultSequence) ((Pair) _param)._two;</TD></TR><TR><TD CLASS="l">1453</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1454</TD><TD>                return kind_test(arg, NodeType.class);</TD></TR><TR><TD CLASS="l">1455</TD><TD>        }</TD></TR><TR><TD CLASS="l">1456</TD><TD> </TD></TR><TR><TD CLASS="l">1457</TD><TD>        /**</TD></TR><TR><TD CLASS="l">1458</TD><TD>         * visit document test.</TD></TR><TR><TD CLASS="l">1459</TD><TD>         * </TD></TR><TR><TD CLASS="l">1460</TD><TD>         * @param e</TD></TR><TR><TD CLASS="l"><A NAME="18">1461</A></TD><TD>         *            is the document test.</TD></TR><TR><TD CLASS="l">1462</TD><TD>         * @return result sequence</TD></TR><TR><TD CLASS="l">1463</TD><TD>         */</TD></TR><TR><TD CLASS="l">1464</TD><TD>        public Object visit(DocumentTest e) {</TD></TR><TR CLASS="z"><TD CLASS="l">1465</TD><TD>                ResultSequence arg = (ResultSequence) ((Pair) _param)._two;</TD></TR><TR CLASS="z"><TD CLASS="l">1466</TD><TD>                int type = e.type();</TD></TR><TR><TD CLASS="l">1467</TD><TD> </TD></TR><TR><TD CLASS="l">1468</TD><TD>                // filter doc nodes</TD></TR><TR CLASS="z"><TD CLASS="l">1469</TD><TD>                ResultSequence rs = kind_test(arg, DocType.class);</TD></TR><TR><TD CLASS="l">1470</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1471</TD><TD>                if (type == DocumentTest.NONE)</TD></TR><TR CLASS="z"><TD CLASS="l">1472</TD><TD>                        return rs;</TD></TR><TR><TD CLASS="l">1473</TD><TD> </TD></TR><TR><TD CLASS="l">1474</TD><TD>                // for all docs, find the ones with exactly one element, and do</TD></TR><TR><TD CLASS="l">1475</TD><TD>                // the element test</TD></TR><TR CLASS="z"><TD CLASS="l">1476</TD><TD>                for (Iterator i = rs.iterator(); i.hasNext();) {</TD></TR><TR CLASS="z"><TD CLASS="l">1477</TD><TD>                        DocType doc = (DocType) i.next();</TD></TR><TR CLASS="z"><TD CLASS="l">1478</TD><TD>                        int elem_count = 0;</TD></TR><TR CLASS="z"><TD CLASS="l">1479</TD><TD>                        ElementType elem = null;</TD></TR><TR><TD CLASS="l">1480</TD><TD> </TD></TR><TR><TD CLASS="l">1481</TD><TD>                        // make sure doc has only 1 element</TD></TR><TR CLASS="z"><TD CLASS="l">1482</TD><TD>                        NodeList children = doc.node_value().getChildNodes();</TD></TR><TR CLASS="z"><TD CLASS="l">1483</TD><TD>                        for (int j = 0; j &lt; children.getLength(); j++) {</TD></TR><TR CLASS="z"><TD CLASS="l">1484</TD><TD>                                Node child = children.item(j);</TD></TR><TR><TD CLASS="l">1485</TD><TD> </TD></TR><TR><TD CLASS="l">1486</TD><TD>                                // bingo</TD></TR><TR CLASS="z"><TD CLASS="l">1487</TD><TD>                                if (child.getNodeType() == Node.ELEMENT_NODE) {</TD></TR><TR CLASS="z"><TD CLASS="l">1488</TD><TD>                                        elem_count++;</TD></TR><TR><TD CLASS="l">1489</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1490</TD><TD>                                        if (elem_count &gt; 1)</TD></TR><TR CLASS="z"><TD CLASS="l">1491</TD><TD>                                                break;</TD></TR><TR><TD CLASS="l">1492</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1493</TD><TD>                                        elem = new ElementType((Element) child, _dc</TD></TR><TR CLASS="z"><TD CLASS="l">1494</TD><TD>                                                        .node_position(child));</TD></TR><TR><TD CLASS="l">1495</TD><TD>                                }</TD></TR><TR><TD CLASS="l">1496</TD><TD>                        }</TD></TR><TR><TD CLASS="l">1497</TD><TD> </TD></TR><TR><TD CLASS="l">1498</TD><TD>                        // this doc is no good... send him to hell</TD></TR><TR CLASS="z"><TD CLASS="l">1499</TD><TD>                        if (elem_count != 1) {</TD></TR><TR CLASS="z"><TD CLASS="l">1500</TD><TD>                                i.remove();</TD></TR><TR CLASS="z"><TD CLASS="l">1501</TD><TD>                                continue;</TD></TR><TR><TD CLASS="l">1502</TD><TD>                        }</TD></TR><TR><TD CLASS="l">1503</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1504</TD><TD>                        assert elem != null;</TD></TR><TR><TD CLASS="l">1505</TD><TD> </TD></TR><TR><TD CLASS="l">1506</TD><TD>                        // setup parameter for element test</TD></TR><TR CLASS="z"><TD CLASS="l">1507</TD><TD>                        ResultSequence res = ResultSequenceFactory.create_new();</TD></TR><TR CLASS="z"><TD CLASS="l">1508</TD><TD>                        res.add(elem);</TD></TR><TR CLASS="z"><TD CLASS="l">1509</TD><TD>                        _param = new Pair(&#34;element&#34;, res);</TD></TR><TR><TD CLASS="l">1510</TD><TD> </TD></TR><TR><TD CLASS="l">1511</TD><TD>                        // do name test</TD></TR><TR CLASS="z"><TD CLASS="l">1512</TD><TD>                        res = null;</TD></TR><TR CLASS="z"><TD CLASS="l">1513</TD><TD>                        if (type == DocumentTest.ELEMENT)</TD></TR><TR CLASS="z"><TD CLASS="l">1514</TD><TD>                                res = (ResultSequence) e.elem_test().accept(this);</TD></TR><TR CLASS="z"><TD CLASS="l">1515</TD><TD>                        else if (type == DocumentTest.SCHEMA_ELEMENT)</TD></TR><TR CLASS="z"><TD CLASS="l">1516</TD><TD>                                res = (ResultSequence) e.schema_elem_test().accept(this);</TD></TR><TR><TD CLASS="l">1517</TD><TD>                        else</TD></TR><TR CLASS="z"><TD CLASS="l">1518</TD><TD>                                assert false;</TD></TR><TR><TD CLASS="l">1519</TD><TD> </TD></TR><TR><TD CLASS="l">1520</TD><TD>                        // check if element survived nametest</TD></TR><TR CLASS="z"><TD CLASS="l">1521</TD><TD>                        if (res.size() != 1)</TD></TR><TR CLASS="z"><TD CLASS="l">1522</TD><TD>                                i.remove();</TD></TR><TR><TD CLASS="l">1523</TD><TD>                }</TD></TR><TR><TD CLASS="l">1524</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1525</TD><TD>                return rs;</TD></TR><TR><TD CLASS="l">1526</TD><TD>        }</TD></TR><TR><TD CLASS="l">1527</TD><TD> </TD></TR><TR><TD CLASS="l">1528</TD><TD>        /**</TD></TR><TR><TD CLASS="l">1529</TD><TD>         * visit text test.</TD></TR><TR><TD CLASS="l">1530</TD><TD>         * </TD></TR><TR><TD CLASS="l">1531</TD><TD>         * @param e</TD></TR><TR><TD CLASS="l"><A NAME="36">1532</A></TD><TD>         *            is the text test.</TD></TR><TR><TD CLASS="l">1533</TD><TD>         * @return a new function</TD></TR><TR><TD CLASS="l">1534</TD><TD>         */</TD></TR><TR><TD CLASS="l">1535</TD><TD>        public Object visit(TextTest e) {</TD></TR><TR CLASS="z"><TD CLASS="l">1536</TD><TD>                ResultSequence arg = (ResultSequence) ((Pair) _param)._two;</TD></TR><TR><TD CLASS="l">1537</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1538</TD><TD>                return kind_test(arg, TextType.class);</TD></TR><TR><TD CLASS="l">1539</TD><TD>        }</TD></TR><TR><TD CLASS="l">1540</TD><TD> </TD></TR><TR><TD CLASS="l">1541</TD><TD>        /**</TD></TR><TR><TD CLASS="l">1542</TD><TD>         * visit comment test.</TD></TR><TR><TD CLASS="l">1543</TD><TD>         * </TD></TR><TR><TD CLASS="l">1544</TD><TD>         * @param e</TD></TR><TR><TD CLASS="l"><A NAME="15">1545</A></TD><TD>         *            is the text test.</TD></TR><TR><TD CLASS="l">1546</TD><TD>         * @return a new function</TD></TR><TR><TD CLASS="l">1547</TD><TD>         */</TD></TR><TR><TD CLASS="l">1548</TD><TD>        public Object visit(CommentTest e) {</TD></TR><TR CLASS="z"><TD CLASS="l">1549</TD><TD>                ResultSequence arg = (ResultSequence) ((Pair) _param)._two;</TD></TR><TR><TD CLASS="l">1550</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1551</TD><TD>                return kind_test(arg, CommentType.class);</TD></TR><TR><TD CLASS="l">1552</TD><TD>        }</TD></TR><TR><TD CLASS="l">1553</TD><TD> </TD></TR><TR><TD CLASS="l">1554</TD><TD>        /**</TD></TR><TR><TD CLASS="l">1555</TD><TD>         * visit PI test.</TD></TR><TR><TD CLASS="l">1556</TD><TD>         * </TD></TR><TR><TD CLASS="l">1557</TD><TD>         * @param e</TD></TR><TR><TD CLASS="l"><A NAME="29">1558</A></TD><TD>         *            is the PI test.</TD></TR><TR><TD CLASS="l">1559</TD><TD>         * @return a argument</TD></TR><TR><TD CLASS="l">1560</TD><TD>         */</TD></TR><TR><TD CLASS="l">1561</TD><TD>        public Object visit(PITest e) {</TD></TR><TR CLASS="z"><TD CLASS="l">1562</TD><TD>                ResultSequence arg = (ResultSequence) ((Pair) _param)._two;</TD></TR><TR><TD CLASS="l">1563</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1564</TD><TD>                String pit_arg = e.arg();</TD></TR><TR><TD CLASS="l">1565</TD><TD> </TD></TR><TR><TD CLASS="l">1566</TD><TD>                // match any pi</TD></TR><TR CLASS="z"><TD CLASS="l">1567</TD><TD>                if (pit_arg == null)</TD></TR><TR CLASS="z"><TD CLASS="l">1568</TD><TD>                        return kind_test(arg, PIType.class);</TD></TR><TR><TD CLASS="l">1569</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1570</TD><TD>                for (Iterator i = arg.iterator(); i.hasNext();) {</TD></TR><TR CLASS="z"><TD CLASS="l">1571</TD><TD>                        AnyType item = (AnyType) i.next();</TD></TR><TR><TD CLASS="l">1572</TD><TD> </TD></TR><TR><TD CLASS="l">1573</TD><TD>                        // match PI</TD></TR><TR CLASS="z"><TD CLASS="l">1574</TD><TD>                        if (item instanceof PIType) {</TD></TR><TR CLASS="z"><TD CLASS="l">1575</TD><TD>                                PIType pi = (PIType) item;</TD></TR><TR><TD CLASS="l">1576</TD><TD> </TD></TR><TR><TD CLASS="l">1577</TD><TD>                                // match target</TD></TR><TR CLASS="z"><TD CLASS="l">1578</TD><TD>                                if (!pit_arg.equals(pi.value().getTarget()))</TD></TR><TR CLASS="z"><TD CLASS="l">1579</TD><TD>                                        i.remove();</TD></TR><TR><TD CLASS="l">1580</TD><TD>                        } else</TD></TR><TR CLASS="z"><TD CLASS="l">1581</TD><TD>                                i.remove();</TD></TR><TR><TD CLASS="l">1582</TD><TD>                }</TD></TR><TR><TD CLASS="l">1583</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1584</TD><TD>                return arg;</TD></TR><TR><TD CLASS="l">1585</TD><TD>        }</TD></TR><TR><TD CLASS="l">1586</TD><TD> </TD></TR><TR><TD CLASS="l">1587</TD><TD>        /**</TD></TR><TR><TD CLASS="l">1588</TD><TD>         * visit attribute test.</TD></TR><TR><TD CLASS="l">1589</TD><TD>         * </TD></TR><TR><TD CLASS="l">1590</TD><TD>         * @param e</TD></TR><TR><TD CLASS="l">1591</TD><TD>         *            is the attribute test.</TD></TR><TR><TD CLASS="l"><A NAME="10">1592</A></TD><TD>         * @return a result sequence</TD></TR><TR><TD CLASS="l">1593</TD><TD>         */</TD></TR><TR><TD CLASS="l">1594</TD><TD>        public Object visit(AttributeTest e) {</TD></TR><TR><TD CLASS="l">1595</TD><TD>                // filter out all attrs</TD></TR><TR CLASS="z"><TD CLASS="l">1596</TD><TD>                ResultSequence rs = kind_test((ResultSequence) ((Pair) _param)._two,</TD></TR><TR CLASS="z"><TD CLASS="l">1597</TD><TD>                                AttrType.class);</TD></TR><TR><TD CLASS="l">1598</TD><TD> </TD></TR><TR><TD CLASS="l">1599</TD><TD>                // match the name if it's not a wild card</TD></TR><TR CLASS="z"><TD CLASS="l">1600</TD><TD>                QName name = e.name();</TD></TR><TR CLASS="z"><TD CLASS="l">1601</TD><TD>                if (name != null &amp;&amp; !e.wild()) {</TD></TR><TR CLASS="z"><TD CLASS="l">1602</TD><TD>                        for (Iterator i = rs.iterator(); i.hasNext();) {</TD></TR><TR CLASS="z"><TD CLASS="l">1603</TD><TD>                                if (!name_test((AttrType) i.next(), name, &#34;attribute&#34;))</TD></TR><TR><TD CLASS="l">1604</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1605</TD><TD>                                        i.remove();</TD></TR><TR><TD CLASS="l">1606</TD><TD>                        }</TD></TR><TR><TD CLASS="l">1607</TD><TD>                }</TD></TR><TR><TD CLASS="l">1608</TD><TD> </TD></TR><TR><TD CLASS="l">1609</TD><TD>                // match the type</TD></TR><TR CLASS="z"><TD CLASS="l">1610</TD><TD>                QName type = e.type();</TD></TR><TR CLASS="z"><TD CLASS="l">1611</TD><TD>                if (type != null) {</TD></TR><TR CLASS="z"><TD CLASS="l">1612</TD><TD>                        for (Iterator i = rs.iterator(); i.hasNext();) {</TD></TR><TR CLASS="z"><TD CLASS="l">1613</TD><TD>                                NodeType node = (NodeType) i.next();</TD></TR><TR><TD CLASS="l">1614</TD><TD> </TD></TR><TR><TD CLASS="l">1615</TD><TD>                                // check if element derives from</TD></TR><TR CLASS="z"><TD CLASS="l">1616</TD><TD>                                if (!_dc.derives_from(node, type))</TD></TR><TR CLASS="z"><TD CLASS="l">1617</TD><TD>                                        i.remove();</TD></TR><TR><TD CLASS="l">1618</TD><TD>                        }</TD></TR><TR><TD CLASS="l">1619</TD><TD>                }</TD></TR><TR><TD CLASS="l">1620</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1621</TD><TD>                return rs;</TD></TR><TR><TD CLASS="l">1622</TD><TD>        }</TD></TR><TR><TD CLASS="l">1623</TD><TD> </TD></TR><TR><TD CLASS="l">1624</TD><TD>        /**</TD></TR><TR><TD CLASS="l">1625</TD><TD>         * visit schema attribute test.</TD></TR><TR><TD CLASS="l">1626</TD><TD>         * </TD></TR><TR><TD CLASS="l">1627</TD><TD>         * @param e</TD></TR><TR><TD CLASS="l">1628</TD><TD>         *            is the schema attribute test.</TD></TR><TR><TD CLASS="l"><A NAME="30">1629</A></TD><TD>         * @return a result sequence</TD></TR><TR><TD CLASS="l">1630</TD><TD>         */</TD></TR><TR><TD CLASS="l">1631</TD><TD>        public Object visit(SchemaAttrTest e) {</TD></TR><TR><TD CLASS="l">1632</TD><TD>                // filter out all attrs</TD></TR><TR CLASS="z"><TD CLASS="l">1633</TD><TD>                ResultSequence rs = kind_test((ResultSequence) ((Pair) _param)._two,</TD></TR><TR CLASS="z"><TD CLASS="l">1634</TD><TD>                                AttrType.class);</TD></TR><TR><TD CLASS="l">1635</TD><TD> </TD></TR><TR><TD CLASS="l">1636</TD><TD>                // match the name</TD></TR><TR CLASS="z"><TD CLASS="l">1637</TD><TD>                QName name = e.arg();</TD></TR><TR CLASS="z"><TD CLASS="l">1638</TD><TD>                for (Iterator i = rs.iterator(); i.hasNext();) {</TD></TR><TR CLASS="z"><TD CLASS="l">1639</TD><TD>                        if (!name_test((AttrType) i.next(), name, &#34;attribute&#34;))</TD></TR><TR><TD CLASS="l">1640</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1641</TD><TD>                                i.remove();</TD></TR><TR><TD CLASS="l">1642</TD><TD>                }</TD></TR><TR><TD CLASS="l">1643</TD><TD> </TD></TR><TR><TD CLASS="l">1644</TD><TD>                // check the type</TD></TR><TR CLASS="z"><TD CLASS="l">1645</TD><TD>                XSTypeDefinition et = _dc.attribute_type_definition(name);</TD></TR><TR CLASS="z"><TD CLASS="l">1646</TD><TD>                for (Iterator i = rs.iterator(); i.hasNext();) {</TD></TR><TR CLASS="z"><TD CLASS="l">1647</TD><TD>                        NodeType node = (NodeType) i.next();</TD></TR><TR><TD CLASS="l">1648</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1649</TD><TD>                        if (!_dc.derives_from(node, et))</TD></TR><TR CLASS="z"><TD CLASS="l">1650</TD><TD>                                i.remove();</TD></TR><TR><TD CLASS="l">1651</TD><TD> </TD></TR><TR><TD CLASS="l">1652</TD><TD>                }</TD></TR><TR><TD CLASS="l">1653</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1654</TD><TD>                return rs;</TD></TR><TR><TD CLASS="l">1655</TD><TD>        }</TD></TR><TR><TD CLASS="l">1656</TD><TD> </TD></TR><TR><TD CLASS="l">1657</TD><TD>        /**</TD></TR><TR><TD CLASS="l">1658</TD><TD>         * visit element test.</TD></TR><TR><TD CLASS="l">1659</TD><TD>         * </TD></TR><TR><TD CLASS="l">1660</TD><TD>         * @param e</TD></TR><TR><TD CLASS="l">1661</TD><TD>         *            is the element test.</TD></TR><TR><TD CLASS="l">1662</TD><TD>         * @return a result sequence</TD></TR><TR><TD CLASS="l"><A NAME="1a">1663</A></TD><TD>         */</TD></TR><TR><TD CLASS="l">1664</TD><TD>        public Object visit(ElementTest e) {</TD></TR><TR><TD CLASS="l">1665</TD><TD> </TD></TR><TR><TD CLASS="l">1666</TD><TD>                // filter out all elements</TD></TR><TR CLASS="z"><TD CLASS="l">1667</TD><TD>                ResultSequence rs = kind_test((ResultSequence) ((Pair) _param)._two,</TD></TR><TR CLASS="z"><TD CLASS="l">1668</TD><TD>                                ElementType.class);</TD></TR><TR><TD CLASS="l">1669</TD><TD> </TD></TR><TR><TD CLASS="l">1670</TD><TD>                // match the name if it's not a wild card</TD></TR><TR CLASS="z"><TD CLASS="l">1671</TD><TD>                QName name = e.name();</TD></TR><TR CLASS="z"><TD CLASS="l">1672</TD><TD>                if (name != null &amp;&amp; !e.wild()) {</TD></TR><TR CLASS="z"><TD CLASS="l">1673</TD><TD>                        for (Iterator i = rs.iterator(); i.hasNext();) {</TD></TR><TR CLASS="z"><TD CLASS="l">1674</TD><TD>                                if (!name_test((ElementType) i.next(), name, &#34;element&#34;))</TD></TR><TR><TD CLASS="l">1675</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1676</TD><TD>                                        i.remove();</TD></TR><TR><TD CLASS="l">1677</TD><TD>                        }</TD></TR><TR><TD CLASS="l">1678</TD><TD>                }</TD></TR><TR><TD CLASS="l">1679</TD><TD> </TD></TR><TR><TD CLASS="l">1680</TD><TD>                // match the type</TD></TR><TR CLASS="z"><TD CLASS="l">1681</TD><TD>                QName type = e.type();</TD></TR><TR CLASS="z"><TD CLASS="l">1682</TD><TD>                if (type != null) {</TD></TR><TR CLASS="z"><TD CLASS="l">1683</TD><TD>                        for (Iterator i = rs.iterator(); i.hasNext();) {</TD></TR><TR CLASS="z"><TD CLASS="l">1684</TD><TD>                                NodeType node = (NodeType) i.next();</TD></TR><TR><TD CLASS="l">1685</TD><TD> </TD></TR><TR><TD CLASS="l">1686</TD><TD>                                // check if element derives from</TD></TR><TR CLASS="z"><TD CLASS="l">1687</TD><TD>                                if (_dc.derives_from(node, type)) {</TD></TR><TR><TD CLASS="l">1688</TD><TD>                                        // nilled may be true or false</TD></TR><TR CLASS="z"><TD CLASS="l">1689</TD><TD>                                        if (e.qmark()) {</TD></TR><TR><TD CLASS="l">1690</TD><TD>                                        }</TD></TR><TR><TD CLASS="l">1691</TD><TD>                                        // nilled has to be false</TD></TR><TR><TD CLASS="l">1692</TD><TD>                                        else {</TD></TR><TR CLASS="z"><TD CLASS="l">1693</TD><TD>                                                XSBoolean nilled = (XSBoolean) node.nilled().first();</TD></TR><TR CLASS="z"><TD CLASS="l">1694</TD><TD>                                                if (nilled.value())</TD></TR><TR CLASS="z"><TD CLASS="l">1695</TD><TD>                                                        i.remove();</TD></TR><TR><TD CLASS="l">1696</TD><TD>                                        }</TD></TR><TR><TD CLASS="l">1697</TD><TD> </TD></TR><TR><TD CLASS="l">1698</TD><TD>                                } else</TD></TR><TR CLASS="z"><TD CLASS="l">1699</TD><TD>                                        i.remove();</TD></TR><TR><TD CLASS="l">1700</TD><TD>                        }</TD></TR><TR><TD CLASS="l">1701</TD><TD>                }</TD></TR><TR><TD CLASS="l">1702</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1703</TD><TD>                return rs;</TD></TR><TR><TD CLASS="l">1704</TD><TD>        }</TD></TR><TR><TD CLASS="l">1705</TD><TD> </TD></TR><TR><TD CLASS="l">1706</TD><TD>        /**</TD></TR><TR><TD CLASS="l">1707</TD><TD>         * visit schema element test.</TD></TR><TR><TD CLASS="l">1708</TD><TD>         * </TD></TR><TR><TD CLASS="l">1709</TD><TD>         * @param e</TD></TR><TR><TD CLASS="l">1710</TD><TD>         *            is the schema element test.</TD></TR><TR><TD CLASS="l"><A NAME="31">1711</A></TD><TD>         * @return a result sequence</TD></TR><TR><TD CLASS="l">1712</TD><TD>         */</TD></TR><TR><TD CLASS="l">1713</TD><TD>        public Object visit(SchemaElemTest e) {</TD></TR><TR><TD CLASS="l">1714</TD><TD>                // filter out all elements</TD></TR><TR CLASS="z"><TD CLASS="l">1715</TD><TD>                ResultSequence rs = kind_test((ResultSequence) ((Pair) _param)._two,</TD></TR><TR CLASS="z"><TD CLASS="l">1716</TD><TD>                                ElementType.class);</TD></TR><TR><TD CLASS="l">1717</TD><TD> </TD></TR><TR><TD CLASS="l">1718</TD><TD>                // match the name</TD></TR><TR><TD CLASS="l">1719</TD><TD>                // XXX substitution groups</TD></TR><TR CLASS="z"><TD CLASS="l">1720</TD><TD>                QName name = e.name();</TD></TR><TR CLASS="z"><TD CLASS="l">1721</TD><TD>                for (Iterator i = rs.iterator(); i.hasNext();) {</TD></TR><TR CLASS="z"><TD CLASS="l">1722</TD><TD>                        if (!name_test((ElementType) i.next(), name, &#34;element&#34;))</TD></TR><TR><TD CLASS="l">1723</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1724</TD><TD>                                i.remove();</TD></TR><TR><TD CLASS="l">1725</TD><TD>                }</TD></TR><TR><TD CLASS="l">1726</TD><TD> </TD></TR><TR><TD CLASS="l">1727</TD><TD>                // check the type</TD></TR><TR CLASS="z"><TD CLASS="l">1728</TD><TD>                XSTypeDefinition et = _dc.element_type_definition(name);</TD></TR><TR CLASS="z"><TD CLASS="l">1729</TD><TD>                for (Iterator i = rs.iterator(); i.hasNext();) {</TD></TR><TR CLASS="z"><TD CLASS="l">1730</TD><TD>                        NodeType node = (NodeType) i.next();</TD></TR><TR><TD CLASS="l">1731</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1732</TD><TD>                        if (!_dc.derives_from(node, et)) {</TD></TR><TR CLASS="z"><TD CLASS="l">1733</TD><TD>                                i.remove();</TD></TR><TR CLASS="z"><TD CLASS="l">1734</TD><TD>                                continue;</TD></TR><TR><TD CLASS="l">1735</TD><TD>                        }</TD></TR><TR><TD CLASS="l">1736</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1737</TD><TD>                        XSBoolean nilled = (XSBoolean) node.nilled().first();</TD></TR><TR><TD CLASS="l">1738</TD><TD>                        // XXX or, in schema it is nillable</TD></TR><TR CLASS="z"><TD CLASS="l">1739</TD><TD>                        if (nilled.value())</TD></TR><TR CLASS="z"><TD CLASS="l">1740</TD><TD>                                i.remove();</TD></TR><TR><TD CLASS="l">1741</TD><TD>                }</TD></TR><TR><TD CLASS="l">1742</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1743</TD><TD>                return rs;</TD></TR><TR><TD CLASS="l">1744</TD><TD>        }</TD></TR><TR><TD CLASS="l"><A NAME="9">1745</A></TD><TD> </TD></TR><TR><TD CLASS="l">1746</TD><TD>        private boolean predicate_truth(ResultSequence rs) {</TD></TR><TR><TD CLASS="l">1747</TD><TD>                // rule 1 of spec... if numeric type:</TD></TR><TR><TD CLASS="l">1748</TD><TD>                // if num eq position then true else false</TD></TR><TR CLASS="z"><TD CLASS="l">1749</TD><TD>                if (rs.size() == 1) {</TD></TR><TR CLASS="z"><TD CLASS="l">1750</TD><TD>                        AnyType at = rs.get(0);</TD></TR><TR><TD CLASS="l">1751</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1752</TD><TD>                        if (at instanceof NumericType) {</TD></TR><TR><TD CLASS="l">1753</TD><TD>                                try {</TD></TR><TR CLASS="z"><TD CLASS="l">1754</TD><TD>                                        _g_xsint.set_int(_dc.context_position());</TD></TR><TR CLASS="z"><TD CLASS="l">1755</TD><TD>                                        return FsEq.fs_eq_fast(at, _g_xsint);</TD></TR><TR CLASS="z"><TD CLASS="l">1756</TD><TD>                                } catch (DynamicError err) {</TD></TR><TR CLASS="z"><TD CLASS="l">1757</TD><TD>                                        report_error(err);</TD></TR><TR><TD CLASS="l">1758</TD><TD> </TD></TR><TR><TD CLASS="l">1759</TD><TD>                                        // unreach</TD></TR><TR CLASS="z"><TD CLASS="l">1760</TD><TD>                                        assert false;</TD></TR><TR CLASS="z"><TD CLASS="l">1761</TD><TD>                                        return false;</TD></TR><TR><TD CLASS="l">1762</TD><TD>                                }</TD></TR><TR><TD CLASS="l">1763</TD><TD>                        }</TD></TR><TR><TD CLASS="l">1764</TD><TD>                }</TD></TR><TR><TD CLASS="l">1765</TD><TD> </TD></TR><TR><TD CLASS="l">1766</TD><TD>                // rule 2</TD></TR><TR><TD CLASS="l">1767</TD><TD>                // XXX: do we need to do all that function call prolog bullshit</TD></TR><TR><TD CLASS="l">1768</TD><TD>                // ? [atomizing arguments, casting to whatever bla bla ?]</TD></TR><TR CLASS="z"><TD CLASS="l">1769</TD><TD>                ResultSequence res = FnBoolean.fn_boolean(rs);</TD></TR><TR><TD CLASS="l">1770</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1771</TD><TD>                XSBoolean ret = (XSBoolean) res.first();</TD></TR><TR><TD CLASS="l">1772</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1773</TD><TD>                return ret.value();</TD></TR><TR><TD CLASS="l"><A NAME="3d">1774</A></TD><TD>        }</TD></TR><TR><TD CLASS="l">1775</TD><TD> </TD></TR><TR><TD CLASS="l">1776</TD><TD>        // do the predicate for all items in focus</TD></TR><TR><TD CLASS="l">1777</TD><TD>        private ResultSequence do_predicate(Collection exprs) {</TD></TR><TR CLASS="c"><TD CLASS="l">1778</TD><TD>                ResultSequence rs = ResultSequenceFactory.create_new();</TD></TR><TR><TD CLASS="l">1779</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">1780</TD><TD>                Focus focus = _dc.focus();</TD></TR><TR CLASS="c"><TD CLASS="l">1781</TD><TD>                int original_cp = focus.position();</TD></TR><TR><TD CLASS="l">1782</TD><TD> </TD></TR><TR><TD CLASS="l">1783</TD><TD>                // optimization</TD></TR><TR><TD CLASS="l">1784</TD><TD>                // check if predicate is single numeric constant</TD></TR><TR CLASS="c"><TD CLASS="l">1785</TD><TD>                if (exprs.size() == 1) {</TD></TR><TR CLASS="c"><TD CLASS="l">1786</TD><TD>                        Expr expr = (Expr) exprs.iterator().next();</TD></TR><TR><TD CLASS="l">1787</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">1788</TD><TD>                        if (expr instanceof XPathExpr) {</TD></TR><TR CLASS="c"><TD CLASS="l">1789</TD><TD>                                XPathExpr xpe = (XPathExpr) expr;</TD></TR><TR CLASS="c"><TD CLASS="l">1790</TD><TD>                                if (xpe.next() == null &amp;&amp; xpe.slashes() == 0</TD></TR><TR CLASS="c"><TD CLASS="l">1791</TD><TD>                                                &amp;&amp; xpe.expr() instanceof FilterExpr) {</TD></TR><TR CLASS="c"><TD CLASS="l">1792</TD><TD>                                        FilterExpr fex = (FilterExpr) xpe.expr();</TD></TR><TR CLASS="c"><TD CLASS="l">1793</TD><TD>                                        if (fex.primary() instanceof IntegerLiteral) {</TD></TR><TR CLASS="c"><TD CLASS="l">1794</TD><TD>                                                int pos = ((IntegerLiteral) fex.primary()).value()</TD></TR><TR CLASS="c"><TD CLASS="l">1795</TD><TD>                                                                .int_value();</TD></TR><TR><TD CLASS="l">1796</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">1797</TD><TD>                                                if (pos &lt;= focus.last() &amp;&amp; pos &gt; 0) {</TD></TR><TR CLASS="c"><TD CLASS="l">1798</TD><TD>                                                        focus.set_position(pos);</TD></TR><TR CLASS="c"><TD CLASS="l">1799</TD><TD>                                                        rs.add(focus.context_item());</TD></TR><TR><TD CLASS="l">1800</TD><TD>                                                }</TD></TR><TR CLASS="c"><TD CLASS="l">1801</TD><TD>                                                focus.set_position(original_cp);</TD></TR><TR CLASS="c"><TD CLASS="l">1802</TD><TD>                                                return rs;</TD></TR><TR><TD CLASS="l">1803</TD><TD>                                        }</TD></TR><TR><TD CLASS="l">1804</TD><TD>                                }</TD></TR><TR><TD CLASS="l">1805</TD><TD>                        }</TD></TR><TR><TD CLASS="l">1806</TD><TD>                }</TD></TR><TR><TD CLASS="l">1807</TD><TD> </TD></TR><TR><TD CLASS="l">1808</TD><TD>                // go through all elements</TD></TR><TR><TD CLASS="l">1809</TD><TD>                while (true) {</TD></TR><TR><TD CLASS="l">1810</TD><TD>                        // do the predicate</TD></TR><TR><TD CLASS="l">1811</TD><TD>                        // XXX saxon doesn't allow for predicates to have</TD></TR><TR><TD CLASS="l">1812</TD><TD>                        // commas... but XPath 2.0 spec seems to do</TD></TR><TR CLASS="z"><TD CLASS="l">1813</TD><TD>                        ResultSequence res = do_expr(exprs.iterator());</TD></TR><TR><TD CLASS="l">1814</TD><TD> </TD></TR><TR><TD CLASS="l">1815</TD><TD>                        // if predicate is true, the context item is definitely</TD></TR><TR><TD CLASS="l">1816</TD><TD>                        // in the sequence</TD></TR><TR CLASS="z"><TD CLASS="l">1817</TD><TD>                        if (predicate_truth(res))</TD></TR><TR CLASS="z"><TD CLASS="l">1818</TD><TD>                                rs.add(_dc.context_item());</TD></TR><TR><TD CLASS="l">1819</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1820</TD><TD>                        res.release();</TD></TR><TR CLASS="z"><TD CLASS="l">1821</TD><TD>                        if (!focus.advance_cp())</TD></TR><TR><TD CLASS="l">1822</TD><TD>                                break;</TD></TR><TR><TD CLASS="l">1823</TD><TD> </TD></TR><TR><TD CLASS="l">1824</TD><TD>                }</TD></TR><TR><TD CLASS="l">1825</TD><TD> </TD></TR><TR><TD CLASS="l">1826</TD><TD>                // restore</TD></TR><TR CLASS="z"><TD CLASS="l">1827</TD><TD>                focus.set_position(original_cp);</TD></TR><TR><TD CLASS="l">1828</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1829</TD><TD>                return rs;</TD></TR><TR><TD CLASS="l">1830</TD><TD>        }</TD></TR><TR><TD CLASS="l">1831</TD><TD> </TD></TR><TR><TD CLASS="l">1832</TD><TD>        /**</TD></TR><TR><TD CLASS="l">1833</TD><TD>         * visit axis step.</TD></TR><TR><TD CLASS="l">1834</TD><TD>         * </TD></TR><TR><TD CLASS="l">1835</TD><TD>         * @param e</TD></TR><TR><TD CLASS="l"><A NAME="44">1836</A></TD><TD>         *            is the axis step.</TD></TR><TR><TD CLASS="l">1837</TD><TD>         * @return a result sequence</TD></TR><TR><TD CLASS="l">1838</TD><TD>         */</TD></TR><TR><TD CLASS="l">1839</TD><TD>        public Object visit(AxisStep e) {</TD></TR><TR CLASS="c"><TD CLASS="l">1840</TD><TD>                ResultSequence rs = (ResultSequence) e.step().accept(this);</TD></TR><TR><TD CLASS="l">1841</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">1842</TD><TD>                if (e.predicate_count() == 0)</TD></TR><TR CLASS="c"><TD CLASS="l">1843</TD><TD>                        return rs;</TD></TR><TR><TD CLASS="l">1844</TD><TD> </TD></TR><TR><TD CLASS="l">1845</TD><TD>                // I take it predicates are logical ANDS...</TD></TR><TR CLASS="c"><TD CLASS="l">1846</TD><TD>                Focus original_focus = _dc.focus();</TD></TR><TR><TD CLASS="l">1847</TD><TD> </TD></TR><TR><TD CLASS="l">1848</TD><TD>                // go through all predicates</TD></TR><TR CLASS="c"><TD CLASS="l">1849</TD><TD>                for (Iterator i = e.iterator(); i.hasNext();) {</TD></TR><TR><TD CLASS="l">1850</TD><TD>                        // empty results... get out of here ? XXX</TD></TR><TR CLASS="c"><TD CLASS="l">1851</TD><TD>                        if (rs.size() == 0)</TD></TR><TR CLASS="z"><TD CLASS="l">1852</TD><TD>                                break;</TD></TR><TR><TD CLASS="l">1853</TD><TD> </TD></TR><TR CLASS="c"><TD CLASS="l">1854</TD><TD>                        _dc.set_focus(new Focus(rs));</TD></TR><TR CLASS="c"><TD CLASS="l">1855</TD><TD>                        rs = do_predicate((Collection) i.next());</TD></TR><TR><TD CLASS="l">1856</TD><TD> </TD></TR><TR><TD CLASS="l">1857</TD><TD>                }</TD></TR><TR><TD CLASS="l">1858</TD><TD> </TD></TR><TR><TD CLASS="l">1859</TD><TD>                // restore focus [context switching ;D ]</TD></TR><TR CLASS="c"><TD CLASS="l">1860</TD><TD>                _dc.set_focus(original_focus);</TD></TR><TR CLASS="c"><TD CLASS="l">1861</TD><TD>                return rs;</TD></TR><TR><TD CLASS="l">1862</TD><TD>        }</TD></TR><TR><TD CLASS="l">1863</TD><TD> </TD></TR><TR><TD CLASS="l">1864</TD><TD>        /**</TD></TR><TR><TD CLASS="l">1865</TD><TD>         * visit filter expression</TD></TR><TR><TD CLASS="l">1866</TD><TD>         * </TD></TR><TR><TD CLASS="l">1867</TD><TD>         * @param e</TD></TR><TR><TD CLASS="l">1868</TD><TD>         *            is the filter expression.</TD></TR><TR><TD CLASS="l"><A NAME="1c">1869</A></TD><TD>         * @return a result sequence</TD></TR><TR><TD CLASS="l">1870</TD><TD>         */</TD></TR><TR><TD CLASS="l">1871</TD><TD>        // XXX unify with top ?</TD></TR><TR><TD CLASS="l">1872</TD><TD>        public Object visit(FilterExpr e) {</TD></TR><TR CLASS="z"><TD CLASS="l">1873</TD><TD>                ResultSequence rs = (ResultSequence) e.primary().accept(this);</TD></TR><TR><TD CLASS="l">1874</TD><TD> </TD></TR><TR><TD CLASS="l">1875</TD><TD>                // if no predicates are present, then the result is the same as</TD></TR><TR><TD CLASS="l">1876</TD><TD>                // the primary expression</TD></TR><TR CLASS="z"><TD CLASS="l">1877</TD><TD>                if (e.predicate_count() == 0)</TD></TR><TR CLASS="z"><TD CLASS="l">1878</TD><TD>                        return rs;</TD></TR><TR><TD CLASS="l">1879</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1880</TD><TD>                Focus original_focus = _dc.focus();</TD></TR><TR><TD CLASS="l">1881</TD><TD> </TD></TR><TR><TD CLASS="l">1882</TD><TD>                // go through all predicates</TD></TR><TR CLASS="z"><TD CLASS="l">1883</TD><TD>                for (Iterator i = e.iterator(); i.hasNext();) {</TD></TR><TR CLASS="z"><TD CLASS="l">1884</TD><TD>                        if (rs.size() == 0)</TD></TR><TR CLASS="z"><TD CLASS="l">1885</TD><TD>                                break;</TD></TR><TR><TD CLASS="l">1886</TD><TD> </TD></TR><TR CLASS="z"><TD CLASS="l">1887</TD><TD>                        _dc.set_focus(new Focus(rs));</TD></TR><TR CLASS="z"><TD CLASS="l">1888</TD><TD>                        rs = do_predicate((Collection) i.next());</TD></TR><TR><TD CLASS="l">1889</TD><TD> </TD></TR><TR><TD CLASS="l">1890</TD><TD>                }</TD></TR><TR><TD CLASS="l">1891</TD><TD> </TD></TR><TR><TD CLASS="l">1892</TD><TD>                // restore focus [context switching ;D ]</TD></TR><TR CLASS="z"><TD CLASS="l">1893</TD><TD>                _dc.set_focus(original_focus);</TD></TR><TR CLASS="z"><TD CLASS="l">1894</TD><TD>                return rs;</TD></TR><TR><TD CLASS="l">1895</TD><TD>        }</TD></TR><TR><TD CLASS="l">1896</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="93.html">org.eclipse.wst.xml.xpath2.processor</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>