| <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: EqualityExpr.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 org.apache.bcel.generic.BranchHandle;<a name="line.24"></a> |
| <FONT color="green">025</FONT> import org.apache.bcel.generic.BranchInstruction;<a name="line.25"></a> |
| <FONT color="green">026</FONT> import org.apache.bcel.generic.ConstantPoolGen;<a name="line.26"></a> |
| <FONT color="green">027</FONT> import org.apache.bcel.generic.GOTO;<a name="line.27"></a> |
| <FONT color="green">028</FONT> import org.apache.bcel.generic.IFEQ;<a name="line.28"></a> |
| <FONT color="green">029</FONT> import org.apache.bcel.generic.IFNE;<a name="line.29"></a> |
| <FONT color="green">030</FONT> import org.apache.bcel.generic.IF_ICMPEQ;<a name="line.30"></a> |
| <FONT color="green">031</FONT> import org.apache.bcel.generic.IF_ICMPNE;<a name="line.31"></a> |
| <FONT color="green">032</FONT> import org.apache.bcel.generic.INVOKESTATIC;<a name="line.32"></a> |
| <FONT color="green">033</FONT> import org.apache.bcel.generic.INVOKEVIRTUAL;<a name="line.33"></a> |
| <FONT color="green">034</FONT> import org.apache.bcel.generic.InstructionList;<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.xalan.xsltc.compiler.util.BooleanType;<a name="line.36"></a> |
| <FONT color="green">037</FONT> import org.apache.xalan.xsltc.compiler.util.ClassGenerator;<a name="line.37"></a> |
| <FONT color="green">038</FONT> import org.apache.xalan.xsltc.compiler.util.IntType;<a name="line.38"></a> |
| <FONT color="green">039</FONT> import org.apache.xalan.xsltc.compiler.util.MethodGenerator;<a name="line.39"></a> |
| <FONT color="green">040</FONT> import org.apache.xalan.xsltc.compiler.util.NodeSetType;<a name="line.40"></a> |
| <FONT color="green">041</FONT> import org.apache.xalan.xsltc.compiler.util.NodeType;<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.RealType;<a name="line.43"></a> |
| <FONT color="green">044</FONT> import org.apache.xalan.xsltc.compiler.util.ReferenceType;<a name="line.44"></a> |
| <FONT color="green">045</FONT> import org.apache.xalan.xsltc.compiler.util.ResultTreeType;<a name="line.45"></a> |
| <FONT color="green">046</FONT> import org.apache.xalan.xsltc.compiler.util.StringType;<a name="line.46"></a> |
| <FONT color="green">047</FONT> import org.apache.xalan.xsltc.compiler.util.Type;<a name="line.47"></a> |
| <FONT color="green">048</FONT> import org.apache.xalan.xsltc.compiler.util.TypeCheckError;<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> * @author Erwin Bolwidt <ejb@klomp.org><a name="line.55"></a> |
| <FONT color="green">056</FONT> */<a name="line.56"></a> |
| <FONT color="green">057</FONT> final class EqualityExpr extends Expression {<a name="line.57"></a> |
| <FONT color="green">058</FONT> <a name="line.58"></a> |
| <FONT color="green">059</FONT> private final int _op;<a name="line.59"></a> |
| <FONT color="green">060</FONT> private Expression _left;<a name="line.60"></a> |
| <FONT color="green">061</FONT> private Expression _right;<a name="line.61"></a> |
| <FONT color="green">062</FONT> <a name="line.62"></a> |
| <FONT color="green">063</FONT> public EqualityExpr(int op, Expression left, Expression right) {<a name="line.63"></a> |
| <FONT color="green">064</FONT> _op = op;<a name="line.64"></a> |
| <FONT color="green">065</FONT> (_left = left).setParent(this);<a name="line.65"></a> |
| <FONT color="green">066</FONT> (_right = right).setParent(this);<a name="line.66"></a> |
| <FONT color="green">067</FONT> }<a name="line.67"></a> |
| <FONT color="green">068</FONT> <a name="line.68"></a> |
| <FONT color="green">069</FONT> public void setParser(Parser parser) {<a name="line.69"></a> |
| <FONT color="green">070</FONT> super.setParser(parser);<a name="line.70"></a> |
| <FONT color="green">071</FONT> _left.setParser(parser);<a name="line.71"></a> |
| <FONT color="green">072</FONT> _right.setParser(parser);<a name="line.72"></a> |
| <FONT color="green">073</FONT> }<a name="line.73"></a> |
| <FONT color="green">074</FONT> <a name="line.74"></a> |
| <FONT color="green">075</FONT> public String toString() {<a name="line.75"></a> |
| <FONT color="green">076</FONT> return Operators.getOpNames(_op) + '(' + _left + ", " + _right + ')';<a name="line.76"></a> |
| <FONT color="green">077</FONT> }<a name="line.77"></a> |
| <FONT color="green">078</FONT> <a name="line.78"></a> |
| <FONT color="green">079</FONT> public Expression getLeft() {<a name="line.79"></a> |
| <FONT color="green">080</FONT> return _left;<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> public Expression getRight() {<a name="line.83"></a> |
| <FONT color="green">084</FONT> return _right;<a name="line.84"></a> |
| <FONT color="green">085</FONT> }<a name="line.85"></a> |
| <FONT color="green">086</FONT> <a name="line.86"></a> |
| <FONT color="green">087</FONT> public boolean getOp() {<a name="line.87"></a> |
| <FONT color="green">088</FONT> return (_op != Operators.NE);<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> /**<a name="line.91"></a> |
| <FONT color="green">092</FONT> * Returns true if this expressions contains a call to position(). This is<a name="line.92"></a> |
| <FONT color="green">093</FONT> * needed for context changes in node steps containing multiple predicates.<a name="line.93"></a> |
| <FONT color="green">094</FONT> */<a name="line.94"></a> |
| <FONT color="green">095</FONT> public boolean hasPositionCall() {<a name="line.95"></a> |
| <FONT color="green">096</FONT> if (_left.hasPositionCall()) return true;<a name="line.96"></a> |
| <FONT color="green">097</FONT> if (_right.hasPositionCall()) return true;<a name="line.97"></a> |
| <FONT color="green">098</FONT> return false;<a name="line.98"></a> |
| <FONT color="green">099</FONT> }<a name="line.99"></a> |
| <FONT color="green">100</FONT> <a name="line.100"></a> |
| <FONT color="green">101</FONT> public boolean hasLastCall() {<a name="line.101"></a> |
| <FONT color="green">102</FONT> if (_left.hasLastCall()) return true;<a name="line.102"></a> |
| <FONT color="green">103</FONT> if (_right.hasLastCall()) return true;<a name="line.103"></a> |
| <FONT color="green">104</FONT> return false;<a name="line.104"></a> |
| <FONT color="green">105</FONT> }<a name="line.105"></a> |
| <FONT color="green">106</FONT> <a name="line.106"></a> |
| <FONT color="green">107</FONT> private void swapArguments() {<a name="line.107"></a> |
| <FONT color="green">108</FONT> final Expression temp = _left;<a name="line.108"></a> |
| <FONT color="green">109</FONT> _left = _right;<a name="line.109"></a> |
| <FONT color="green">110</FONT> _right = temp;<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> /**<a name="line.113"></a> |
| <FONT color="green">114</FONT> * Typing rules: see XSLT Reference by M. Kay page 345.<a name="line.114"></a> |
| <FONT color="green">115</FONT> */<a name="line.115"></a> |
| <FONT color="green">116</FONT> public Type typeCheck(SymbolTable stable) throws TypeCheckError {<a name="line.116"></a> |
| <FONT color="green">117</FONT> final Type tleft = _left.typeCheck(stable); <a name="line.117"></a> |
| <FONT color="green">118</FONT> final Type tright = _right.typeCheck(stable);<a name="line.118"></a> |
| <FONT color="green">119</FONT> <a name="line.119"></a> |
| <FONT color="green">120</FONT> if (tleft.isSimple() && tright.isSimple()) {<a name="line.120"></a> |
| <FONT color="green">121</FONT> if (tleft != tright) {<a name="line.121"></a> |
| <FONT color="green">122</FONT> if (tleft instanceof BooleanType) {<a name="line.122"></a> |
| <FONT color="green">123</FONT> _right = new CastExpr(_right, Type.Boolean);<a name="line.123"></a> |
| <FONT color="green">124</FONT> }<a name="line.124"></a> |
| <FONT color="green">125</FONT> else if (tright instanceof BooleanType) {<a name="line.125"></a> |
| <FONT color="green">126</FONT> _left = new CastExpr(_left, Type.Boolean);<a name="line.126"></a> |
| <FONT color="green">127</FONT> }<a name="line.127"></a> |
| <FONT color="green">128</FONT> else if (tleft instanceof NumberType || <a name="line.128"></a> |
| <FONT color="green">129</FONT> tright instanceof NumberType) {<a name="line.129"></a> |
| <FONT color="green">130</FONT> _left = new CastExpr(_left, Type.Real);<a name="line.130"></a> |
| <FONT color="green">131</FONT> _right = new CastExpr(_right, Type.Real);<a name="line.131"></a> |
| <FONT color="green">132</FONT> }<a name="line.132"></a> |
| <FONT color="green">133</FONT> else { // both compared as strings<a name="line.133"></a> |
| <FONT color="green">134</FONT> _left = new CastExpr(_left, Type.String);<a name="line.134"></a> |
| <FONT color="green">135</FONT> _right = new CastExpr(_right, Type.String);<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> }<a name="line.138"></a> |
| <FONT color="green">139</FONT> else if (tleft instanceof ReferenceType) {<a name="line.139"></a> |
| <FONT color="green">140</FONT> _right = new CastExpr(_right, Type.Reference);<a name="line.140"></a> |
| <FONT color="green">141</FONT> }<a name="line.141"></a> |
| <FONT color="green">142</FONT> else if (tright instanceof ReferenceType) {<a name="line.142"></a> |
| <FONT color="green">143</FONT> _left = new CastExpr(_left, Type.Reference);<a name="line.143"></a> |
| <FONT color="green">144</FONT> }<a name="line.144"></a> |
| <FONT color="green">145</FONT> // the following 2 cases optimize @attr|.|.. = 'string'<a name="line.145"></a> |
| <FONT color="green">146</FONT> else if (tleft instanceof NodeType && tright == Type.String) {<a name="line.146"></a> |
| <FONT color="green">147</FONT> _left = new CastExpr(_left, Type.String);<a name="line.147"></a> |
| <FONT color="green">148</FONT> }<a name="line.148"></a> |
| <FONT color="green">149</FONT> else if (tleft == Type.String && tright instanceof NodeType) {<a name="line.149"></a> |
| <FONT color="green">150</FONT> _right = new CastExpr(_right, Type.String);<a name="line.150"></a> |
| <FONT color="green">151</FONT> }<a name="line.151"></a> |
| <FONT color="green">152</FONT> // optimize node/node<a name="line.152"></a> |
| <FONT color="green">153</FONT> else if (tleft instanceof NodeType && tright instanceof NodeType) {<a name="line.153"></a> |
| <FONT color="green">154</FONT> _left = new CastExpr(_left, Type.String);<a name="line.154"></a> |
| <FONT color="green">155</FONT> _right = new CastExpr(_right, Type.String);<a name="line.155"></a> |
| <FONT color="green">156</FONT> }<a name="line.156"></a> |
| <FONT color="green">157</FONT> else if (tleft instanceof NodeType && tright instanceof NodeSetType) {<a name="line.157"></a> |
| <FONT color="green">158</FONT> // compare(Node, NodeSet) will be invoked<a name="line.158"></a> |
| <FONT color="green">159</FONT> }<a name="line.159"></a> |
| <FONT color="green">160</FONT> else if (tleft instanceof NodeSetType && tright instanceof NodeType) {<a name="line.160"></a> |
| <FONT color="green">161</FONT> swapArguments(); // for compare(Node, NodeSet)<a name="line.161"></a> |
| <FONT color="green">162</FONT> }<a name="line.162"></a> |
| <FONT color="green">163</FONT> else { <a name="line.163"></a> |
| <FONT color="green">164</FONT> // At least one argument is of type node, node-set or result-tree<a name="line.164"></a> |
| <FONT color="green">165</FONT> <a name="line.165"></a> |
| <FONT color="green">166</FONT> // Promote an expression of type node to node-set<a name="line.166"></a> |
| <FONT color="green">167</FONT> if (tleft instanceof NodeType) {<a name="line.167"></a> |
| <FONT color="green">168</FONT> _left = new CastExpr(_left, Type.NodeSet);<a name="line.168"></a> |
| <FONT color="green">169</FONT> }<a name="line.169"></a> |
| <FONT color="green">170</FONT> if (tright instanceof NodeType) {<a name="line.170"></a> |
| <FONT color="green">171</FONT> _right = new CastExpr(_right, Type.NodeSet);<a name="line.171"></a> |
| <FONT color="green">172</FONT> }<a name="line.172"></a> |
| <FONT color="green">173</FONT> <a name="line.173"></a> |
| <FONT color="green">174</FONT> // If one arg is a node-set then make it the left one<a name="line.174"></a> |
| <FONT color="green">175</FONT> if (tleft.isSimple() ||<a name="line.175"></a> |
| <FONT color="green">176</FONT> tleft instanceof ResultTreeType &&<a name="line.176"></a> |
| <FONT color="green">177</FONT> tright instanceof NodeSetType) {<a name="line.177"></a> |
| <FONT color="green">178</FONT> swapArguments();<a name="line.178"></a> |
| <FONT color="green">179</FONT> }<a name="line.179"></a> |
| <FONT color="green">180</FONT> <a name="line.180"></a> |
| <FONT color="green">181</FONT> // Promote integers to doubles to have fewer compares<a name="line.181"></a> |
| <FONT color="green">182</FONT> if (_right.getType() instanceof IntType) {<a name="line.182"></a> |
| <FONT color="green">183</FONT> _right = new CastExpr(_right, Type.Real);<a name="line.183"></a> |
| <FONT color="green">184</FONT> }<a name="line.184"></a> |
| <FONT color="green">185</FONT> }<a name="line.185"></a> |
| <FONT color="green">186</FONT> return _type = Type.Boolean;<a name="line.186"></a> |
| <FONT color="green">187</FONT> }<a name="line.187"></a> |
| <FONT color="green">188</FONT> <a name="line.188"></a> |
| <FONT color="green">189</FONT> public void translateDesynthesized(ClassGenerator classGen,<a name="line.189"></a> |
| <FONT color="green">190</FONT> MethodGenerator methodGen) {<a name="line.190"></a> |
| <FONT color="green">191</FONT> final Type tleft = _left.getType();<a name="line.191"></a> |
| <FONT color="green">192</FONT> final InstructionList il = methodGen.getInstructionList();<a name="line.192"></a> |
| <FONT color="green">193</FONT> <a name="line.193"></a> |
| <FONT color="green">194</FONT> if (tleft instanceof BooleanType) {<a name="line.194"></a> |
| <FONT color="green">195</FONT> _left.translate(classGen, methodGen);<a name="line.195"></a> |
| <FONT color="green">196</FONT> _right.translate(classGen, methodGen);<a name="line.196"></a> |
| <FONT color="green">197</FONT> _falseList.add(il.append(_op == Operators.EQ ? <a name="line.197"></a> |
| <FONT color="green">198</FONT> (BranchInstruction)new IF_ICMPNE(null) :<a name="line.198"></a> |
| <FONT color="green">199</FONT> (BranchInstruction)new IF_ICMPEQ(null)));<a name="line.199"></a> |
| <FONT color="green">200</FONT> }<a name="line.200"></a> |
| <FONT color="green">201</FONT> else if (tleft instanceof NumberType) {<a name="line.201"></a> |
| <FONT color="green">202</FONT> _left.translate(classGen, methodGen);<a name="line.202"></a> |
| <FONT color="green">203</FONT> _right.translate(classGen, methodGen);<a name="line.203"></a> |
| <FONT color="green">204</FONT> <a name="line.204"></a> |
| <FONT color="green">205</FONT> if (tleft instanceof RealType) {<a name="line.205"></a> |
| <FONT color="green">206</FONT> il.append(DCMPG);<a name="line.206"></a> |
| <FONT color="green">207</FONT> _falseList.add(il.append(_op == Operators.EQ ? <a name="line.207"></a> |
| <FONT color="green">208</FONT> (BranchInstruction)new IFNE(null) : <a name="line.208"></a> |
| <FONT color="green">209</FONT> (BranchInstruction)new IFEQ(null)));<a name="line.209"></a> |
| <FONT color="green">210</FONT> }<a name="line.210"></a> |
| <FONT color="green">211</FONT> else {<a name="line.211"></a> |
| <FONT color="green">212</FONT> _falseList.add(il.append(_op == Operators.EQ ? <a name="line.212"></a> |
| <FONT color="green">213</FONT> (BranchInstruction)new IF_ICMPNE(null) :<a name="line.213"></a> |
| <FONT color="green">214</FONT> (BranchInstruction)new IF_ICMPEQ(null)));<a name="line.214"></a> |
| <FONT color="green">215</FONT> }<a name="line.215"></a> |
| <FONT color="green">216</FONT> }<a name="line.216"></a> |
| <FONT color="green">217</FONT> else {<a name="line.217"></a> |
| <FONT color="green">218</FONT> translate(classGen, methodGen);<a name="line.218"></a> |
| <FONT color="green">219</FONT> desynthesize(classGen, methodGen);<a name="line.219"></a> |
| <FONT color="green">220</FONT> }<a name="line.220"></a> |
| <FONT color="green">221</FONT> }<a name="line.221"></a> |
| <FONT color="green">222</FONT> <a name="line.222"></a> |
| <FONT color="green">223</FONT> public void translate(ClassGenerator classGen, MethodGenerator methodGen) {<a name="line.223"></a> |
| <FONT color="green">224</FONT> final ConstantPoolGen cpg = classGen.getConstantPool();<a name="line.224"></a> |
| <FONT color="green">225</FONT> final InstructionList il = methodGen.getInstructionList();<a name="line.225"></a> |
| <FONT color="green">226</FONT> <a name="line.226"></a> |
| <FONT color="green">227</FONT> final Type tleft = _left.getType();<a name="line.227"></a> |
| <FONT color="green">228</FONT> Type tright = _right.getType();<a name="line.228"></a> |
| <FONT color="green">229</FONT> <a name="line.229"></a> |
| <FONT color="green">230</FONT> if (tleft instanceof BooleanType || tleft instanceof NumberType) {<a name="line.230"></a> |
| <FONT color="green">231</FONT> translateDesynthesized(classGen, methodGen);<a name="line.231"></a> |
| <FONT color="green">232</FONT> synthesize(classGen, methodGen);<a name="line.232"></a> |
| <FONT color="green">233</FONT> return;<a name="line.233"></a> |
| <FONT color="green">234</FONT> }<a name="line.234"></a> |
| <FONT color="green">235</FONT> <a name="line.235"></a> |
| <FONT color="green">236</FONT> if (tleft instanceof StringType) {<a name="line.236"></a> |
| <FONT color="green">237</FONT> final int equals = cpg.addMethodref(STRING_CLASS,<a name="line.237"></a> |
| <FONT color="green">238</FONT> "equals",<a name="line.238"></a> |
| <FONT color="green">239</FONT> "(" + OBJECT_SIG +")Z");<a name="line.239"></a> |
| <FONT color="green">240</FONT> _left.translate(classGen, methodGen);<a name="line.240"></a> |
| <FONT color="green">241</FONT> _right.translate(classGen, methodGen);<a name="line.241"></a> |
| <FONT color="green">242</FONT> il.append(new INVOKEVIRTUAL(equals));<a name="line.242"></a> |
| <FONT color="green">243</FONT> <a name="line.243"></a> |
| <FONT color="green">244</FONT> if (_op == Operators.NE) {<a name="line.244"></a> |
| <FONT color="green">245</FONT> il.append(ICONST_1);<a name="line.245"></a> |
| <FONT color="green">246</FONT> il.append(IXOR); // not x <-> x xor 1<a name="line.246"></a> |
| <FONT color="green">247</FONT> }<a name="line.247"></a> |
| <FONT color="green">248</FONT> return;<a name="line.248"></a> |
| <FONT color="green">249</FONT> }<a name="line.249"></a> |
| <FONT color="green">250</FONT> <a name="line.250"></a> |
| <FONT color="green">251</FONT> BranchHandle truec, falsec;<a name="line.251"></a> |
| <FONT color="green">252</FONT> <a name="line.252"></a> |
| <FONT color="green">253</FONT> if (tleft instanceof ResultTreeType) {<a name="line.253"></a> |
| <FONT color="green">254</FONT> if (tright instanceof BooleanType) {<a name="line.254"></a> |
| <FONT color="green">255</FONT> _right.translate(classGen, methodGen);<a name="line.255"></a> |
| <FONT color="green">256</FONT> if (_op == Operators.NE) {<a name="line.256"></a> |
| <FONT color="green">257</FONT> il.append(ICONST_1);<a name="line.257"></a> |
| <FONT color="green">258</FONT> il.append(IXOR); // not x <-> x xor 1<a name="line.258"></a> |
| <FONT color="green">259</FONT> }<a name="line.259"></a> |
| <FONT color="green">260</FONT> return;<a name="line.260"></a> |
| <FONT color="green">261</FONT> }<a name="line.261"></a> |
| <FONT color="green">262</FONT> <a name="line.262"></a> |
| <FONT color="green">263</FONT> if (tright instanceof RealType) {<a name="line.263"></a> |
| <FONT color="green">264</FONT> _left.translate(classGen, methodGen);<a name="line.264"></a> |
| <FONT color="green">265</FONT> tleft.translateTo(classGen, methodGen, Type.Real);<a name="line.265"></a> |
| <FONT color="green">266</FONT> _right.translate(classGen, methodGen);<a name="line.266"></a> |
| <FONT color="green">267</FONT> <a name="line.267"></a> |
| <FONT color="green">268</FONT> il.append(DCMPG);<a name="line.268"></a> |
| <FONT color="green">269</FONT> falsec = il.append(_op == Operators.EQ ? <a name="line.269"></a> |
| <FONT color="green">270</FONT> (BranchInstruction) new IFNE(null) : <a name="line.270"></a> |
| <FONT color="green">271</FONT> (BranchInstruction) new IFEQ(null));<a name="line.271"></a> |
| <FONT color="green">272</FONT> il.append(ICONST_1);<a name="line.272"></a> |
| <FONT color="green">273</FONT> truec = il.append(new GOTO(null));<a name="line.273"></a> |
| <FONT color="green">274</FONT> falsec.setTarget(il.append(ICONST_0));<a name="line.274"></a> |
| <FONT color="green">275</FONT> truec.setTarget(il.append(NOP));<a name="line.275"></a> |
| <FONT color="green">276</FONT> return;<a name="line.276"></a> |
| <FONT color="green">277</FONT> }<a name="line.277"></a> |
| <FONT color="green">278</FONT> <a name="line.278"></a> |
| <FONT color="green">279</FONT> // Next, result-tree/string and result-tree/result-tree comparisons<a name="line.279"></a> |
| <FONT color="green">280</FONT> <a name="line.280"></a> |
| <FONT color="green">281</FONT> _left.translate(classGen, methodGen);<a name="line.281"></a> |
| <FONT color="green">282</FONT> tleft.translateTo(classGen, methodGen, Type.String);<a name="line.282"></a> |
| <FONT color="green">283</FONT> _right.translate(classGen, methodGen);<a name="line.283"></a> |
| <FONT color="green">284</FONT> <a name="line.284"></a> |
| <FONT color="green">285</FONT> if (tright instanceof ResultTreeType) {<a name="line.285"></a> |
| <FONT color="green">286</FONT> tright.translateTo(classGen, methodGen, Type.String);<a name="line.286"></a> |
| <FONT color="green">287</FONT> }<a name="line.287"></a> |
| <FONT color="green">288</FONT> <a name="line.288"></a> |
| <FONT color="green">289</FONT> final int equals = cpg.addMethodref(STRING_CLASS,<a name="line.289"></a> |
| <FONT color="green">290</FONT> "equals",<a name="line.290"></a> |
| <FONT color="green">291</FONT> "(" +OBJECT_SIG+ ")Z");<a name="line.291"></a> |
| <FONT color="green">292</FONT> il.append(new INVOKEVIRTUAL(equals));<a name="line.292"></a> |
| <FONT color="green">293</FONT> <a name="line.293"></a> |
| <FONT color="green">294</FONT> if (_op == Operators.NE) {<a name="line.294"></a> |
| <FONT color="green">295</FONT> il.append(ICONST_1);<a name="line.295"></a> |
| <FONT color="green">296</FONT> il.append(IXOR); // not x <-> x xor 1<a name="line.296"></a> |
| <FONT color="green">297</FONT> }<a name="line.297"></a> |
| <FONT color="green">298</FONT> return;<a name="line.298"></a> |
| <FONT color="green">299</FONT> }<a name="line.299"></a> |
| <FONT color="green">300</FONT> <a name="line.300"></a> |
| <FONT color="green">301</FONT> if (tleft instanceof NodeSetType && tright instanceof BooleanType) {<a name="line.301"></a> |
| <FONT color="green">302</FONT> _left.translate(classGen, methodGen);<a name="line.302"></a> |
| <FONT color="green">303</FONT> _left.startIterator(classGen, methodGen);<a name="line.303"></a> |
| <FONT color="green">304</FONT> Type.NodeSet.translateTo(classGen, methodGen, Type.Boolean);<a name="line.304"></a> |
| <FONT color="green">305</FONT> _right.translate(classGen, methodGen);<a name="line.305"></a> |
| <FONT color="green">306</FONT> <a name="line.306"></a> |
| <FONT color="green">307</FONT> il.append(IXOR); // x != y <-> x xor y<a name="line.307"></a> |
| <FONT color="green">308</FONT> if (_op == Operators.EQ) {<a name="line.308"></a> |
| <FONT color="green">309</FONT> il.append(ICONST_1);<a name="line.309"></a> |
| <FONT color="green">310</FONT> il.append(IXOR); // not x <-> x xor 1<a name="line.310"></a> |
| <FONT color="green">311</FONT> }<a name="line.311"></a> |
| <FONT color="green">312</FONT> return;<a name="line.312"></a> |
| <FONT color="green">313</FONT> }<a name="line.313"></a> |
| <FONT color="green">314</FONT> <a name="line.314"></a> |
| <FONT color="green">315</FONT> if (tleft instanceof NodeSetType && tright instanceof StringType) {<a name="line.315"></a> |
| <FONT color="green">316</FONT> _left.translate(classGen, methodGen);<a name="line.316"></a> |
| <FONT color="green">317</FONT> _left.startIterator(classGen, methodGen); // needed ?<a name="line.317"></a> |
| <FONT color="green">318</FONT> _right.translate(classGen, methodGen);<a name="line.318"></a> |
| <FONT color="green">319</FONT> il.append(new PUSH(cpg, _op));<a name="line.319"></a> |
| <FONT color="green">320</FONT> il.append(methodGen.loadDOM());<a name="line.320"></a> |
| <FONT color="green">321</FONT> final int cmp = cpg.addMethodref(BASIS_LIBRARY_CLASS,<a name="line.321"></a> |
| <FONT color="green">322</FONT> "compare",<a name="line.322"></a> |
| <FONT color="green">323</FONT> "("<a name="line.323"></a> |
| <FONT color="green">324</FONT> + tleft.toSignature() <a name="line.324"></a> |
| <FONT color="green">325</FONT> + tright.toSignature()<a name="line.325"></a> |
| <FONT color="green">326</FONT> + "I"<a name="line.326"></a> |
| <FONT color="green">327</FONT> + DOM_INTF_SIG<a name="line.327"></a> |
| <FONT color="green">328</FONT> + ")Z");<a name="line.328"></a> |
| <FONT color="green">329</FONT> il.append(new INVOKESTATIC(cmp));<a name="line.329"></a> |
| <FONT color="green">330</FONT> return;<a name="line.330"></a> |
| <FONT color="green">331</FONT> }<a name="line.331"></a> |
| <FONT color="green">332</FONT> <a name="line.332"></a> |
| <FONT color="green">333</FONT> // Next, node-set/t for t in {real, string, node-set, result-tree}<a name="line.333"></a> |
| <FONT color="green">334</FONT> _left.translate(classGen, methodGen);<a name="line.334"></a> |
| <FONT color="green">335</FONT> _left.startIterator(classGen, methodGen);<a name="line.335"></a> |
| <FONT color="green">336</FONT> _right.translate(classGen, methodGen);<a name="line.336"></a> |
| <FONT color="green">337</FONT> _right.startIterator(classGen, methodGen);<a name="line.337"></a> |
| <FONT color="green">338</FONT> <a name="line.338"></a> |
| <FONT color="green">339</FONT> // Cast a result tree to a string to use an existing compare<a name="line.339"></a> |
| <FONT color="green">340</FONT> if (tright instanceof ResultTreeType) {<a name="line.340"></a> |
| <FONT color="green">341</FONT> tright.translateTo(classGen, methodGen, Type.String); <a name="line.341"></a> |
| <FONT color="green">342</FONT> tright = Type.String;<a name="line.342"></a> |
| <FONT color="green">343</FONT> }<a name="line.343"></a> |
| <FONT color="green">344</FONT> <a name="line.344"></a> |
| <FONT color="green">345</FONT> // Call the appropriate compare() from the BasisLibrary<a name="line.345"></a> |
| <FONT color="green">346</FONT> il.append(new PUSH(cpg, _op));<a name="line.346"></a> |
| <FONT color="green">347</FONT> il.append(methodGen.loadDOM());<a name="line.347"></a> |
| <FONT color="green">348</FONT> <a name="line.348"></a> |
| <FONT color="green">349</FONT> final int compare = cpg.addMethodref(BASIS_LIBRARY_CLASS,<a name="line.349"></a> |
| <FONT color="green">350</FONT> "compare",<a name="line.350"></a> |
| <FONT color="green">351</FONT> "("<a name="line.351"></a> |
| <FONT color="green">352</FONT> + tleft.toSignature() <a name="line.352"></a> |
| <FONT color="green">353</FONT> + tright.toSignature()<a name="line.353"></a> |
| <FONT color="green">354</FONT> + "I"<a name="line.354"></a> |
| <FONT color="green">355</FONT> + DOM_INTF_SIG<a name="line.355"></a> |
| <FONT color="green">356</FONT> + ")Z");<a name="line.356"></a> |
| <FONT color="green">357</FONT> il.append(new INVOKESTATIC(compare));<a name="line.357"></a> |
| <FONT color="green">358</FONT> }<a name="line.358"></a> |
| <FONT color="green">359</FONT> }<a name="line.359"></a> |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| </PRE> |
| </BODY> |
| </HTML> |
