From 0f1055b8d7f97d86c66fa602c17666bc2ff9c437 Mon Sep 17 00:00:00 2001
From: Constantin Jucovschi <cj@ubuntu.localdomain>
Date: Tue, 31 Mar 2009 06:18:54 -0400
Subject: Initial commit

---
 src/grammar/EncodedCoverageExpr.java | 49 ++++++++++++++++++++++++++++++++++++
 1 file changed, 49 insertions(+)
 create mode 100644 src/grammar/EncodedCoverageExpr.java

(limited to 'src/grammar/EncodedCoverageExpr.java')

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