| <HTML> |
| <BODY BGCOLOR="white"> |
| <PRE> |
| <FONT color="green">001</FONT> /*<a name="line.1"></a> |
| <FONT color="green">002</FONT> * Licensed to the Apache Software Foundation (ASF) under one<a name="line.2"></a> |
| <FONT color="green">003</FONT> * or more contributor license agreements. See the NOTICE file<a name="line.3"></a> |
| <FONT color="green">004</FONT> * distributed with this work for additional information<a name="line.4"></a> |
| <FONT color="green">005</FONT> * regarding copyright ownership. The ASF licenses this file<a name="line.5"></a> |
| <FONT color="green">006</FONT> * to you under the Apache License, Version 2.0 (the "License");<a name="line.6"></a> |
| <FONT color="green">007</FONT> * you may not use this file except in compliance with the License.<a name="line.7"></a> |
| <FONT color="green">008</FONT> * You may obtain a copy of the License at<a name="line.8"></a> |
| <FONT color="green">009</FONT> *<a name="line.9"></a> |
| <FONT color="green">010</FONT> * http://www.apache.org/licenses/LICENSE-2.0<a name="line.10"></a> |
| <FONT color="green">011</FONT> *<a name="line.11"></a> |
| <FONT color="green">012</FONT> * Unless required by applicable law or agreed to in writing, software<a name="line.12"></a> |
| <FONT color="green">013</FONT> * distributed under the License is distributed on an "AS IS" BASIS,<a name="line.13"></a> |
| <FONT color="green">014</FONT> * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.<a name="line.14"></a> |
| <FONT color="green">015</FONT> * See the License for the specific language governing permissions and<a name="line.15"></a> |
| <FONT color="green">016</FONT> * limitations under the License.<a name="line.16"></a> |
| <FONT color="green">017</FONT> */<a name="line.17"></a> |
| <FONT color="green">018</FONT> /*<a name="line.18"></a> |
| <FONT color="green">019</FONT> * $Id: Predicate.java 468650 2006-10-28 07:03:30Z minchau $<a name="line.19"></a> |
| <FONT color="green">020</FONT> */<a name="line.20"></a> |
| <FONT color="green">021</FONT> <a name="line.21"></a> |
| <FONT color="green">022</FONT> package org.apache.xalan.xsltc.compiler;<a name="line.22"></a> |
| <FONT color="green">023</FONT> <a name="line.23"></a> |
| <FONT color="green">024</FONT> import java.util.ArrayList;<a name="line.24"></a> |
| <FONT color="green">025</FONT> <a name="line.25"></a> |
| <FONT color="green">026</FONT> import org.apache.bcel.classfile.Field;<a name="line.26"></a> |
| <FONT color="green">027</FONT> import org.apache.bcel.generic.ASTORE;<a name="line.27"></a> |
| <FONT color="green">028</FONT> import org.apache.bcel.generic.CHECKCAST;<a name="line.28"></a> |
| <FONT color="green">029</FONT> import org.apache.bcel.generic.ConstantPoolGen;<a name="line.29"></a> |
| <FONT color="green">030</FONT> import org.apache.bcel.generic.GETFIELD;<a name="line.30"></a> |
| <FONT color="green">031</FONT> import org.apache.bcel.generic.INVOKESPECIAL;<a name="line.31"></a> |
| <FONT color="green">032</FONT> import org.apache.bcel.generic.InstructionList;<a name="line.32"></a> |
| <FONT color="green">033</FONT> import org.apache.bcel.generic.LocalVariableGen;<a name="line.33"></a> |
| <FONT color="green">034</FONT> import org.apache.bcel.generic.NEW;<a name="line.34"></a> |
| <FONT color="green">035</FONT> import org.apache.bcel.generic.PUSH;<a name="line.35"></a> |
| <FONT color="green">036</FONT> import org.apache.bcel.generic.PUTFIELD;<a name="line.36"></a> |
| <FONT color="green">037</FONT> import org.apache.xalan.xsltc.compiler.util.BooleanType;<a name="line.37"></a> |
| <FONT color="green">038</FONT> import org.apache.xalan.xsltc.compiler.util.ClassGenerator;<a name="line.38"></a> |
| <FONT color="green">039</FONT> import org.apache.xalan.xsltc.compiler.util.FilterGenerator;<a name="line.39"></a> |
| <FONT color="green">040</FONT> import org.apache.xalan.xsltc.compiler.util.IntType;<a name="line.40"></a> |
| <FONT color="green">041</FONT> import org.apache.xalan.xsltc.compiler.util.MethodGenerator;<a name="line.41"></a> |
| <FONT color="green">042</FONT> import org.apache.xalan.xsltc.compiler.util.NumberType;<a name="line.42"></a> |
| <FONT color="green">043</FONT> import org.apache.xalan.xsltc.compiler.util.ReferenceType;<a name="line.43"></a> |
| <FONT color="green">044</FONT> import org.apache.xalan.xsltc.compiler.util.ResultTreeType;<a name="line.44"></a> |
| <FONT color="green">045</FONT> import org.apache.xalan.xsltc.compiler.util.TestGenerator;<a name="line.45"></a> |
| <FONT color="green">046</FONT> import org.apache.xalan.xsltc.compiler.util.Type;<a name="line.46"></a> |
| <FONT color="green">047</FONT> import org.apache.xalan.xsltc.compiler.util.TypeCheckError;<a name="line.47"></a> |
| <FONT color="green">048</FONT> import org.apache.xalan.xsltc.compiler.util.Util;<a name="line.48"></a> |
| <FONT color="green">049</FONT> import org.apache.xalan.xsltc.runtime.Operators;<a name="line.49"></a> |
| <FONT color="green">050</FONT> <a name="line.50"></a> |
| <FONT color="green">051</FONT> /**<a name="line.51"></a> |
| <FONT color="green">052</FONT> * @author Jacek Ambroziak<a name="line.52"></a> |
| <FONT color="green">053</FONT> * @author Santiago Pericas-Geertsen<a name="line.53"></a> |
| <FONT color="green">054</FONT> * @author Morten Jorgensen<a name="line.54"></a> |
| <FONT color="green">055</FONT> */<a name="line.55"></a> |
| <FONT color="green">056</FONT> final class Predicate extends Expression implements Closure {<a name="line.56"></a> |
| <FONT color="green">057</FONT> <a name="line.57"></a> |
| <FONT color="green">058</FONT> /**<a name="line.58"></a> |
| <FONT color="green">059</FONT> * The predicate's expression.<a name="line.59"></a> |
| <FONT color="green">060</FONT> */<a name="line.60"></a> |
| <FONT color="green">061</FONT> private Expression _exp = null; <a name="line.61"></a> |
| <FONT color="green">062</FONT> <a name="line.62"></a> |
| <FONT color="green">063</FONT> /**<a name="line.63"></a> |
| <FONT color="green">064</FONT> * This flag indicates if optimizations are turned on. The <a name="line.64"></a> |
| <FONT color="green">065</FONT> * method <code>dontOptimize()</code> can be called to turn<a name="line.65"></a> |
| <FONT color="green">066</FONT> * optimizations off.<a name="line.66"></a> |
| <FONT color="green">067</FONT> */<a name="line.67"></a> |
| <FONT color="green">068</FONT> private boolean _canOptimize = true;<a name="line.68"></a> |
| <FONT color="green">069</FONT> <a name="line.69"></a> |
| <FONT color="green">070</FONT> /**<a name="line.70"></a> |
| <FONT color="green">071</FONT> * Flag indicatig if the nth position optimization is on. It<a name="line.71"></a> |
| <FONT color="green">072</FONT> * is set in <code>typeCheck()</code>.<a name="line.72"></a> |
| <FONT color="green">073</FONT> */<a name="line.73"></a> |
| <FONT color="green">074</FONT> private boolean _nthPositionFilter = false;<a name="line.74"></a> |
| <FONT color="green">075</FONT> <a name="line.75"></a> |
| <FONT color="green">076</FONT> /**<a name="line.76"></a> |
| <FONT color="green">077</FONT> * Flag indicatig if the nth position descendant is on. It<a name="line.77"></a> |
| <FONT color="green">078</FONT> * is set in <code>typeCheck()</code>.<a name="line.78"></a> |
| <FONT color="green">079</FONT> */<a name="line.79"></a> |
| <FONT color="green">080</FONT> private boolean _nthDescendant = false;<a name="line.80"></a> |
| <FONT color="green">081</FONT> <a name="line.81"></a> |
| <FONT color="green">082</FONT> /**<a name="line.82"></a> |
| <FONT color="green">083</FONT> * Cached node type of the expression that owns this predicate.<a name="line.83"></a> |
| <FONT color="green">084</FONT> */<a name="line.84"></a> |
| <FONT color="green">085</FONT> int _ptype = -1;<a name="line.85"></a> |
| <FONT color="green">086</FONT> <a name="line.86"></a> |
| <FONT color="green">087</FONT> /**<a name="line.87"></a> |
| <FONT color="green">088</FONT> * Name of the inner class.<a name="line.88"></a> |
| <FONT color="green">089</FONT> */<a name="line.89"></a> |
| <FONT color="green">090</FONT> private String _className = null;<a name="line.90"></a> |
| <FONT color="green">091</FONT> <a name="line.91"></a> |
| <FONT color="green">092</FONT> /**<a name="line.92"></a> |
| <FONT color="green">093</FONT> * List of variables in closure.<a name="line.93"></a> |
| <FONT color="green">094</FONT> */<a name="line.94"></a> |
| <FONT color="green">095</FONT> private ArrayList _closureVars = null;<a name="line.95"></a> |
| <FONT color="green">096</FONT> <a name="line.96"></a> |
| <FONT color="green">097</FONT> /**<a name="line.97"></a> |
| <FONT color="green">098</FONT> * Reference to parent closure.<a name="line.98"></a> |
| <FONT color="green">099</FONT> */<a name="line.99"></a> |
| <FONT color="green">100</FONT> private Closure _parentClosure = null;<a name="line.100"></a> |
| <FONT color="green">101</FONT> <a name="line.101"></a> |
| <FONT color="green">102</FONT> /**<a name="line.102"></a> |
| <FONT color="green">103</FONT> * Cached value of method <code>getCompareValue()</code>.<a name="line.103"></a> |
| <FONT color="green">104</FONT> */<a name="line.104"></a> |
| <FONT color="green">105</FONT> private Expression _value = null;<a name="line.105"></a> |
| <FONT color="green">106</FONT> <a name="line.106"></a> |
| <FONT color="green">107</FONT> /**<a name="line.107"></a> |
| <FONT color="green">108</FONT> * Cached value of method <code>getCompareValue()</code>.<a name="line.108"></a> |
| <FONT color="green">109</FONT> */<a name="line.109"></a> |
| <FONT color="green">110</FONT> private Step _step = null;<a name="line.110"></a> |
| <FONT color="green">111</FONT> <a name="line.111"></a> |
| <FONT color="green">112</FONT> /**<a name="line.112"></a> |
| <FONT color="green">113</FONT> * Initializes a predicate. <a name="line.113"></a> |
| <FONT color="green">114</FONT> */<a name="line.114"></a> |
| <FONT color="green">115</FONT> public Predicate(Expression exp) {<a name="line.115"></a> |
| <FONT color="green">116</FONT> _exp = exp;<a name="line.116"></a> |
| <FONT color="green">117</FONT> _exp.setParent(this);<a name="line.117"></a> |
| <FONT color="green">118</FONT> <a name="line.118"></a> |
| <FONT color="green">119</FONT> }<a name="line.119"></a> |
| <FONT color="green">120</FONT> <a name="line.120"></a> |
| <FONT color="green">121</FONT> /** <a name="line.121"></a> |
| <FONT color="green">122</FONT> * Set the parser for this expression.<a name="line.122"></a> |
| <FONT color="green">123</FONT> */<a name="line.123"></a> |
| <FONT color="green">124</FONT> public void setParser(Parser parser) {<a name="line.124"></a> |
| <FONT color="green">125</FONT> super.setParser(parser);<a name="line.125"></a> |
| <FONT color="green">126</FONT> _exp.setParser(parser);<a name="line.126"></a> |
| <FONT color="green">127</FONT> }<a name="line.127"></a> |
| <FONT color="green">128</FONT> <a name="line.128"></a> |
| <FONT color="green">129</FONT> /**<a name="line.129"></a> |
| <FONT color="green">130</FONT> * Returns a boolean value indicating if the nth position optimization<a name="line.130"></a> |
| <FONT color="green">131</FONT> * is on. Must be call after type checking!<a name="line.131"></a> |
| <FONT color="green">132</FONT> */<a name="line.132"></a> |
| <FONT color="green">133</FONT> public boolean isNthPositionFilter() {<a name="line.133"></a> |
| <FONT color="green">134</FONT> return _nthPositionFilter;<a name="line.134"></a> |
| <FONT color="green">135</FONT> }<a name="line.135"></a> |
| <FONT color="green">136</FONT> <a name="line.136"></a> |
| <FONT color="green">137</FONT> /**<a name="line.137"></a> |
| <FONT color="green">138</FONT> * Returns a boolean value indicating if the nth descendant optimization<a name="line.138"></a> |
| <FONT color="green">139</FONT> * is on. Must be call after type checking!<a name="line.139"></a> |
| <FONT color="green">140</FONT> */<a name="line.140"></a> |
| <FONT color="green">141</FONT> public boolean isNthDescendant() {<a name="line.141"></a> |
| <FONT color="green">142</FONT> return _nthDescendant;<a name="line.142"></a> |
| <FONT color="green">143</FONT> }<a name="line.143"></a> |
| <FONT color="green">144</FONT> <a name="line.144"></a> |
| <FONT color="green">145</FONT> /**<a name="line.145"></a> |
| <FONT color="green">146</FONT> * Turns off all optimizations for this predicate.<a name="line.146"></a> |
| <FONT color="green">147</FONT> */<a name="line.147"></a> |
| <FONT color="green">148</FONT> public void dontOptimize() {<a name="line.148"></a> |
| <FONT color="green">149</FONT> _canOptimize = false;<a name="line.149"></a> |
| <FONT color="green">150</FONT> }<a name="line.150"></a> |
| <FONT color="green">151</FONT> <a name="line.151"></a> |
| <FONT color="green">152</FONT> /**<a name="line.152"></a> |
| <FONT color="green">153</FONT> * Returns true if the expression in this predicate contains a call <a name="line.153"></a> |
| <FONT color="green">154</FONT> * to position().<a name="line.154"></a> |
| <FONT color="green">155</FONT> */<a name="line.155"></a> |
| <FONT color="green">156</FONT> public boolean hasPositionCall() {<a name="line.156"></a> |
| <FONT color="green">157</FONT> return _exp.hasPositionCall();<a name="line.157"></a> |
| <FONT color="green">158</FONT> }<a name="line.158"></a> |
| <FONT color="green">159</FONT> <a name="line.159"></a> |
| <FONT color="green">160</FONT> /**<a name="line.160"></a> |
| <FONT color="green">161</FONT> * Returns true if the expression in this predicate contains a call <a name="line.161"></a> |
| <FONT color="green">162</FONT> * to last().<a name="line.162"></a> |
| <FONT color="green">163</FONT> */<a name="line.163"></a> |
| <FONT color="green">164</FONT> public boolean hasLastCall() {<a name="line.164"></a> |
| <FONT color="green">165</FONT> return _exp.hasLastCall();<a name="line.165"></a> |
| <FONT color="green">166</FONT> }<a name="line.166"></a> |
| <FONT color="green">167</FONT> <a name="line.167"></a> |
| <FONT color="green">168</FONT> // -- Begin Closure interface --------------------<a name="line.168"></a> |
| <FONT color="green">169</FONT> <a name="line.169"></a> |
| <FONT color="green">170</FONT> /**<a name="line.170"></a> |
| <FONT color="green">171</FONT> * Returns true if this closure is compiled in an inner class (i.e.<a name="line.171"></a> |
| <FONT color="green">172</FONT> * if this is a real closure).<a name="line.172"></a> |
| <FONT color="green">173</FONT> */<a name="line.173"></a> |
| <FONT color="green">174</FONT> public boolean inInnerClass() {<a name="line.174"></a> |
| <FONT color="green">175</FONT> return (_className != null);<a name="line.175"></a> |
| <FONT color="green">176</FONT> }<a name="line.176"></a> |
| <FONT color="green">177</FONT> <a name="line.177"></a> |
| <FONT color="green">178</FONT> /**<a name="line.178"></a> |
| <FONT color="green">179</FONT> * Returns a reference to its parent closure or null if outermost.<a name="line.179"></a> |
| <FONT color="green">180</FONT> */<a name="line.180"></a> |
| <FONT color="green">181</FONT> public Closure getParentClosure() {<a name="line.181"></a> |
| <FONT color="green">182</FONT> if (_parentClosure == null) {<a name="line.182"></a> |
| <FONT color="green">183</FONT> SyntaxTreeNode node = getParent();<a name="line.183"></a> |
| <FONT color="green">184</FONT> do {<a name="line.184"></a> |
| <FONT color="green">185</FONT> if (node instanceof Closure) {<a name="line.185"></a> |
| <FONT color="green">186</FONT> _parentClosure = (Closure) node;<a name="line.186"></a> |
| <FONT color="green">187</FONT> break;<a name="line.187"></a> |
| <FONT color="green">188</FONT> }<a name="line.188"></a> |
| <FONT color="green">189</FONT> if (node instanceof TopLevelElement) {<a name="line.189"></a> |
| <FONT color="green">190</FONT> break; // way up in the tree<a name="line.190"></a> |
| <FONT color="green">191</FONT> }<a name="line.191"></a> |
| <FONT color="green">192</FONT> node = node.getParent();<a name="line.192"></a> |
| <FONT color="green">193</FONT> } while (node != null);<a name="line.193"></a> |
| <FONT color="green">194</FONT> }<a name="line.194"></a> |
| <FONT color="green">195</FONT> return _parentClosure;<a name="line.195"></a> |
| <FONT color="green">196</FONT> }<a name="line.196"></a> |
| <FONT color="green">197</FONT> <a name="line.197"></a> |
| <FONT color="green">198</FONT> /**<a name="line.198"></a> |
| <FONT color="green">199</FONT> * Returns the name of the auxiliary class or null if this predicate <a name="line.199"></a> |
| <FONT color="green">200</FONT> * is compiled inside the Translet.<a name="line.200"></a> |
| <FONT color="green">201</FONT> */<a name="line.201"></a> |
| <FONT color="green">202</FONT> public String getInnerClassName() {<a name="line.202"></a> |
| <FONT color="green">203</FONT> return _className;<a name="line.203"></a> |
| <FONT color="green">204</FONT> }<a name="line.204"></a> |
| <FONT color="green">205</FONT> <a name="line.205"></a> |
| <FONT color="green">206</FONT> /**<a name="line.206"></a> |
| <FONT color="green">207</FONT> * Add new variable to the closure.<a name="line.207"></a> |
| <FONT color="green">208</FONT> */<a name="line.208"></a> |
| <FONT color="green">209</FONT> public void addVariable(VariableRefBase variableRef) {<a name="line.209"></a> |
| <FONT color="green">210</FONT> if (_closureVars == null) {<a name="line.210"></a> |
| <FONT color="green">211</FONT> _closureVars = new ArrayList();<a name="line.211"></a> |
| <FONT color="green">212</FONT> }<a name="line.212"></a> |
| <FONT color="green">213</FONT> <a name="line.213"></a> |
| <FONT color="green">214</FONT> // Only one reference per variable<a name="line.214"></a> |
| <FONT color="green">215</FONT> if (!_closureVars.contains(variableRef)) {<a name="line.215"></a> |
| <FONT color="green">216</FONT> _closureVars.add(variableRef);<a name="line.216"></a> |
| <FONT color="green">217</FONT> <a name="line.217"></a> |
| <FONT color="green">218</FONT> // Add variable to parent closure as well<a name="line.218"></a> |
| <FONT color="green">219</FONT> Closure parentClosure = getParentClosure();<a name="line.219"></a> |
| <FONT color="green">220</FONT> if (parentClosure != null) {<a name="line.220"></a> |
| <FONT color="green">221</FONT> parentClosure.addVariable(variableRef);<a name="line.221"></a> |
| <FONT color="green">222</FONT> }<a name="line.222"></a> |
| <FONT color="green">223</FONT> }<a name="line.223"></a> |
| <FONT color="green">224</FONT> }<a name="line.224"></a> |
| <FONT color="green">225</FONT> <a name="line.225"></a> |
| <FONT color="green">226</FONT> // -- End Closure interface ----------------------<a name="line.226"></a> |
| <FONT color="green">227</FONT> <a name="line.227"></a> |
| <FONT color="green">228</FONT> /**<a name="line.228"></a> |
| <FONT color="green">229</FONT> * Returns the node type of the expression owning this predicate. The<a name="line.229"></a> |
| <FONT color="green">230</FONT> * return value is cached in <code>_ptype</code>.<a name="line.230"></a> |
| <FONT color="green">231</FONT> */<a name="line.231"></a> |
| <FONT color="green">232</FONT> public int getPosType() {<a name="line.232"></a> |
| <FONT color="green">233</FONT> if (_ptype == -1) {<a name="line.233"></a> |
| <FONT color="green">234</FONT> SyntaxTreeNode parent = getParent();<a name="line.234"></a> |
| <FONT color="green">235</FONT> if (parent instanceof StepPattern) {<a name="line.235"></a> |
| <FONT color="green">236</FONT> _ptype = ((StepPattern)parent).getNodeType();<a name="line.236"></a> |
| <FONT color="green">237</FONT> }<a name="line.237"></a> |
| <FONT color="green">238</FONT> else if (parent instanceof AbsoluteLocationPath) {<a name="line.238"></a> |
| <FONT color="green">239</FONT> AbsoluteLocationPath path = (AbsoluteLocationPath)parent;<a name="line.239"></a> |
| <FONT color="green">240</FONT> Expression exp = path.getPath();<a name="line.240"></a> |
| <FONT color="green">241</FONT> if (exp instanceof Step) {<a name="line.241"></a> |
| <FONT color="green">242</FONT> _ptype = ((Step)exp).getNodeType();<a name="line.242"></a> |
| <FONT color="green">243</FONT> }<a name="line.243"></a> |
| <FONT color="green">244</FONT> }<a name="line.244"></a> |
| <FONT color="green">245</FONT> else if (parent instanceof VariableRefBase) {<a name="line.245"></a> |
| <FONT color="green">246</FONT> final VariableRefBase ref = (VariableRefBase)parent;<a name="line.246"></a> |
| <FONT color="green">247</FONT> final VariableBase var = ref.getVariable();<a name="line.247"></a> |
| <FONT color="green">248</FONT> final Expression exp = var.getExpression();<a name="line.248"></a> |
| <FONT color="green">249</FONT> if (exp instanceof Step) {<a name="line.249"></a> |
| <FONT color="green">250</FONT> _ptype = ((Step)exp).getNodeType();<a name="line.250"></a> |
| <FONT color="green">251</FONT> }<a name="line.251"></a> |
| <FONT color="green">252</FONT> }<a name="line.252"></a> |
| <FONT color="green">253</FONT> else if (parent instanceof Step) {<a name="line.253"></a> |
| <FONT color="green">254</FONT> _ptype = ((Step)parent).getNodeType();<a name="line.254"></a> |
| <FONT color="green">255</FONT> }<a name="line.255"></a> |
| <FONT color="green">256</FONT> }<a name="line.256"></a> |
| <FONT color="green">257</FONT> return _ptype;<a name="line.257"></a> |
| <FONT color="green">258</FONT> }<a name="line.258"></a> |
| <FONT color="green">259</FONT> <a name="line.259"></a> |
| <FONT color="green">260</FONT> public boolean parentIsPattern() {<a name="line.260"></a> |
| <FONT color="green">261</FONT> return (getParent() instanceof Pattern);<a name="line.261"></a> |
| <FONT color="green">262</FONT> }<a name="line.262"></a> |
| <FONT color="green">263</FONT> <a name="line.263"></a> |
| <FONT color="green">264</FONT> public Expression getExpr() {<a name="line.264"></a> |
| <FONT color="green">265</FONT> return _exp;<a name="line.265"></a> |
| <FONT color="green">266</FONT> }<a name="line.266"></a> |
| <FONT color="green">267</FONT> <a name="line.267"></a> |
| <FONT color="green">268</FONT> public String toString() {<a name="line.268"></a> |
| <FONT color="green">269</FONT> return "pred(" + _exp + ')';<a name="line.269"></a> |
| <FONT color="green">270</FONT> }<a name="line.270"></a> |
| <FONT color="green">271</FONT> <a name="line.271"></a> |
| <FONT color="green">272</FONT> /**<a name="line.272"></a> |
| <FONT color="green">273</FONT> * Type check a predicate expression. If the type of the expression is <a name="line.273"></a> |
| <FONT color="green">274</FONT> * number convert it to boolean by adding a comparison with position().<a name="line.274"></a> |
| <FONT color="green">275</FONT> * Note that if the expression is a parameter, we cannot distinguish<a name="line.275"></a> |
| <FONT color="green">276</FONT> * at compile time if its type is number or not. Hence, expressions of <a name="line.276"></a> |
| <FONT color="green">277</FONT> * reference type are always converted to booleans.<a name="line.277"></a> |
| <FONT color="green">278</FONT> *<a name="line.278"></a> |
| <FONT color="green">279</FONT> * This method may be called twice, before and after calling<a name="line.279"></a> |
| <FONT color="green">280</FONT> * <code>dontOptimize()</code>. If so, the second time it should honor<a name="line.280"></a> |
| <FONT color="green">281</FONT> * the new value of <code>_canOptimize</code>.<a name="line.281"></a> |
| <FONT color="green">282</FONT> */<a name="line.282"></a> |
| <FONT color="green">283</FONT> public Type typeCheck(SymbolTable stable) throws TypeCheckError { <a name="line.283"></a> |
| <FONT color="green">284</FONT> Type texp = _exp.typeCheck(stable);<a name="line.284"></a> |
| <FONT color="green">285</FONT> <a name="line.285"></a> |
| <FONT color="green">286</FONT> // We need explicit type information for reference types - no good!<a name="line.286"></a> |
| <FONT color="green">287</FONT> if (texp instanceof ReferenceType) {<a name="line.287"></a> |
| <FONT color="green">288</FONT> _exp = new CastExpr(_exp, texp = Type.Real);<a name="line.288"></a> |
| <FONT color="green">289</FONT> }<a name="line.289"></a> |
| <FONT color="green">290</FONT> <a name="line.290"></a> |
| <FONT color="green">291</FONT> // A result tree fragment should not be cast directly to a number type,<a name="line.291"></a> |
| <FONT color="green">292</FONT> // but rather to a boolean value, and then to a numer (0 or 1).<a name="line.292"></a> |
| <FONT color="green">293</FONT> // Ref. section 11.2 of the XSLT 1.0 spec<a name="line.293"></a> |
| <FONT color="green">294</FONT> if (texp instanceof ResultTreeType) {<a name="line.294"></a> |
| <FONT color="green">295</FONT> _exp = new CastExpr(_exp, Type.Boolean);<a name="line.295"></a> |
| <FONT color="green">296</FONT> _exp = new CastExpr(_exp, Type.Real);<a name="line.296"></a> |
| <FONT color="green">297</FONT> texp = _exp.typeCheck(stable);<a name="line.297"></a> |
| <FONT color="green">298</FONT> }<a name="line.298"></a> |
| <FONT color="green">299</FONT> <a name="line.299"></a> |
| <FONT color="green">300</FONT> // Numerical types will be converted to a position filter<a name="line.300"></a> |
| <FONT color="green">301</FONT> if (texp instanceof NumberType) {<a name="line.301"></a> |
| <FONT color="green">302</FONT> // Cast any numerical types to an integer<a name="line.302"></a> |
| <FONT color="green">303</FONT> if (texp instanceof IntType == false) {<a name="line.303"></a> |
| <FONT color="green">304</FONT> _exp = new CastExpr(_exp, Type.Int);<a name="line.304"></a> |
| <FONT color="green">305</FONT> }<a name="line.305"></a> |
| <FONT color="green">306</FONT> <a name="line.306"></a> |
| <FONT color="green">307</FONT> if (_canOptimize) {<a name="line.307"></a> |
| <FONT color="green">308</FONT> // Nth position optimization. Expression must not depend on context<a name="line.308"></a> |
| <FONT color="green">309</FONT> _nthPositionFilter = <a name="line.309"></a> |
| <FONT color="green">310</FONT> !_exp.hasLastCall() && !_exp.hasPositionCall();<a name="line.310"></a> |
| <FONT color="green">311</FONT> <a name="line.311"></a> |
| <FONT color="green">312</FONT> // _nthDescendant optimization - only if _nthPositionFilter is on<a name="line.312"></a> |
| <FONT color="green">313</FONT> if (_nthPositionFilter) {<a name="line.313"></a> |
| <FONT color="green">314</FONT> SyntaxTreeNode parent = getParent();<a name="line.314"></a> |
| <FONT color="green">315</FONT> _nthDescendant = (parent instanceof Step) &&<a name="line.315"></a> |
| <FONT color="green">316</FONT> (parent.getParent() instanceof AbsoluteLocationPath);<a name="line.316"></a> |
| <FONT color="green">317</FONT> return _type = Type.NodeSet;<a name="line.317"></a> |
| <FONT color="green">318</FONT> }<a name="line.318"></a> |
| <FONT color="green">319</FONT> } <a name="line.319"></a> |
| <FONT color="green">320</FONT> <a name="line.320"></a> |
| <FONT color="green">321</FONT> // Reset optimization flags<a name="line.321"></a> |
| <FONT color="green">322</FONT> _nthPositionFilter = _nthDescendant = false;<a name="line.322"></a> |
| <FONT color="green">323</FONT> <a name="line.323"></a> |
| <FONT color="green">324</FONT> // Otherwise, expand [e] to [position() = e]<a name="line.324"></a> |
| <FONT color="green">325</FONT> final QName position = <a name="line.325"></a> |
| <FONT color="green">326</FONT> getParser().getQNameIgnoreDefaultNs("position");<a name="line.326"></a> |
| <FONT color="green">327</FONT> final PositionCall positionCall =<a name="line.327"></a> |
| <FONT color="green">328</FONT> new PositionCall(position);<a name="line.328"></a> |
| <FONT color="green">329</FONT> positionCall.setParser(getParser());<a name="line.329"></a> |
| <FONT color="green">330</FONT> positionCall.setParent(this);<a name="line.330"></a> |
| <FONT color="green">331</FONT> <a name="line.331"></a> |
| <FONT color="green">332</FONT> _exp = new EqualityExpr(Operators.EQ, positionCall,<a name="line.332"></a> |
| <FONT color="green">333</FONT> _exp);<a name="line.333"></a> |
| <FONT color="green">334</FONT> if (_exp.typeCheck(stable) != Type.Boolean) {<a name="line.334"></a> |
| <FONT color="green">335</FONT> _exp = new CastExpr(_exp, Type.Boolean);<a name="line.335"></a> |
| <FONT color="green">336</FONT> }<a name="line.336"></a> |
| <FONT color="green">337</FONT> return _type = Type.Boolean;<a name="line.337"></a> |
| <FONT color="green">338</FONT> }<a name="line.338"></a> |
| <FONT color="green">339</FONT> else {<a name="line.339"></a> |
| <FONT color="green">340</FONT> // All other types will be handled as boolean values<a name="line.340"></a> |
| <FONT color="green">341</FONT> if (texp instanceof BooleanType == false) {<a name="line.341"></a> |
| <FONT color="green">342</FONT> _exp = new CastExpr(_exp, Type.Boolean);<a name="line.342"></a> |
| <FONT color="green">343</FONT> }<a name="line.343"></a> |
| <FONT color="green">344</FONT> return _type = Type.Boolean;<a name="line.344"></a> |
| <FONT color="green">345</FONT> }<a name="line.345"></a> |
| <FONT color="green">346</FONT> }<a name="line.346"></a> |
| <FONT color="green">347</FONT> <a name="line.347"></a> |
| <FONT color="green">348</FONT> /**<a name="line.348"></a> |
| <FONT color="green">349</FONT> * Create a new "Filter" class implementing<a name="line.349"></a> |
| <FONT color="green">350</FONT> * <code>CurrentNodeListFilter</code>. Allocate registers for local <a name="line.350"></a> |
| <FONT color="green">351</FONT> * variables and local parameters passed in the closure to test().<a name="line.351"></a> |
| <FONT color="green">352</FONT> * Notice that local variables need to be "unboxed".<a name="line.352"></a> |
| <FONT color="green">353</FONT> */<a name="line.353"></a> |
| <FONT color="green">354</FONT> private void compileFilter(ClassGenerator classGen,<a name="line.354"></a> |
| <FONT color="green">355</FONT> MethodGenerator methodGen) {<a name="line.355"></a> |
| <FONT color="green">356</FONT> TestGenerator testGen;<a name="line.356"></a> |
| <FONT color="green">357</FONT> LocalVariableGen local;<a name="line.357"></a> |
| <FONT color="green">358</FONT> FilterGenerator filterGen;<a name="line.358"></a> |
| <FONT color="green">359</FONT> <a name="line.359"></a> |
| <FONT color="green">360</FONT> _className = getXSLTC().getHelperClassName();<a name="line.360"></a> |
| <FONT color="green">361</FONT> filterGen = new FilterGenerator(_className,<a name="line.361"></a> |
| <FONT color="green">362</FONT> "java.lang.Object",<a name="line.362"></a> |
| <FONT color="green">363</FONT> toString(), <a name="line.363"></a> |
| <FONT color="green">364</FONT> ACC_PUBLIC | ACC_SUPER,<a name="line.364"></a> |
| <FONT color="green">365</FONT> new String[] {<a name="line.365"></a> |
| <FONT color="green">366</FONT> CURRENT_NODE_LIST_FILTER<a name="line.366"></a> |
| <FONT color="green">367</FONT> },<a name="line.367"></a> |
| <FONT color="green">368</FONT> classGen.getStylesheet()); <a name="line.368"></a> |
| <FONT color="green">369</FONT> <a name="line.369"></a> |
| <FONT color="green">370</FONT> final ConstantPoolGen cpg = filterGen.getConstantPool();<a name="line.370"></a> |
| <FONT color="green">371</FONT> final int length = (_closureVars == null) ? 0 : _closureVars.size();<a name="line.371"></a> |
| <FONT color="green">372</FONT> <a name="line.372"></a> |
| <FONT color="green">373</FONT> // Add a new instance variable for each var in closure<a name="line.373"></a> |
| <FONT color="green">374</FONT> for (int i = 0; i < length; i++) {<a name="line.374"></a> |
| <FONT color="green">375</FONT> VariableBase var = ((VariableRefBase) _closureVars.get(i)).getVariable();<a name="line.375"></a> |
| <FONT color="green">376</FONT> <a name="line.376"></a> |
| <FONT color="green">377</FONT> filterGen.addField(new Field(ACC_PUBLIC, <a name="line.377"></a> |
| <FONT color="green">378</FONT> cpg.addUtf8(var.getEscapedName()),<a name="line.378"></a> |
| <FONT color="green">379</FONT> cpg.addUtf8(var.getType().toSignature()),<a name="line.379"></a> |
| <FONT color="green">380</FONT> null, cpg.getConstantPool()));<a name="line.380"></a> |
| <FONT color="green">381</FONT> }<a name="line.381"></a> |
| <FONT color="green">382</FONT> <a name="line.382"></a> |
| <FONT color="green">383</FONT> final InstructionList il = new InstructionList();<a name="line.383"></a> |
| <FONT color="green">384</FONT> testGen = new TestGenerator(ACC_PUBLIC | ACC_FINAL,<a name="line.384"></a> |
| <FONT color="green">385</FONT> org.apache.bcel.generic.Type.BOOLEAN, <a name="line.385"></a> |
| <FONT color="green">386</FONT> new org.apache.bcel.generic.Type[] {<a name="line.386"></a> |
| <FONT color="green">387</FONT> org.apache.bcel.generic.Type.INT,<a name="line.387"></a> |
| <FONT color="green">388</FONT> org.apache.bcel.generic.Type.INT,<a name="line.388"></a> |
| <FONT color="green">389</FONT> org.apache.bcel.generic.Type.INT,<a name="line.389"></a> |
| <FONT color="green">390</FONT> org.apache.bcel.generic.Type.INT,<a name="line.390"></a> |
| <FONT color="green">391</FONT> Util.getJCRefType(TRANSLET_SIG),<a name="line.391"></a> |
| <FONT color="green">392</FONT> Util.getJCRefType(NODE_ITERATOR_SIG)<a name="line.392"></a> |
| <FONT color="green">393</FONT> },<a name="line.393"></a> |
| <FONT color="green">394</FONT> new String[] {<a name="line.394"></a> |
| <FONT color="green">395</FONT> "node",<a name="line.395"></a> |
| <FONT color="green">396</FONT> "position",<a name="line.396"></a> |
| <FONT color="green">397</FONT> "last",<a name="line.397"></a> |
| <FONT color="green">398</FONT> "current",<a name="line.398"></a> |
| <FONT color="green">399</FONT> "translet",<a name="line.399"></a> |
| <FONT color="green">400</FONT> "iterator"<a name="line.400"></a> |
| <FONT color="green">401</FONT> },<a name="line.401"></a> |
| <FONT color="green">402</FONT> "test", _className, il, cpg);<a name="line.402"></a> |
| <FONT color="green">403</FONT> <a name="line.403"></a> |
| <FONT color="green">404</FONT> // Store the dom in a local variable<a name="line.404"></a> |
| <FONT color="green">405</FONT> local = testGen.addLocalVariable("document",<a name="line.405"></a> |
| <FONT color="green">406</FONT> Util.getJCRefType(DOM_INTF_SIG),<a name="line.406"></a> |
| <FONT color="green">407</FONT> null, null);<a name="line.407"></a> |
| <FONT color="green">408</FONT> final String className = classGen.getClassName();<a name="line.408"></a> |
| <FONT color="green">409</FONT> il.append(filterGen.loadTranslet());<a name="line.409"></a> |
| <FONT color="green">410</FONT> il.append(new CHECKCAST(cpg.addClass(className)));<a name="line.410"></a> |
| <FONT color="green">411</FONT> il.append(new GETFIELD(cpg.addFieldref(className,<a name="line.411"></a> |
| <FONT color="green">412</FONT> DOM_FIELD, DOM_INTF_SIG)));<a name="line.412"></a> |
| <FONT color="green">413</FONT> local.setStart(il.append(new ASTORE(local.getIndex())));<a name="line.413"></a> |
| <FONT color="green">414</FONT> <a name="line.414"></a> |
| <FONT color="green">415</FONT> // Store the dom index in the test generator<a name="line.415"></a> |
| <FONT color="green">416</FONT> testGen.setDomIndex(local.getIndex());<a name="line.416"></a> |
| <FONT color="green">417</FONT> <a name="line.417"></a> |
| <FONT color="green">418</FONT> _exp.translate(filterGen, testGen);<a name="line.418"></a> |
| <FONT color="green">419</FONT> il.append(IRETURN);<a name="line.419"></a> |
| <FONT color="green">420</FONT> <a name="line.420"></a> |
| <FONT color="green">421</FONT> filterGen.addEmptyConstructor(ACC_PUBLIC);<a name="line.421"></a> |
| <FONT color="green">422</FONT> filterGen.addMethod(testGen);<a name="line.422"></a> |
| <FONT color="green">423</FONT> <a name="line.423"></a> |
| <FONT color="green">424</FONT> getXSLTC().dumpClass(filterGen.getJavaClass());<a name="line.424"></a> |
| <FONT color="green">425</FONT> }<a name="line.425"></a> |
| <FONT color="green">426</FONT> <a name="line.426"></a> |
| <FONT color="green">427</FONT> /**<a name="line.427"></a> |
| <FONT color="green">428</FONT> * Returns true if the predicate is a test for the existance of an<a name="line.428"></a> |
| <FONT color="green">429</FONT> * element or attribute. All we have to do is to get the first node<a name="line.429"></a> |
| <FONT color="green">430</FONT> * from the step, check if it is there, and then return true/false.<a name="line.430"></a> |
| <FONT color="green">431</FONT> */<a name="line.431"></a> |
| <FONT color="green">432</FONT> public boolean isBooleanTest() {<a name="line.432"></a> |
| <FONT color="green">433</FONT> return (_exp instanceof BooleanExpr);<a name="line.433"></a> |
| <FONT color="green">434</FONT> }<a name="line.434"></a> |
| <FONT color="green">435</FONT> <a name="line.435"></a> |
| <FONT color="green">436</FONT> /**<a name="line.436"></a> |
| <FONT color="green">437</FONT> * Method to see if we can optimise the predicate by using a specialised<a name="line.437"></a> |
| <FONT color="green">438</FONT> * iterator for expressions like '/foo/bar[@attr = $var]', which are<a name="line.438"></a> |
| <FONT color="green">439</FONT> * very common in many stylesheets<a name="line.439"></a> |
| <FONT color="green">440</FONT> */<a name="line.440"></a> |
| <FONT color="green">441</FONT> public boolean isNodeValueTest() {<a name="line.441"></a> |
| <FONT color="green">442</FONT> if (!_canOptimize) return false;<a name="line.442"></a> |
| <FONT color="green">443</FONT> return (getStep() != null && getCompareValue() != null);<a name="line.443"></a> |
| <FONT color="green">444</FONT> }<a name="line.444"></a> |
| <FONT color="green">445</FONT> <a name="line.445"></a> |
| <FONT color="green">446</FONT> /**<a name="line.446"></a> |
| <FONT color="green">447</FONT> * Returns the step in an expression of the form 'step = value'. <a name="line.447"></a> |
| <FONT color="green">448</FONT> * Null is returned if the expression is not of the right form.<a name="line.448"></a> |
| <FONT color="green">449</FONT> * Optimization if off if null is returned.<a name="line.449"></a> |
| <FONT color="green">450</FONT> */<a name="line.450"></a> |
| <FONT color="green">451</FONT> public Step getStep() {<a name="line.451"></a> |
| <FONT color="green">452</FONT> // Returned cached value if called more than once<a name="line.452"></a> |
| <FONT color="green">453</FONT> if (_step != null) {<a name="line.453"></a> |
| <FONT color="green">454</FONT> return _step;<a name="line.454"></a> |
| <FONT color="green">455</FONT> }<a name="line.455"></a> |
| <FONT color="green">456</FONT> <a name="line.456"></a> |
| <FONT color="green">457</FONT> // Nothing to do if _exp is null<a name="line.457"></a> |
| <FONT color="green">458</FONT> if (_exp == null) {<a name="line.458"></a> |
| <FONT color="green">459</FONT> return null;<a name="line.459"></a> |
| <FONT color="green">460</FONT> }<a name="line.460"></a> |
| <FONT color="green">461</FONT> <a name="line.461"></a> |
| <FONT color="green">462</FONT> // Ignore if not equality expression<a name="line.462"></a> |
| <FONT color="green">463</FONT> if (_exp instanceof EqualityExpr) {<a name="line.463"></a> |
| <FONT color="green">464</FONT> EqualityExpr exp = (EqualityExpr)_exp;<a name="line.464"></a> |
| <FONT color="green">465</FONT> Expression left = exp.getLeft();<a name="line.465"></a> |
| <FONT color="green">466</FONT> Expression right = exp.getRight();<a name="line.466"></a> |
| <FONT color="green">467</FONT> <a name="line.467"></a> |
| <FONT color="green">468</FONT> // Unwrap and set _step if appropriate<a name="line.468"></a> |
| <FONT color="green">469</FONT> if (left instanceof CastExpr) {<a name="line.469"></a> |
| <FONT color="green">470</FONT> left = ((CastExpr) left).getExpr();<a name="line.470"></a> |
| <FONT color="green">471</FONT> }<a name="line.471"></a> |
| <FONT color="green">472</FONT> if (left instanceof Step) {<a name="line.472"></a> |
| <FONT color="green">473</FONT> _step = (Step) left;<a name="line.473"></a> |
| <FONT color="green">474</FONT> }<a name="line.474"></a> |
| <FONT color="green">475</FONT> <a name="line.475"></a> |
| <FONT color="green">476</FONT> // Unwrap and set _step if appropriate<a name="line.476"></a> |
| <FONT color="green">477</FONT> if (right instanceof CastExpr) {<a name="line.477"></a> |
| <FONT color="green">478</FONT> right = ((CastExpr)right).getExpr();<a name="line.478"></a> |
| <FONT color="green">479</FONT> }<a name="line.479"></a> |
| <FONT color="green">480</FONT> if (right instanceof Step) {<a name="line.480"></a> |
| <FONT color="green">481</FONT> _step = (Step)right;<a name="line.481"></a> |
| <FONT color="green">482</FONT> }<a name="line.482"></a> |
| <FONT color="green">483</FONT> }<a name="line.483"></a> |
| <FONT color="green">484</FONT> return _step;<a name="line.484"></a> |
| <FONT color="green">485</FONT> }<a name="line.485"></a> |
| <FONT color="green">486</FONT> <a name="line.486"></a> |
| <FONT color="green">487</FONT> /**<a name="line.487"></a> |
| <FONT color="green">488</FONT> * Returns the value in an expression of the form 'step = value'. <a name="line.488"></a> |
| <FONT color="green">489</FONT> * A value may be either a literal string or a variable whose <a name="line.489"></a> |
| <FONT color="green">490</FONT> * type is string. Optimization if off if null is returned.<a name="line.490"></a> |
| <FONT color="green">491</FONT> */<a name="line.491"></a> |
| <FONT color="green">492</FONT> public Expression getCompareValue() {<a name="line.492"></a> |
| <FONT color="green">493</FONT> // Returned cached value if called more than once<a name="line.493"></a> |
| <FONT color="green">494</FONT> if (_value != null) {<a name="line.494"></a> |
| <FONT color="green">495</FONT> return _value;<a name="line.495"></a> |
| <FONT color="green">496</FONT> }<a name="line.496"></a> |
| <FONT color="green">497</FONT> <a name="line.497"></a> |
| <FONT color="green">498</FONT> // Nothing to to do if _exp is null<a name="line.498"></a> |
| <FONT color="green">499</FONT> if (_exp == null) {<a name="line.499"></a> |
| <FONT color="green">500</FONT> return null;<a name="line.500"></a> |
| <FONT color="green">501</FONT> }<a name="line.501"></a> |
| <FONT color="green">502</FONT> <a name="line.502"></a> |
| <FONT color="green">503</FONT> // Ignore if not an equality expression<a name="line.503"></a> |
| <FONT color="green">504</FONT> if (_exp instanceof EqualityExpr) {<a name="line.504"></a> |
| <FONT color="green">505</FONT> EqualityExpr exp = (EqualityExpr) _exp;<a name="line.505"></a> |
| <FONT color="green">506</FONT> Expression left = exp.getLeft();<a name="line.506"></a> |
| <FONT color="green">507</FONT> Expression right = exp.getRight();<a name="line.507"></a> |
| <FONT color="green">508</FONT> <a name="line.508"></a> |
| <FONT color="green">509</FONT> // Return if left is literal string<a name="line.509"></a> |
| <FONT color="green">510</FONT> if (left instanceof LiteralExpr) {<a name="line.510"></a> |
| <FONT color="green">511</FONT> _value = left;<a name="line.511"></a> |
| <FONT color="green">512</FONT> return _value;<a name="line.512"></a> |
| <FONT color="green">513</FONT> }<a name="line.513"></a> |
| <FONT color="green">514</FONT> // Return if left is a variable reference of type string<a name="line.514"></a> |
| <FONT color="green">515</FONT> if (left instanceof VariableRefBase &&<a name="line.515"></a> |
| <FONT color="green">516</FONT> left.getType() == Type.String) <a name="line.516"></a> |
| <FONT color="green">517</FONT> {<a name="line.517"></a> |
| <FONT color="green">518</FONT> _value = left;<a name="line.518"></a> |
| <FONT color="green">519</FONT> return _value;<a name="line.519"></a> |
| <FONT color="green">520</FONT> }<a name="line.520"></a> |
| <FONT color="green">521</FONT> <a name="line.521"></a> |
| <FONT color="green">522</FONT> // Return if right is literal string<a name="line.522"></a> |
| <FONT color="green">523</FONT> if (right instanceof LiteralExpr) {<a name="line.523"></a> |
| <FONT color="green">524</FONT> _value = right;<a name="line.524"></a> |
| <FONT color="green">525</FONT> return _value;<a name="line.525"></a> |
| <FONT color="green">526</FONT> }<a name="line.526"></a> |
| <FONT color="green">527</FONT> // Return if left is a variable reference whose type is string<a name="line.527"></a> |
| <FONT color="green">528</FONT> if (right instanceof VariableRefBase &&<a name="line.528"></a> |
| <FONT color="green">529</FONT> right.getType() == Type.String) <a name="line.529"></a> |
| <FONT color="green">530</FONT> {<a name="line.530"></a> |
| <FONT color="green">531</FONT> _value = right;<a name="line.531"></a> |
| <FONT color="green">532</FONT> return _value;<a name="line.532"></a> |
| <FONT color="green">533</FONT> }<a name="line.533"></a> |
| <FONT color="green">534</FONT> }<a name="line.534"></a> |
| <FONT color="green">535</FONT> return null;<a name="line.535"></a> |
| <FONT color="green">536</FONT> }<a name="line.536"></a> |
| <FONT color="green">537</FONT> <a name="line.537"></a> |
| <FONT color="green">538</FONT> /**<a name="line.538"></a> |
| <FONT color="green">539</FONT> * Translate a predicate expression. This translation pushes<a name="line.539"></a> |
| <FONT color="green">540</FONT> * two references on the stack: a reference to a newly created<a name="line.540"></a> |
| <FONT color="green">541</FONT> * filter object and a reference to the predicate's closure.<a name="line.541"></a> |
| <FONT color="green">542</FONT> */<a name="line.542"></a> |
| <FONT color="green">543</FONT> public void translateFilter(ClassGenerator classGen,<a name="line.543"></a> |
| <FONT color="green">544</FONT> MethodGenerator methodGen) <a name="line.544"></a> |
| <FONT color="green">545</FONT> {<a name="line.545"></a> |
| <FONT color="green">546</FONT> final ConstantPoolGen cpg = classGen.getConstantPool();<a name="line.546"></a> |
| <FONT color="green">547</FONT> final InstructionList il = methodGen.getInstructionList();<a name="line.547"></a> |
| <FONT color="green">548</FONT> <a name="line.548"></a> |
| <FONT color="green">549</FONT> // Compile auxiliary class for filter<a name="line.549"></a> |
| <FONT color="green">550</FONT> compileFilter(classGen, methodGen);<a name="line.550"></a> |
| <FONT color="green">551</FONT> <a name="line.551"></a> |
| <FONT color="green">552</FONT> // Create new instance of filter<a name="line.552"></a> |
| <FONT color="green">553</FONT> il.append(new NEW(cpg.addClass(_className)));<a name="line.553"></a> |
| <FONT color="green">554</FONT> il.append(DUP);<a name="line.554"></a> |
| <FONT color="green">555</FONT> il.append(new INVOKESPECIAL(cpg.addMethodref(_className,<a name="line.555"></a> |
| <FONT color="green">556</FONT> "<init>", "()V")));<a name="line.556"></a> |
| <FONT color="green">557</FONT> <a name="line.557"></a> |
| <FONT color="green">558</FONT> // Initialize closure variables<a name="line.558"></a> |
| <FONT color="green">559</FONT> final int length = (_closureVars == null) ? 0 : _closureVars.size();<a name="line.559"></a> |
| <FONT color="green">560</FONT> <a name="line.560"></a> |
| <FONT color="green">561</FONT> for (int i = 0; i < length; i++) {<a name="line.561"></a> |
| <FONT color="green">562</FONT> VariableRefBase varRef = (VariableRefBase) _closureVars.get(i);<a name="line.562"></a> |
| <FONT color="green">563</FONT> VariableBase var = varRef.getVariable();<a name="line.563"></a> |
| <FONT color="green">564</FONT> Type varType = var.getType();<a name="line.564"></a> |
| <FONT color="green">565</FONT> <a name="line.565"></a> |
| <FONT color="green">566</FONT> il.append(DUP);<a name="line.566"></a> |
| <FONT color="green">567</FONT> <a name="line.567"></a> |
| <FONT color="green">568</FONT> // Find nearest closure implemented as an inner class<a name="line.568"></a> |
| <FONT color="green">569</FONT> Closure variableClosure = _parentClosure;<a name="line.569"></a> |
| <FONT color="green">570</FONT> while (variableClosure != null) {<a name="line.570"></a> |
| <FONT color="green">571</FONT> if (variableClosure.inInnerClass()) break;<a name="line.571"></a> |
| <FONT color="green">572</FONT> variableClosure = variableClosure.getParentClosure();<a name="line.572"></a> |
| <FONT color="green">573</FONT> }<a name="line.573"></a> |
| <FONT color="green">574</FONT> <a name="line.574"></a> |
| <FONT color="green">575</FONT> // Use getfield if in an inner class<a name="line.575"></a> |
| <FONT color="green">576</FONT> if (variableClosure != null) {<a name="line.576"></a> |
| <FONT color="green">577</FONT> il.append(ALOAD_0);<a name="line.577"></a> |
| <FONT color="green">578</FONT> il.append(new GETFIELD(<a name="line.578"></a> |
| <FONT color="green">579</FONT> cpg.addFieldref(variableClosure.getInnerClassName(), <a name="line.579"></a> |
| <FONT color="green">580</FONT> var.getEscapedName(), varType.toSignature())));<a name="line.580"></a> |
| <FONT color="green">581</FONT> }<a name="line.581"></a> |
| <FONT color="green">582</FONT> else {<a name="line.582"></a> |
| <FONT color="green">583</FONT> // Use a load of instruction if in translet class<a name="line.583"></a> |
| <FONT color="green">584</FONT> il.append(var.loadInstruction());<a name="line.584"></a> |
| <FONT color="green">585</FONT> }<a name="line.585"></a> |
| <FONT color="green">586</FONT> <a name="line.586"></a> |
| <FONT color="green">587</FONT> // Store variable in new closure<a name="line.587"></a> |
| <FONT color="green">588</FONT> il.append(new PUTFIELD(<a name="line.588"></a> |
| <FONT color="green">589</FONT> cpg.addFieldref(_className, var.getEscapedName(), <a name="line.589"></a> |
| <FONT color="green">590</FONT> varType.toSignature())));<a name="line.590"></a> |
| <FONT color="green">591</FONT> }<a name="line.591"></a> |
| <FONT color="green">592</FONT> }<a name="line.592"></a> |
| <FONT color="green">593</FONT> <a name="line.593"></a> |
| <FONT color="green">594</FONT> /**<a name="line.594"></a> |
| <FONT color="green">595</FONT> * Translate a predicate expression. If non of the optimizations apply<a name="line.595"></a> |
| <FONT color="green">596</FONT> * then this translation pushes two references on the stack: a reference <a name="line.596"></a> |
| <FONT color="green">597</FONT> * to a newly created filter object and a reference to the predicate's <a name="line.597"></a> |
| <FONT color="green">598</FONT> * closure. See class <code>Step</code> for further details.<a name="line.598"></a> |
| <FONT color="green">599</FONT> */<a name="line.599"></a> |
| <FONT color="green">600</FONT> public void translate(ClassGenerator classGen, MethodGenerator methodGen) {<a name="line.600"></a> |
| <FONT color="green">601</FONT> <a name="line.601"></a> |
| <FONT color="green">602</FONT> final ConstantPoolGen cpg = classGen.getConstantPool();<a name="line.602"></a> |
| <FONT color="green">603</FONT> final InstructionList il = methodGen.getInstructionList();<a name="line.603"></a> |
| <FONT color="green">604</FONT> <a name="line.604"></a> |
| <FONT color="green">605</FONT> if (_nthPositionFilter || _nthDescendant) {<a name="line.605"></a> |
| <FONT color="green">606</FONT> _exp.translate(classGen, methodGen);<a name="line.606"></a> |
| <FONT color="green">607</FONT> }<a name="line.607"></a> |
| <FONT color="green">608</FONT> else if (isNodeValueTest() && (getParent() instanceof Step)) {<a name="line.608"></a> |
| <FONT color="green">609</FONT> _value.translate(classGen, methodGen);<a name="line.609"></a> |
| <FONT color="green">610</FONT> il.append(new CHECKCAST(cpg.addClass(STRING_CLASS)));<a name="line.610"></a> |
| <FONT color="green">611</FONT> il.append(new PUSH(cpg, ((EqualityExpr)_exp).getOp()));<a name="line.611"></a> |
| <FONT color="green">612</FONT> }<a name="line.612"></a> |
| <FONT color="green">613</FONT> else {<a name="line.613"></a> |
| <FONT color="green">614</FONT> translateFilter(classGen, methodGen);<a name="line.614"></a> |
| <FONT color="green">615</FONT> }<a name="line.615"></a> |
| <FONT color="green">616</FONT> }<a name="line.616"></a> |
| <FONT color="green">617</FONT> }<a name="line.617"></a> |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| </PRE> |
| </BODY> |
| </HTML> |
