From 75125f7cc75ae2464f6c7179582cf2b7020a8517 Mon Sep 17 00:00:00 2001
From: Andrei Aiordachioaie <a.aiordachioaie@jacobs-university.de>
Date: Thu, 25 Feb 2010 21:38:18 +0100
Subject: Deleted stale files.

---
 src/grammar/CoverageExpr.java | 126 ------------------------------------------
 1 file changed, 126 deletions(-)
 delete mode 100644 src/grammar/CoverageExpr.java

(limited to 'src/grammar/CoverageExpr.java')

diff --git a/src/grammar/CoverageExpr.java b/src/grammar/CoverageExpr.java
deleted file mode 100644
index ed8f96d..0000000
--- a/src/grammar/CoverageExpr.java
+++ /dev/null
@@ -1,126 +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 grammar;
-
-/**
- * CoverageExpr
- * Creation date: (3/3/2003 2:28:43 AM)
- * @author: mattia parigiani, Sorin Stancu-Mara, Andrei Aiordachioaie
- */
-public class CoverageExpr implements IParseTreeNode
-{
-	String coverageName;
-	IParseTreeNode expr, e1, e2;
-	String function;
-	String op;
-
-	public CoverageExpr(IParseTreeNode n)
-	{
-		expr     = n;
-		function = "child";
-	}
-
-	public CoverageExpr(String n)
-	{
-		coverageName = n;
-		function     = "coverage";
-	}
-
-	/* Unary Induced Expressions */
-	public CoverageExpr(String op, CoverageExpr ce)
-	{
-		expr     = ce;
-		function = "unaryOp";
-		this.op  = op;
-	}
-
-	public CoverageExpr(String op, CoverageExpr e1, CoverageExpr e2)
-	{
-		function = "binaryOp";
-		this.op  = op;
-		this.e1  = e1;
-		this.e2  = e2;
-	}
-
-	public String toXML()
-	{
-        String result = "";
-
-		if (function.equals("coverage"))
-		{
-			result = "<coverage>" + coverageName + "</coverage>";
-		}
-		else if (function.equals("binaryOp"))
-		{
-            formatOperation();
-			result = "<" + op + ">" + e1.toXML() + e2.toXML() + "</" + op + ">";
-		}
-		else if (function.equals("unaryOp"))
-		{
-            formatOperation();
-            if (op.equals("plus"))
-                op = "unaryPlus";
-            if (op.equals("minus"))
-                op = "unaryMinus";
-			result = "<" + op + ">" + expr.toXML() + "</" + op + ">";
-		}
-		else if (function.equals("child"))
-		{
-			result = expr.toXML();
-		}
-
-		return result;
-	}
-
-    private void formatOperation()
-    {
-        if (op.equals("+"))
-            op = "plus";
-        if (op.equals("-"))
-            op = "minus";
-        if (op.equals("*"))
-            op = "mult";
-        if (op.equals("/"))
-            op = "div";
-
-        // AND, OR, XOR stay the same
-
-        if (op.equals("="))
-            op = "equals";
-        if (op.equals("<"))
-            op = "lessThan";
-        if (op.equals(">"))
-            op = "greaterThan";
-        if (op.equals("<="))
-            op = "lessOrEqual";
-        if (op.equals(">="))
-            op = "greaterOrEqual";
-        if (op.equals("!="))
-            op = "notEqual";
-        
-        // OVERLAY stays the same
-    }
-}
-- 
cgit