States.java

package edu.udel.cis.vsl.tass.state;

import edu.udel.cis.vsl.tass.dynamic.IF.DynamicFactoryIF;
import edu.udel.cis.vsl.tass.model.IF.ModelIF;
import edu.udel.cis.vsl.tass.model.IF.ModelSequence;
import edu.udel.cis.vsl.tass.semantics.IF.LogIF;
import edu.udel.cis.vsl.tass.state.IF.StateFactoryIF;
import edu.udel.cis.vsl.tass.state.IF.SystemEnvironmentIF;
import edu.udel.cis.vsl.tass.state.impl.Environment;
import edu.udel.cis.vsl.tass.state.impl.StateFactory;

public class States {

	public static StateFactoryIF newStateFactory(ModelSequence modelSequence,
			DynamicFactoryIF dynamicFactory) {
		return new StateFactory(modelSequence, dynamicFactory);
	}

	public static StateFactoryIF newStateFactory(ModelIF model,
			DynamicFactoryIF dynamicFactory) {
		return new StateFactory(new ModelSequence(model), dynamicFactory);
	}

	public static SystemEnvironmentIF newEnvironment(
			ModelSequence modelSequence, StateFactoryIF stateFactory,
			LogIF log) {
		return new Environment(modelSequence, stateFactory, log);
	}

}