Deleted stale files.

1 files changed, 0 insertions, 69 deletions

diff --git a/src/grammar/ForClauseElements.java b/src/grammar/ForClauseElements.java
deleted file mode 100644
index d35a1dd..0000000
--- a/src/grammar/ForClauseElements.java
+++ /dev/null
@@ -1,69 +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;

-

-/**

- * ForClauseElements

- * Creation date: (3/3/2003 2:28:43 AM)

- * @author: mattia parigiani, Sorin Stancu-Mara, Andrei Aiordachioaie

- */

-

-public class ForClauseElements implements IParseTreeNode

-{

-	CoverageList coverageList;

-	ForClauseElements next;

-	String var;

-

-	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;

-	}

-}