src/grammar/EncodedCoverageExpr.java


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

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 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;
	}	
}