/*
* This file is part of %PACKAGENAME%.
*
* %PACKAGENAME% 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.
*
* %PACKAGENAME% 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 %PACKAGENAME%. If not, see .
*
* For more information please see
* or contact Peter Baumann via .
*
* Copyright 2009 Jacobs University Bremen, Peter Baumann.
*/
package grammar;
public class CoverageList implements IParseTreeNode
{
private String coverageName;
private CoverageList next;
public CoverageList(String c)
{
coverageName = c;
next = null;
}
public CoverageList(String c, CoverageList l)
{
coverageName = c;
next = l;
}
public String toXML()
{
String result = "" + coverageName + "";
if (next != null)
{
result += next.toXML();
}
return result;
}
}