AssertStatementNode.java

package edu.udel.cis.vsl.tass.ast.impl.statement;

import java.io.PrintWriter;
import java.util.NoSuchElementException;

import edu.udel.cis.vsl.tass.ast.IF.ASTNodeIF;
import edu.udel.cis.vsl.tass.ast.IF.AbstractSyntaxTreeIF;
import edu.udel.cis.vsl.tass.ast.IF.expression.ExpressionNodeIF;
import edu.udel.cis.vsl.tass.ast.IF.statement.AssertStatementNodeIF;

public class AssertStatementNode extends StatementNode implements
		AssertStatementNodeIF {

	ExpressionNodeIF predicate;

	public AssertStatementNode(long id) {
		super(id);
	}
	
	public AssertStatementNode(long id, ExpressionNodeIF predicate) {
		super(id);
		this.predicate = predicate;
	}

	@Override
	public ExpressionNodeIF predicate() {
		return predicate;
	}

	@Override
	public void setPredicate(ExpressionNodeIF predicate) {
		this.predicate = predicate;
	}

	@Override
	public ASTNodeIF child(int index) throws NoSuchElementException {
		switch (index) {
		case 0:
			return super.child(index);
		case 1:
			return predicate;
		default:
			throw new NoSuchElementException("Node " + id()
					+ " does not have a child with index " + index + ".");
		}
	}

	@Override
	public void setChild(int i, ASTNodeIF child) throws NoSuchElementException {
		switch (i) {
		case 0:
			super.setChild(i, child);
			break;
		case 1:
			predicate = (ExpressionNodeIF) child;
			break;
		default:
			throw new NoSuchElementException("Node " + id()
					+ " does not have a child with index " + i + ".");
		}
	}

	@Override
	protected String nodeType() {
		return "Assert";
	}

	@Override
	public int numChildren() {
		return 2;
	}

	@Override
	public String toString() {
		return super.toString();
	}

	@Override
	public void toXml(String prefix, PrintWriter out,AbstractSyntaxTreeIF ast) {
		super.toXml(prefix, out,ast);

		out.println(prefix + "<asrn:predicate>");
		predicate.toXml(prefix + "  ", out,ast);
		out.println(prefix + "</asrn:predicate>");
	}

}