testConditions.java

package tests;
import java.io.Reader;
import java.io.StringReader;
import java.util.HashMap;

import org.junit.Test;

import parser.ASTsortExpression;
import parser.ParseException;
import parser.SimpleNode;
import parser.SparcTranslatorTreeConstants;
import parser.SparcTranslator;


public class testConditions {
	
	@Test
	public void test1() {
		getRenaming("on(block(X),block(Y)):{X!=Y}");
	}
	
	private void getRenaming(String test)
    {
    	Reader sr= new StringReader(test);
    	SparcTranslator p= new SparcTranslator(sr);
	    p.sortNameToExpression=new HashMap<String, ASTsortExpression>();
	    ASTsortExpression h=new ASTsortExpression(SparcTranslatorTreeConstants.JJTSORTEXPRESSION);
	    p.sortNameToExpression.put("block", h);
	    SimpleNode e;
		try {
			e=p.unarySetExpression();
			System.out.println(e.toString());
		} catch (ParseException exc) {
			// TODO Auto-generated catch block
			exc.printStackTrace();
		}
    }
	
	
}