1 files changed, 49 insertions, 0 deletions
diff --git a/src/grammar/EncodedCoverageExpr.java b/src/grammar/EncodedCoverageExpr.java
new file mode 100644
index 0000000..77cc1a1
--- /dev/null
+++ b/src/grammar/EncodedCoverageExpr.java
@@ -0,0 +1,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;
+	}	
+}