NotFullExpression.java

package edu.udel.cis.vsl.tass.model.impl.expression;

import edu.udel.cis.vsl.tass.model.IF.ModelFactoryIF;
import edu.udel.cis.vsl.tass.model.IF.ModelIF;
import edu.udel.cis.vsl.tass.model.IF.expression.ExpressionIF;
import edu.udel.cis.vsl.tass.model.IF.expression.NotFullExpressionIF;

public class NotFullExpression extends Expression implements
		NotFullExpressionIF {

	private ModelIF model;
	private Expression destination;
	private Expression source;
	private Expression tag;

	public NotFullExpression(ModelFactoryIF factory, ModelIF model,
			Expression source, Expression destination, Expression tag) {
		super(factory, ExpressionKind.NOT_FULL);
		this.model = model;
		this.source = source;
		this.destination = destination;
		this.tag = tag;
		type = factory.booleanType();
	}

	public ModelIF model() {
		return model;
	}

	public ExpressionIF destination() {
		return destination;
	}

	public ExpressionIF source() {
		return source;
	}

	public ExpressionIF tag() {
		return tag;
	}

	public String toString() {
		return "nfull(" + source + "," + destination + "," + tag + ")";
	}

	public String atomString() {
		return toString();
	}

}