1 files changed, 42 insertions, 0 deletions
diff --git a/src/syntaxParser/EncodedCoverageExpr.java b/src/syntaxParser/EncodedCoverageExpr.java
new file mode 100644
index 0000000..3f5f283
--- /dev/null
+++ b/src/syntaxParser/EncodedCoverageExpr.java
@@ -0,0 +1,42 @@
+package syntaxParser;
+/**
+ * EncodedCoverageExpr
+ * Creation date: (3/3/2003 2:28:43 AM)
+ * @author: mattia parigiani, Sorin Stancu-Mara
+ */
+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;
+	}	
+}