SimpleTransition.java

package edu.udel.cis.vsl.tass.transition.impl;

import java.io.PrintWriter;

import edu.udel.cis.vsl.tass.dynamic.IF.value.ValueIF;
import edu.udel.cis.vsl.tass.model.IF.ModelIF;
import edu.udel.cis.vsl.tass.model.IF.statement.StatementIF;
import edu.udel.cis.vsl.tass.transition.IF.SimpleTransitionIF;

public class SimpleTransition extends Transition implements SimpleTransitionIF {

	private StatementIF statement;

	SimpleTransition(StatementIF statement, ValueIF pathCondition) {
		super(pathCondition);
		assert statement != null;
		this.statement = statement;
	}

	@Override
	public StatementIF statement() {
		return statement;
	}

	@Override
	public ModelIF model() {
		return statement.model();
	}

	@Override
	public String toString() {
		return statement.process() + ": " + statement.toString();
	}

	@Override
	public void print(PrintWriter out) {
		statement.print(out);
	}
}