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/syntaxParser/EncodedCoverageExpr.java | 42 +++++++++++++++++++++++++++++++
 1 file changed, 42 insertions(+)
 create mode 100644 src/syntaxParser/EncodedCoverageExpr.java

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

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