summaryrefslogtreecommitdiffstats
path: root/src/grammar/CoverageExpr.java
diff options
context:
space:
mode:
authorAndrei Aiordachioaie <a.aiordachioaie@jacobs-university.de>2010-02-25 21:38:18 +0100
committerAndrei Aiordachioaie <a.aiordachioaie@jacobs-university.de>2010-02-25 21:39:29 +0100
commit75125f7cc75ae2464f6c7179582cf2b7020a8517 (patch)
treed4e288b76c2ff38f946e95158e0cfd5928ff9ef4 /src/grammar/CoverageExpr.java
parentafc14a783f8635a23874508f63f414f0790d689c (diff)
Deleted stale files.
Diffstat (limited to 'src/grammar/CoverageExpr.java')
-rw-r--r--src/grammar/CoverageExpr.java126
1 files changed, 0 insertions, 126 deletions
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
- }
-}