aboutsummaryrefslogtreecommitdiff
path: root/src/com/sun/org/apache/xalan/internal/xsltc/compiler/RelationalExpr.java
diff options
context:
space:
mode:
Diffstat (limited to 'src/com/sun/org/apache/xalan/internal/xsltc/compiler/RelationalExpr.java')
-rw-r--r--src/com/sun/org/apache/xalan/internal/xsltc/compiler/RelationalExpr.java283
1 files changed, 0 insertions, 283 deletions
diff --git a/src/com/sun/org/apache/xalan/internal/xsltc/compiler/RelationalExpr.java b/src/com/sun/org/apache/xalan/internal/xsltc/compiler/RelationalExpr.java
deleted file mode 100644
index fca7e67..0000000
--- a/src/com/sun/org/apache/xalan/internal/xsltc/compiler/RelationalExpr.java
+++ /dev/null
@@ -1,283 +0,0 @@
-/*
- * reserved comment block
- * DO NOT REMOVE OR ALTER!
- */
-/*
- * Copyright 2001-2004 The Apache Software Foundation.
- *
- * Licensed under the Apache License, Version 2.0 (the "License");
- * you may not use this file except in compliance with the License.
- * You may obtain a copy of the License at
- *
- * http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
-/*
- * $Id: RelationalExpr.java,v 1.2.4.1 2005/09/12 11:05:00 pvedula Exp $
- */
-
-package com.sun.org.apache.xalan.internal.xsltc.compiler;
-
-import com.sun.org.apache.bcel.internal.generic.BranchInstruction;
-import com.sun.org.apache.bcel.internal.generic.ConstantPoolGen;
-import com.sun.org.apache.bcel.internal.generic.INVOKESTATIC;
-import com.sun.org.apache.bcel.internal.generic.InstructionList;
-import com.sun.org.apache.bcel.internal.generic.PUSH;
-import com.sun.org.apache.xalan.internal.xsltc.compiler.util.BooleanType;
-import com.sun.org.apache.xalan.internal.xsltc.compiler.util.ClassGenerator;
-import com.sun.org.apache.xalan.internal.xsltc.compiler.util.ErrorMsg;
-import com.sun.org.apache.xalan.internal.xsltc.compiler.util.IntType;
-import com.sun.org.apache.xalan.internal.xsltc.compiler.util.MethodGenerator;
-import com.sun.org.apache.xalan.internal.xsltc.compiler.util.MethodType;
-import com.sun.org.apache.xalan.internal.xsltc.compiler.util.NodeSetType;
-import com.sun.org.apache.xalan.internal.xsltc.compiler.util.NodeType;
-import com.sun.org.apache.xalan.internal.xsltc.compiler.util.RealType;
-import com.sun.org.apache.xalan.internal.xsltc.compiler.util.ReferenceType;
-import com.sun.org.apache.xalan.internal.xsltc.compiler.util.ResultTreeType;
-import com.sun.org.apache.xalan.internal.xsltc.compiler.util.Type;
-import com.sun.org.apache.xalan.internal.xsltc.compiler.util.TypeCheckError;
-import com.sun.org.apache.xalan.internal.xsltc.runtime.Operators;
-
-/**
- * @author Jacek Ambroziak
- * @author Santiago Pericas-Geertsen
- */
-final class RelationalExpr extends Expression {
-
- private int _op;
- private Expression _left, _right;
-
- public RelationalExpr(int op, Expression left, Expression right) {
- _op = op;
- (_left = left).setParent(this);
- (_right = right).setParent(this);
- }
-
- public void setParser(Parser parser) {
- super.setParser(parser);
- _left.setParser(parser);
- _right.setParser(parser);
- }
-
- /**
- * Returns true if this expressions contains a call to position(). This is
- * needed for context changes in node steps containing multiple predicates.
- */
- public boolean hasPositionCall() {
- if (_left.hasPositionCall()) return true;
- if (_right.hasPositionCall()) return true;
- return false;
- }
-
- /**
- * Returns true if this expressions contains a call to last()
- */
- public boolean hasLastCall() {
- return (_left.hasLastCall() || _right.hasLastCall());
- }
-
- public boolean hasReferenceArgs() {
- return _left.getType() instanceof ReferenceType ||
- _right.getType() instanceof ReferenceType;
- }
-
- public boolean hasNodeArgs() {
- return _left.getType() instanceof NodeType ||
- _right.getType() instanceof NodeType;
- }
-
- public boolean hasNodeSetArgs() {
- return _left.getType() instanceof NodeSetType ||
- _right.getType() instanceof NodeSetType;
- }
-
- public Type typeCheck(SymbolTable stable) throws TypeCheckError {
- Type tleft = _left.typeCheck(stable);
- Type tright = _right.typeCheck(stable);
-
- //bug fix # 2838, cast to reals if both are result tree fragments
- if (tleft instanceof ResultTreeType &&
- tright instanceof ResultTreeType )
- {
- _right = new CastExpr(_right, Type.Real);
- _left = new CastExpr(_left, Type.Real);
- return _type = Type.Boolean;
- }
-
- // If one is of reference type, then convert the other too
- if (hasReferenceArgs()) {
- Type type = null;
- Type typeL = null;
- Type typeR = null;
- if (tleft instanceof ReferenceType) {
- if (_left instanceof VariableRefBase) {
- VariableRefBase ref = (VariableRefBase)_left;
- VariableBase var = ref.getVariable();
- typeL = var.getType();
- }
- }
- if (tright instanceof ReferenceType) {
- if (_right instanceof VariableRefBase) {
- VariableRefBase ref = (VariableRefBase)_right;
- VariableBase var = ref.getVariable();
- typeR = var.getType();
- }
- }
- // bug fix # 2838
- if (typeL == null)
- type = typeR;
- else if (typeR == null)
- type = typeL;
- else {
- type = Type.Real;
- }
- if (type == null) type = Type.Real;
-
- _right = new CastExpr(_right, type);
- _left = new CastExpr(_left, type);
- return _type = Type.Boolean;
- }
-
- if (hasNodeSetArgs()) {
- // Ensure that the node-set is the left argument
- if (tright instanceof NodeSetType) {
- final Expression temp = _right; _right = _left; _left = temp;
- _op = (_op == Operators.GT) ? Operators.LT :
- (_op == Operators.LT) ? Operators.GT :
- (_op == Operators.GE) ? Operators.LE : Operators.GE;
- tright = _right.getType();
- }
-
- // Promote nodes to node sets
- if (tright instanceof NodeType) {
- _right = new CastExpr(_right, Type.NodeSet);
- }
- // Promote integer to doubles to have fewer compares
- if (tright instanceof IntType) {
- _right = new CastExpr(_right, Type.Real);
- }
- // Promote result-trees to strings
- if (tright instanceof ResultTreeType) {
- _right = new CastExpr(_right, Type.String);
- }
- return _type = Type.Boolean;
- }
-
- // In the node-boolean case, convert node to boolean first
- if (hasNodeArgs()) {
- if (tleft instanceof BooleanType) {
- _right = new CastExpr(_right, Type.Boolean);
- tright = Type.Boolean;
- }
- if (tright instanceof BooleanType) {
- _left = new CastExpr(_left, Type.Boolean);
- tleft = Type.Boolean;
- }
- }
-
- // Lookup the table of primops to find the best match
- MethodType ptype = lookupPrimop(stable, Operators.getOpNames(_op),
- new MethodType(Type.Void, tleft, tright));
-
- if (ptype != null) {
- Type arg1 = (Type) ptype.argsType().elementAt(0);
- if (!arg1.identicalTo(tleft)) {
- _left = new CastExpr(_left, arg1);
- }
- Type arg2 = (Type) ptype.argsType().elementAt(1);
- if (!arg2.identicalTo(tright)) {
- _right = new CastExpr(_right, arg1);
- }
- return _type = ptype.resultType();
- }
- throw new TypeCheckError(this);
- }
-
- public void translate(ClassGenerator classGen, MethodGenerator methodGen) {
- if (hasNodeSetArgs() || hasReferenceArgs()) {
- final ConstantPoolGen cpg = classGen.getConstantPool();
- final InstructionList il = methodGen.getInstructionList();
-
- // Call compare() from the BasisLibrary
- _left.translate(classGen, methodGen);
- _left.startIterator(classGen, methodGen);
- _right.translate(classGen, methodGen);
- _right.startIterator(classGen, methodGen);
-
- il.append(new PUSH(cpg, _op));
- il.append(methodGen.loadDOM());
-
- int index = cpg.addMethodref(BASIS_LIBRARY_CLASS, "compare",
- "("
- + _left.getType().toSignature()
- + _right.getType().toSignature()
- + "I"
- + DOM_INTF_SIG
- + ")Z");
- il.append(new INVOKESTATIC(index));
- }
- else {
- translateDesynthesized(classGen, methodGen);
- synthesize(classGen, methodGen);
- }
- }
-
- public void translateDesynthesized(ClassGenerator classGen,
- MethodGenerator methodGen) {
- if (hasNodeSetArgs() || hasReferenceArgs()) {
- translate(classGen, methodGen);
- desynthesize(classGen, methodGen);
- }
- else {
- BranchInstruction bi = null;
- final InstructionList il = methodGen.getInstructionList();
-
- _left.translate(classGen, methodGen);
- _right.translate(classGen, methodGen);
-
- // TODO: optimize if one of the args is 0
-
- boolean tozero = false;
- Type tleft = _left.getType();
-
- if (tleft instanceof RealType) {
- il.append(tleft.CMP(_op == Operators.LT || _op == Operators.LE));
- tleft = Type.Int;
- tozero = true;
- }
-
- switch (_op) {
- case Operators.LT:
- bi = tleft.GE(tozero);
- break;
-
- case Operators.GT:
- bi = tleft.LE(tozero);
- break;
-
- case Operators.LE:
- bi = tleft.GT(tozero);
- break;
-
- case Operators.GE:
- bi = tleft.LT(tozero);
- break;
-
- default:
- ErrorMsg msg = new ErrorMsg(ErrorMsg.ILLEGAL_RELAT_OP_ERR,this);
- getParser().reportError(Constants.FATAL, msg);
- }
-
- _falseList.add(il.append(bi)); // must be backpatched
- }
- }
-
- public String toString() {
- return Operators.getOpNames(_op) + '(' + _left + ", " + _right + ')';
- }
-}
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-25 14:39:02 +0000