TransitionFactory.java

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

import edu.udel.cis.vsl.tass.dynamic.IF.value.ValueIF;
import edu.udel.cis.vsl.tass.model.IF.statement.ReceiveStatementIF;
import edu.udel.cis.vsl.tass.model.IF.statement.SendStatementIF;
import edu.udel.cis.vsl.tass.model.IF.statement.StatementIF;
import edu.udel.cis.vsl.tass.state.IF.StateIF;
import edu.udel.cis.vsl.tass.transition.IF.SimpleTransitionIF;
import edu.udel.cis.vsl.tass.transition.IF.SynchronousTransitionIF;
import edu.udel.cis.vsl.tass.transition.IF.TransitionFactoryIF;
import edu.udel.cis.vsl.tass.transition.IF.TransitionSequenceIF;

public class TransitionFactory implements TransitionFactoryIF {

	@Override
	public SimpleTransitionIF newSimpleTransition(StatementIF statement,
			ValueIF pathCondition) {
		return new SimpleTransition(statement, pathCondition);
	}

	@Override
	public SynchronousTransitionIF newSynchronousTransition(
			SendStatementIF send, ReceiveStatementIF receive,
			ValueIF pathCondition) {
		return new SynchronousTransition(send, receive, pathCondition);
	}

	@Override
	public TransitionSequenceIF newTransitionSequence(StateIF state,
			boolean full) {
		return new TransitionSequence(state, full);
	}

}