From 75125f7cc75ae2464f6c7179582cf2b7020a8517 Mon Sep 17 00:00:00 2001 From: Andrei Aiordachioaie Date: Thu, 25 Feb 2010 21:38:18 +0100 Subject: Deleted stale files. --- src/grammar/EncodedCoverageExpr.java | 88 ------------------------------------ 1 file changed, 88 deletions(-) delete mode 100644 src/grammar/EncodedCoverageExpr.java (limited to 'src/grammar/EncodedCoverageExpr.java') diff --git a/src/grammar/EncodedCoverageExpr.java b/src/grammar/EncodedCoverageExpr.java deleted file mode 100644 index 46c1eba..0000000 --- a/src/grammar/EncodedCoverageExpr.java +++ /dev/null @@ -1,88 +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 grammar; - -/** - * EncodedCoverageExpr - * Creation date: (3/3/2003 2:28:43 AM) - * @author: mattia parigiani, Sorin Stancu-Mara, Andrei Aiordachioaie - */ -public class EncodedCoverageExpr implements IParseTreeNode -{ - CoverageExpr expr; - String extraParams; - String format; - boolean store; - - public EncodedCoverageExpr(CoverageExpr ce, String fn) - { - expr = ce; - // remove double quotes - if (fn.getBytes()[0] == '"' && fn.getBytes()[fn.length()-1] == '"') - format = fn.substring(1, fn.length()-1); - else - format = fn; - - extraParams = null; - store = false; - } - - public void setParams(String params) - { - extraParams = params; - } - - public void setStoreFlag() - { - store = true; - } - - public String toXML() - { - String result = ""; - - if (store) - { - result = ""; - } - else - { - result = ""; - } - - result += expr.toXML(); - result += "" + format + ""; - - if (extraParams != null) - { - result += "" + extraParams + ""; - } - - result += ""; - - return result; - } -} -- cgit