/*
* 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 .
*
* For more information please see
* or contact Peter Baumann via .
*
* Copyright 2009 Jacobs University Bremen, Peter Baumann.
*/
package syntaxParser;
class EncodedCoverageExpr implements IParseTreeNode {
CoverageExpr coverageExpr;
String formatName;
String extraParams;
boolean store;
public EncodedCoverageExpr( CoverageExpr ce , String fn ){
coverageExpr = ce;
formatName = fn;
extraParams = null;
store = false;
}
public EncodedCoverageExpr( CoverageExpr ce , String fn, String ep ){
coverageExpr = ce;
formatName = fn;
extraParams = ep;
store = false;
}
public void setStoreFlag() {
store = true;
}
public String toXML(){
String result= "" ;
if (store) result = "";
result += "" + formatName + "" ;
if (extraParams != null ) {
result += "" + extraParams + "" ;
}
result += coverageExpr.toXML() ;
result+= "" ;
return result;
}
}