summaryrefslogtreecommitdiffstats
path: root/src/syntaxParser/ForClauseElements.java
diff options
context:
space:
mode:
Diffstat (limited to 'src/syntaxParser/ForClauseElements.java')
-rw-r--r--src/syntaxParser/ForClauseElements.java56
1 files changed, 0 insertions, 56 deletions
diff --git a/src/syntaxParser/ForClauseElements.java b/src/syntaxParser/ForClauseElements.java
deleted file mode 100644
index 82160b5..0000000
--- a/src/syntaxParser/ForClauseElements.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;
-
-import java.util.*;
-
-class ForClauseElements implements IParseTreeNode{
- String var;
- CoverageList coverageList;
- ForClauseElements next;
-
-
- public ForClauseElements( String v, CoverageList c ){
- var = v;
- coverageList = c;
- }
-
- public ForClauseElements( String v, CoverageList c, ForClauseElements next ){
- var = v;
- coverageList = c;
- this.next = next;
- }
-
- public String toXML(){
-
- String result="";
- result += "<coverageIterator>";
- result +="<iteratorVar>" + var + "</iteratorVar>" ;
- result += coverageList.toXML() ;
- result += "</coverageIterator>";
- if (next != null) {
- result += next.toXML();
- }
- return result;
- }
-}