From 33d75ff4aab0f98db56874ec16ec9a4e440aab55 Mon Sep 17 00:00:00 2001 From: Andrei Aiordachioaie Date: Mon, 25 May 2009 10:18:29 +0200 Subject: Removed old grammar source files --- src/syntaxParser/EncodedCoverageExpr.java | 60 ------------------------------- 1 file changed, 60 deletions(-) delete mode 100644 src/syntaxParser/EncodedCoverageExpr.java (limited to 'src/syntaxParser/EncodedCoverageExpr.java') diff --git a/src/syntaxParser/EncodedCoverageExpr.java b/src/syntaxParser/EncodedCoverageExpr.java deleted file mode 100644 index 2d5f783..0000000 --- a/src/syntaxParser/EncodedCoverageExpr.java +++ /dev/null @@ -1,60 +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 . - * - * 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; - } -} -- cgit