PointerAddExpression.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.expression.ExpressionIF;

public class PointerAddExpression extends BinaryExpression {

	public PointerAddExpression(ModelFactoryIF modelFactory,
			Expression pointerExpression, Expression integerExpression) {
		super(modelFactory, ExpressionIF.ExpressionKind.POINTER_ADD,
				pointerExpression, integerExpression);
		type = pointerExpression.type();
	}

	public String toString() {
		return left.atomString() + "+" + right.atomString();
	}

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

}