blob: cd69343031be24724ff63688db6225a92fbe02d6 [file] [log] [blame]
<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: FilterExpr.java 1225842 2011-12-30 15:14:35Z mrglavas $<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.Vector;<a name="line.24"></a>
<FONT color="green">025</FONT> <a name="line.25"></a>
<FONT color="green">026</FONT> import org.apache.bcel.generic.ALOAD;<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.ConstantPoolGen;<a name="line.28"></a>
<FONT color="green">029</FONT> import org.apache.bcel.generic.ILOAD;<a name="line.29"></a>
<FONT color="green">030</FONT> import org.apache.bcel.generic.INVOKESPECIAL;<a name="line.30"></a>
<FONT color="green">031</FONT> import org.apache.bcel.generic.ISTORE;<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.xalan.xsltc.compiler.util.ClassGenerator;<a name="line.35"></a>
<FONT color="green">036</FONT> import org.apache.xalan.xsltc.compiler.util.MethodGenerator;<a name="line.36"></a>
<FONT color="green">037</FONT> import org.apache.xalan.xsltc.compiler.util.NodeSetType;<a name="line.37"></a>
<FONT color="green">038</FONT> import org.apache.xalan.xsltc.compiler.util.ReferenceType;<a name="line.38"></a>
<FONT color="green">039</FONT> import org.apache.xalan.xsltc.compiler.util.Type;<a name="line.39"></a>
<FONT color="green">040</FONT> import org.apache.xalan.xsltc.compiler.util.TypeCheckError;<a name="line.40"></a>
<FONT color="green">041</FONT> import org.apache.xalan.xsltc.compiler.util.Util;<a name="line.41"></a>
<FONT color="green">042</FONT> <a name="line.42"></a>
<FONT color="green">043</FONT> /**<a name="line.43"></a>
<FONT color="green">044</FONT> * @author Jacek Ambroziak<a name="line.44"></a>
<FONT color="green">045</FONT> * @author Santiago Pericas-Geertsen<a name="line.45"></a>
<FONT color="green">046</FONT> * @author Morten Jorgensen<a name="line.46"></a>
<FONT color="green">047</FONT> */<a name="line.47"></a>
<FONT color="green">048</FONT> class FilterExpr extends Expression {<a name="line.48"></a>
<FONT color="green">049</FONT> <a name="line.49"></a>
<FONT color="green">050</FONT> /**<a name="line.50"></a>
<FONT color="green">051</FONT> * Primary expression of this filter. I.e., 'e' in '(e)[p1]...[pn]'.<a name="line.51"></a>
<FONT color="green">052</FONT> */<a name="line.52"></a>
<FONT color="green">053</FONT> private Expression _primary;<a name="line.53"></a>
<FONT color="green">054</FONT> <a name="line.54"></a>
<FONT color="green">055</FONT> /**<a name="line.55"></a>
<FONT color="green">056</FONT> * Array of predicates in '(e)[p1]...[pn]'.<a name="line.56"></a>
<FONT color="green">057</FONT> */<a name="line.57"></a>
<FONT color="green">058</FONT> private final Vector _predicates;<a name="line.58"></a>
<FONT color="green">059</FONT> <a name="line.59"></a>
<FONT color="green">060</FONT> public FilterExpr(Expression primary, Vector predicates) {<a name="line.60"></a>
<FONT color="green">061</FONT> _primary = primary;<a name="line.61"></a>
<FONT color="green">062</FONT> _predicates = predicates;<a name="line.62"></a>
<FONT color="green">063</FONT> primary.setParent(this);<a name="line.63"></a>
<FONT color="green">064</FONT> }<a name="line.64"></a>
<FONT color="green">065</FONT> <a name="line.65"></a>
<FONT color="green">066</FONT> protected Expression getExpr() {<a name="line.66"></a>
<FONT color="green">067</FONT> if (_primary instanceof CastExpr)<a name="line.67"></a>
<FONT color="green">068</FONT> return ((CastExpr)_primary).getExpr();<a name="line.68"></a>
<FONT color="green">069</FONT> else<a name="line.69"></a>
<FONT color="green">070</FONT> return _primary;<a name="line.70"></a>
<FONT color="green">071</FONT> }<a name="line.71"></a>
<FONT color="green">072</FONT> <a name="line.72"></a>
<FONT color="green">073</FONT> public void setParser(Parser parser) {<a name="line.73"></a>
<FONT color="green">074</FONT> super.setParser(parser);<a name="line.74"></a>
<FONT color="green">075</FONT> _primary.setParser(parser);<a name="line.75"></a>
<FONT color="green">076</FONT> if (_predicates != null) {<a name="line.76"></a>
<FONT color="green">077</FONT> final int n = _predicates.size();<a name="line.77"></a>
<FONT color="green">078</FONT> for (int i = 0; i &lt; n; i++) {<a name="line.78"></a>
<FONT color="green">079</FONT> final Expression exp = (Expression)_predicates.elementAt(i);<a name="line.79"></a>
<FONT color="green">080</FONT> exp.setParser(parser);<a name="line.80"></a>
<FONT color="green">081</FONT> exp.setParent(this);<a name="line.81"></a>
<FONT color="green">082</FONT> }<a name="line.82"></a>
<FONT color="green">083</FONT> }<a name="line.83"></a>
<FONT color="green">084</FONT> }<a name="line.84"></a>
<FONT color="green">085</FONT> <a name="line.85"></a>
<FONT color="green">086</FONT> public String toString() {<a name="line.86"></a>
<FONT color="green">087</FONT> return "filter-expr(" + _primary + ", " + _predicates + ")";<a name="line.87"></a>
<FONT color="green">088</FONT> }<a name="line.88"></a>
<FONT color="green">089</FONT> <a name="line.89"></a>
<FONT color="green">090</FONT> /**<a name="line.90"></a>
<FONT color="green">091</FONT> * Type check a FilterParentPath. If the filter is not a node-set add a <a name="line.91"></a>
<FONT color="green">092</FONT> * cast to node-set only if it is of reference type. This type coercion <a name="line.92"></a>
<FONT color="green">093</FONT> * is needed for expressions like $x where $x is a parameter reference.<a name="line.93"></a>
<FONT color="green">094</FONT> * All optimizations are turned off before type checking underlying<a name="line.94"></a>
<FONT color="green">095</FONT> * predicates.<a name="line.95"></a>
<FONT color="green">096</FONT> */<a name="line.96"></a>
<FONT color="green">097</FONT> public Type typeCheck(SymbolTable stable) throws TypeCheckError {<a name="line.97"></a>
<FONT color="green">098</FONT> Type ptype = _primary.typeCheck(stable);<a name="line.98"></a>
<FONT color="green">099</FONT> boolean canOptimize = _primary instanceof KeyCall;<a name="line.99"></a>
<FONT color="green">100</FONT> <a name="line.100"></a>
<FONT color="green">101</FONT> if (ptype instanceof NodeSetType == false) {<a name="line.101"></a>
<FONT color="green">102</FONT> if (ptype instanceof ReferenceType) {<a name="line.102"></a>
<FONT color="green">103</FONT> _primary = new CastExpr(_primary, Type.NodeSet);<a name="line.103"></a>
<FONT color="green">104</FONT> }<a name="line.104"></a>
<FONT color="green">105</FONT> else {<a name="line.105"></a>
<FONT color="green">106</FONT> throw new TypeCheckError(this);<a name="line.106"></a>
<FONT color="green">107</FONT> }<a name="line.107"></a>
<FONT color="green">108</FONT> }<a name="line.108"></a>
<FONT color="green">109</FONT> <a name="line.109"></a>
<FONT color="green">110</FONT> // Type check predicates and turn all optimizations off if appropriate<a name="line.110"></a>
<FONT color="green">111</FONT> int n = _predicates.size();<a name="line.111"></a>
<FONT color="green">112</FONT> for (int i = 0; i &lt; n; i++) {<a name="line.112"></a>
<FONT color="green">113</FONT> Predicate pred = (Predicate) _predicates.elementAt(i);<a name="line.113"></a>
<FONT color="green">114</FONT> <a name="line.114"></a>
<FONT color="green">115</FONT> if (!canOptimize) {<a name="line.115"></a>
<FONT color="green">116</FONT> pred.dontOptimize();<a name="line.116"></a>
<FONT color="green">117</FONT> }<a name="line.117"></a>
<FONT color="green">118</FONT> pred.typeCheck(stable);<a name="line.118"></a>
<FONT color="green">119</FONT> }<a name="line.119"></a>
<FONT color="green">120</FONT> return _type = Type.NodeSet; <a name="line.120"></a>
<FONT color="green">121</FONT> }<a name="line.121"></a>
<FONT color="green">122</FONT> <a name="line.122"></a>
<FONT color="green">123</FONT> /**<a name="line.123"></a>
<FONT color="green">124</FONT> * Translate a filter expression by pushing the appropriate iterator<a name="line.124"></a>
<FONT color="green">125</FONT> * onto the stack.<a name="line.125"></a>
<FONT color="green">126</FONT> */<a name="line.126"></a>
<FONT color="green">127</FONT> public void translate(ClassGenerator classGen, MethodGenerator methodGen) {<a name="line.127"></a>
<FONT color="green">128</FONT> if (_predicates.size() &gt; 0) {<a name="line.128"></a>
<FONT color="green">129</FONT> translatePredicates(classGen, methodGen);<a name="line.129"></a>
<FONT color="green">130</FONT> }<a name="line.130"></a>
<FONT color="green">131</FONT> else {<a name="line.131"></a>
<FONT color="green">132</FONT> _primary.translate(classGen, methodGen);<a name="line.132"></a>
<FONT color="green">133</FONT> }<a name="line.133"></a>
<FONT color="green">134</FONT> }<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> * Translate a sequence of predicates. Each predicate is translated <a name="line.137"></a>
<FONT color="green">138</FONT> * by constructing an instance of &lt;code&gt;CurrentNodeListIterator&lt;/code&gt; <a name="line.138"></a>
<FONT color="green">139</FONT> * which is initialized from another iterator (recursive call), a <a name="line.139"></a>
<FONT color="green">140</FONT> * filter and a closure (call to translate on the predicate) and "this". <a name="line.140"></a>
<FONT color="green">141</FONT> */<a name="line.141"></a>
<FONT color="green">142</FONT> public void translatePredicates(ClassGenerator classGen,<a name="line.142"></a>
<FONT color="green">143</FONT> MethodGenerator methodGen) {<a name="line.143"></a>
<FONT color="green">144</FONT> final ConstantPoolGen cpg = classGen.getConstantPool();<a name="line.144"></a>
<FONT color="green">145</FONT> final InstructionList il = methodGen.getInstructionList();<a name="line.145"></a>
<FONT color="green">146</FONT> <a name="line.146"></a>
<FONT color="green">147</FONT> // If not predicates left, translate primary expression<a name="line.147"></a>
<FONT color="green">148</FONT> if (_predicates.size() == 0) {<a name="line.148"></a>
<FONT color="green">149</FONT> translate(classGen, methodGen);<a name="line.149"></a>
<FONT color="green">150</FONT> } else {<a name="line.150"></a>
<FONT color="green">151</FONT> // Remove the next predicate to be translated<a name="line.151"></a>
<FONT color="green">152</FONT> Predicate predicate = (Predicate)_predicates.lastElement();<a name="line.152"></a>
<FONT color="green">153</FONT> _predicates.remove(predicate);<a name="line.153"></a>
<FONT color="green">154</FONT> <a name="line.154"></a>
<FONT color="green">155</FONT> // Translate the rest of the predicates from right to left<a name="line.155"></a>
<FONT color="green">156</FONT> translatePredicates(classGen, methodGen);<a name="line.156"></a>
<FONT color="green">157</FONT> <a name="line.157"></a>
<FONT color="green">158</FONT> if (predicate.isNthPositionFilter()) {<a name="line.158"></a>
<FONT color="green">159</FONT> int nthIteratorIdx = cpg.addMethodref(NTH_ITERATOR_CLASS,<a name="line.159"></a>
<FONT color="green">160</FONT> "&lt;init&gt;",<a name="line.160"></a>
<FONT color="green">161</FONT> "("+NODE_ITERATOR_SIG+"I)V");<a name="line.161"></a>
<FONT color="green">162</FONT> <a name="line.162"></a>
<FONT color="green">163</FONT> // Backwards branches are prohibited if an uninitialized object<a name="line.163"></a>
<FONT color="green">164</FONT> // is on the stack by section 4.9.4 of the JVM Specification,<a name="line.164"></a>
<FONT color="green">165</FONT> // 2nd Ed. We don't know whether this code might contain<a name="line.165"></a>
<FONT color="green">166</FONT> // backwards branches, so we mustn't create the new object unti<a name="line.166"></a>
<FONT color="green">167</FONT> <a name="line.167"></a>
<FONT color="green">168</FONT> // after we've created the suspect arguments to its constructor<a name="line.168"></a>
<FONT color="green">169</FONT> <a name="line.169"></a>
<FONT color="green">170</FONT> // Instead we calculate the values of the arguments to the<a name="line.170"></a>
<FONT color="green">171</FONT> // constructor first, store them in temporary variables, create<a name="line.171"></a>
<FONT color="green">172</FONT> // the object and reload the arguments from the temporaries to<a name="line.172"></a>
<FONT color="green">173</FONT> // avoid the problem.<a name="line.173"></a>
<FONT color="green">174</FONT> LocalVariableGen iteratorTemp<a name="line.174"></a>
<FONT color="green">175</FONT> = methodGen.addLocalVariable("filter_expr_tmp1",<a name="line.175"></a>
<FONT color="green">176</FONT> Util.getJCRefType(NODE_ITERATOR_SIG),<a name="line.176"></a>
<FONT color="green">177</FONT> null, null);<a name="line.177"></a>
<FONT color="green">178</FONT> iteratorTemp.setStart(<a name="line.178"></a>
<FONT color="green">179</FONT> il.append(new ASTORE(iteratorTemp.getIndex())));<a name="line.179"></a>
<FONT color="green">180</FONT> <a name="line.180"></a>
<FONT color="green">181</FONT> predicate.translate(classGen, methodGen);<a name="line.181"></a>
<FONT color="green">182</FONT> LocalVariableGen predicateValueTemp<a name="line.182"></a>
<FONT color="green">183</FONT> = methodGen.addLocalVariable("filter_expr_tmp2",<a name="line.183"></a>
<FONT color="green">184</FONT> Util.getJCRefType("I"),<a name="line.184"></a>
<FONT color="green">185</FONT> null, null);<a name="line.185"></a>
<FONT color="green">186</FONT> predicateValueTemp.setStart(<a name="line.186"></a>
<FONT color="green">187</FONT> il.append(new ISTORE(predicateValueTemp.getIndex())));<a name="line.187"></a>
<FONT color="green">188</FONT> <a name="line.188"></a>
<FONT color="green">189</FONT> il.append(new NEW(cpg.addClass(NTH_ITERATOR_CLASS)));<a name="line.189"></a>
<FONT color="green">190</FONT> il.append(DUP);<a name="line.190"></a>
<FONT color="green">191</FONT> iteratorTemp.setEnd(<a name="line.191"></a>
<FONT color="green">192</FONT> il.append(new ALOAD(iteratorTemp.getIndex())));<a name="line.192"></a>
<FONT color="green">193</FONT> predicateValueTemp.setEnd(<a name="line.193"></a>
<FONT color="green">194</FONT> il.append(new ILOAD(predicateValueTemp.getIndex())));<a name="line.194"></a>
<FONT color="green">195</FONT> il.append(new INVOKESPECIAL(nthIteratorIdx));<a name="line.195"></a>
<FONT color="green">196</FONT> } else {<a name="line.196"></a>
<FONT color="green">197</FONT> // Translate predicates from right to left<a name="line.197"></a>
<FONT color="green">198</FONT> final int initCNLI =<a name="line.198"></a>
<FONT color="green">199</FONT> cpg.addMethodref(CURRENT_NODE_LIST_ITERATOR,<a name="line.199"></a>
<FONT color="green">200</FONT> "&lt;init&gt;",<a name="line.200"></a>
<FONT color="green">201</FONT> "("+NODE_ITERATOR_SIG+"Z"+<a name="line.201"></a>
<FONT color="green">202</FONT> CURRENT_NODE_LIST_FILTER_SIG +<a name="line.202"></a>
<FONT color="green">203</FONT> NODE_SIG+TRANSLET_SIG+")V");<a name="line.203"></a>
<FONT color="green">204</FONT> <a name="line.204"></a>
<FONT color="green">205</FONT> // Backwards branches are prohibited if an uninitialized object<a name="line.205"></a>
<FONT color="green">206</FONT> // is on the stack by section 4.9.4 of the JVM Specification,<a name="line.206"></a>
<FONT color="green">207</FONT> // 2nd Ed. We don't know whether this code might contain<a name="line.207"></a>
<FONT color="green">208</FONT> // backwards branches, so we mustn't create the new object<a name="line.208"></a>
<FONT color="green">209</FONT> // until after we've created the suspect arguments to its<a name="line.209"></a>
<FONT color="green">210</FONT> // constructor. Instead we calculate the values of the<a name="line.210"></a>
<FONT color="green">211</FONT> // arguments to the constructor first, store them in temporary<a name="line.211"></a>
<FONT color="green">212</FONT> // variables, create the object and reload the arguments from<a name="line.212"></a>
<FONT color="green">213</FONT> // the temporaries to avoid the problem.<a name="line.213"></a>
<FONT color="green">214</FONT> <a name="line.214"></a>
<FONT color="green">215</FONT> <a name="line.215"></a>
<FONT color="green">216</FONT> LocalVariableGen nodeIteratorTemp =<a name="line.216"></a>
<FONT color="green">217</FONT> methodGen.addLocalVariable("filter_expr_tmp1",<a name="line.217"></a>
<FONT color="green">218</FONT> Util.getJCRefType(NODE_ITERATOR_SIG),<a name="line.218"></a>
<FONT color="green">219</FONT> null, null);<a name="line.219"></a>
<FONT color="green">220</FONT> nodeIteratorTemp.setStart(<a name="line.220"></a>
<FONT color="green">221</FONT> il.append(new ASTORE(nodeIteratorTemp.getIndex())));<a name="line.221"></a>
<FONT color="green">222</FONT> <a name="line.222"></a>
<FONT color="green">223</FONT> predicate.translate(classGen, methodGen);<a name="line.223"></a>
<FONT color="green">224</FONT> LocalVariableGen filterTemp =<a name="line.224"></a>
<FONT color="green">225</FONT> methodGen.addLocalVariable("filter_expr_tmp2",<a name="line.225"></a>
<FONT color="green">226</FONT> Util.getJCRefType(CURRENT_NODE_LIST_FILTER_SIG),<a name="line.226"></a>
<FONT color="green">227</FONT> null, null);<a name="line.227"></a>
<FONT color="green">228</FONT> filterTemp.setStart(<a name="line.228"></a>
<FONT color="green">229</FONT> il.append(new ASTORE(filterTemp.getIndex())));<a name="line.229"></a>
<FONT color="green">230</FONT> <a name="line.230"></a>
<FONT color="green">231</FONT> // Create a CurrentNodeListIterator<a name="line.231"></a>
<FONT color="green">232</FONT> il.append(new NEW(cpg.addClass(CURRENT_NODE_LIST_ITERATOR)));<a name="line.232"></a>
<FONT color="green">233</FONT> il.append(DUP);<a name="line.233"></a>
<FONT color="green">234</FONT> <a name="line.234"></a>
<FONT color="green">235</FONT> // Initialize CurrentNodeListIterator<a name="line.235"></a>
<FONT color="green">236</FONT> nodeIteratorTemp.setEnd(<a name="line.236"></a>
<FONT color="green">237</FONT> il.append(new ALOAD(nodeIteratorTemp.getIndex())));<a name="line.237"></a>
<FONT color="green">238</FONT> il.append(ICONST_1);<a name="line.238"></a>
<FONT color="green">239</FONT> filterTemp.setEnd(il.append(new ALOAD(filterTemp.getIndex())));<a name="line.239"></a>
<FONT color="green">240</FONT> il.append(methodGen.loadCurrentNode());<a name="line.240"></a>
<FONT color="green">241</FONT> il.append(classGen.loadTranslet());<a name="line.241"></a>
<FONT color="green">242</FONT> il.append(new INVOKESPECIAL(initCNLI));<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> }<a name="line.245"></a>
<FONT color="green">246</FONT> }<a name="line.246"></a>
</PRE>
</BODY>
</HTML>