package dfatool.expressions;

import dfatool.strategy.elements.Context;
import dfatool.values.Value;

public class SetExtension extends Expression{
	
	Id name;
	SetExpression set;
	
	public SetExtension(Id name, SetExpression set) {
		this.name = name;
		this.set = set;
	}

	public Id getName() {
		return name;
	}

	public void setName(Id name) {
		this.name = name;
	}

	public SetExpression getSet() {
		return set;
	}

	public void setSet(SetExpression set) {
		this.set = set;
	}
	
	@Override
	public String toString() {
		return name+" <- "+set.toString();
	}

	@Override
	public Value evaluate(Context c) {
		// TODO Auto-generated method stub
		return null;
	}

	@Override
	public boolean checkType(Context c) {
		// TODO Auto-generated method stub
		return false;
	}

	@Override
	public String toConcreteSyntax() {
		// TODO Auto-generated method stub
		return null;
	}
	
	

}
