org.eclipse.viatra.dse.statecoding

## Interface IObjectsProvider

- All Known Implementing Classes:
    IncrementalObjectProvider

      public interface IObjectsProvider

  Implementation of this interface is responsible to provide `EObject`s of a given `EClass` for `TheStateCoder`

- - ### Method Summary

    All Methods Instance Methods Abstract 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.