src/syntaxParser/ReduceExpr.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

package syntaxParser;
/**
 * ReduceExpr
 * Creation date: (3/3/2003 2:28:43 AM)
 * @author: mattia parigiani, Sorin Stancu-Mara
 */
class ReduceExpr implements IParseTreeNode{
	CoverageExpr coverageExpr;
	String operator;

	public ReduceExpr( CoverageExpr ce, String op){	
		coverageExpr = ce;
		operator = op;
	}
		
	public String toXML(){
		return "<" + operator + ">" + coverageExpr.toXML() + "</" + operator + ">";
	}	
}