padre-master/it.spe.disim.epsilon.porting/src/it/univaq/disim/sealab/padre/epsilon_porting/util/ASTRewrite.java
package it.univaq.disim.sealab.padre.epsilon_porting.util;

public interface ASTRewrite {

	public String rewrite();
}
