org.eclipse.viatra.dse.statecoding

Interface IObjectsProvider

All Known Implementing Classes:

IncrementalObjectProvider

public interface IObjectsProvider

Implementation of this interface is responsible to provide EObjects of a given EClass for TheStateCoder

Method Summary

Methods

Modifier and Type	Method and Description
java.util.Collection<org.eclipse.emf.ecore.EObject>	getEObjects(org.eclipse.emf.ecore.EClass eClass) Returns the instances of an EClass in a model.
void	init(org.eclipse.emf.common.notify.Notifier notifier, StatecodingDependencyGraph statecodingDependencyGraph) Initialize the IObjectsProvider on a given model and StatecodingDependencyGraph.

Method Detail

init

void init(org.eclipse.emf.common.notify.Notifier notifier,
        StatecodingDependencyGraph statecodingDependencyGraph)

Initialize the IObjectsProvider on a given model and StatecodingDependencyGraph.

Parameters:

notifier - The root of the model.

statecodingDependencyGraph - The state coding dependency graph.

getEObjects

java.util.Collection<org.eclipse.emf.ecore.EObject> getEObjects(org.eclipse.emf.ecore.EClass eClass)

Returns the instances of an EClass in a model.

Parameters:

eClass - The class of the objects.

Returns:

The collection of the instances.