org.eclipse.viatra.dse.statecoding

Class IncrementalObjectProviderFactory

java.lang.Object

org.eclipse.viatra.dse.statecoding.IncrementalObjectProviderFactory

All Implemented Interfaces:

IObjectsProviderFactory

public class IncrementalObjectProviderFactory
extends java.lang.Object
implements IObjectsProviderFactory

Constructor Summary

Constructors

Constructor and Description
IncrementalObjectProviderFactory()

Method Summary

Modifier and Type	Method and Description
IncrementalObjectProvider	createObjectsProvider() Creates an IObjectsProvider implementation.

Methods inherited from class java.lang.Object

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

Constructor Detail

IncrementalObjectProviderFactory

public IncrementalObjectProviderFactory()

Method Detail

createObjectsProvider

public IncrementalObjectProvider createObjectsProvider()

Description copied from interface: IObjectsProviderFactory

Creates an IObjectsProvider implementation.

Specified by:

createObjectsProvider in interface IObjectsProviderFactory

Returns:

The newly created IObjectsProvider.