org.eclipse.viatra.dse.statecoding

Class TheStateCoderFactory

java.lang.Object

org.eclipse.viatra.dse.statecoding.TheStateCoderFactory

All Implemented Interfaces:

IStateCoderFactory

public class TheStateCoderFactory
extends java.lang.Object
implements IStateCoderFactory

Constructor Summary

Constructors

Constructor and Description
TheStateCoderFactory(StatecodingDependencyGraph sdg)
TheStateCoderFactory(StatecodingDependencyGraph sdg, IObjectsProviderFactory objectProviderFactory)

Method Summary

Modifier and Type	Method and Description
IStateCoder	createStateCoder() Creates a new IStateCoder instance specific to this IStateCoderFactory.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TheStateCoderFactory

public TheStateCoderFactory(StatecodingDependencyGraph sdg)

TheStateCoderFactory

public TheStateCoderFactory(StatecodingDependencyGraph sdg,
                            IObjectsProviderFactory objectProviderFactory)

Method Detail

createStateCoder

public IStateCoder createStateCoder()

Description copied from interface: IStateCoderFactory

Creates a new IStateCoder instance specific to this IStateCoderFactory.

Specified by:

createStateCoder in interface IStateCoderFactory

Returns:

the new IStateCoder instance specific to this working model.