1 files changed, 0 insertions, 56 deletions
diff --git a/src/syntaxParser/BinaryInducedExpr.java b/src/syntaxParser/BinaryInducedExpr.java
deleted file mode 100644
index bb796cc..0000000
--- a/src/syntaxParser/BinaryInducedExpr.java
+++ /dev/null
@@ -1,56 +0,0 @@
-/*
- * This file is part of Petascope.
- *
- * Petascope is free software: you can redistribute it and/or modify
- * it under the terms of the GNU Lesser General Public License as
- * published by the Free Software Foundation, either version 3 of
- * the License, or (at your option) any later version.
- *
- * Petascope is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
- * GNU Lesser General Public License for more details.
- *
- * You should have received a copy of the GNU Lesser General Public
- * License along with Petascope. If not, see <http://www.gnu.org/licenses/>.
- *
- * For more information please see <http://www.Petascope.org>
- * or contact Peter Baumann via <baumann@rasdaman.com>.
- *
- * Copyright 2009 Jacobs University Bremen, Peter Baumann.
- */
-
-package syntaxParser;
-
-class BinaryInducedExpr implements IParseTreeNode {
-
-	IParseTreeNode leftCoverageExpr;
-	IParseTreeNode rightCoverageExpr;
-    int wrapInScalar;
-	String operator;
-
-	public BinaryInducedExpr(  String o, IParseTreeNode le, IParseTreeNode re ){	
-		leftCoverageExpr = le;
-		rightCoverageExpr = re;
-        wrapInScalar = 0;
-		operator = o;
-	}
-	public BinaryInducedExpr(  String o, IParseTreeNode le, IParseTreeNode re, int wis ){	
-		leftCoverageExpr = le;
-		rightCoverageExpr = re;
-        wrapInScalar = wis;
-		operator = o;
-	}
-	public String toXML(){
-		String result="";
-		result = "<" + operator + ">";
-        if (wrapInScalar == -1) result += "<scalar>";
-		result += leftCoverageExpr.toXML();
-        if (wrapInScalar == -1) result += "</scalar>";
-        if (wrapInScalar == 1) result += "<scalar>";
-		result += rightCoverageExpr.toXML();
-        if (wrapInScalar == 1) result += "</scalar>";
-		result += "</" + operator + ">";
-		return result;
-	}
-}