tyRuBa.modes.ModeCase Maven / Gradle / Ivy

Go to download
/*
 * Created on Jun 25, 2003
 */
package tyRuBa.modes;

import java.util.Collection;

import tyRuBa.engine.RBExpression;

public class ModeCase {
	private Collection boundVars;
	private RBExpression exp;
		
	public ModeCase(Collection boundVars, RBExpression exp) {
		this.boundVars = boundVars;
		this.exp = exp;
	}
		
	public RBExpression getExp() {
		return exp;
	}
		
	public Collection getBoundVars() {
		return boundVars;
	}
	
	public String toString() {
		String varString = getBoundVars().toString();
		return "BOUND " + varString.substring(1, varString.length() - 1)
			+ " : " + getExp();
	}
}