summaryrefslogtreecommitdiffstats
path: root/src/grammar/EncodedCoverageExpr.java
blob: 9e9348262b7f75efdb5f2eb0ab44064d46883ada (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
/*
 * 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 <http://www.gnu.org/licenses/>.
 *
 * For more information please see <http://www.%PACKAGENAME%.org>
 * or contact Peter Baumann via <baumann@rasdaman.com>.
 *
 * Copyright 2009 Jacobs University Bremen, Peter Baumann.
 */

package grammar;

public class EncodedCoverageExpr implements IParseTreeNode
{
	CoverageExpr expr;
	String format;
	String extraParams;
	boolean store;
    
	public EncodedCoverageExpr( CoverageExpr ce , String fn )
    {
		expr = ce;
		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 = "<encode store=\"true\">";
        else
            result = "<encode store=\"false\">";

        result += expr.toXML();
		result += "<format>" + format + "</format>" ;
		if (extraParams != null )
		    result += "<extraParams>" + extraParams + "</extraParams>";

        result+=  "</encode>"  ;
        
		return result;
	}	
}