diff options
Diffstat (limited to 'src/syntaxParser/EncodedCoverageExpr.java')
| -rw-r--r-- | src/syntaxParser/EncodedCoverageExpr.java | 60 |
1 files changed, 0 insertions, 60 deletions
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 <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; - -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= "<encode>" ; - if (store) result = "<encode store=\"true\">"; - - result += "<format>" + formatName + "</format>" ; - if (extraParams != null ) { - result += "<extraParams>" + extraParams + "</extraParams>" ; - } - result += coverageExpr.toXML() ; - result+= "</encode>" ; - return result; - } -} |
