org.eclipse.emf.emfstore.fuzzy.emf

Interface ESFuzzyEMFDataProvider

All Superinterfaces:

ESFuzzyDataProvider<org.eclipse.emf.ecore.EObject>

All Known Implementing Classes:

ESEMFDataProvider, ESXMIResourceDataProvider

public interface ESFuzzyEMFDataProvider
extends ESFuzzyDataProvider<org.eclipse.emf.ecore.EObject>

Common interface for ESFuzzyDataProviders that generate EObjects.

Since:

2.0

Author:

emueller

Method Summary

Modifier and Type	Method and Description
ESTestConfig	getConfig() Returns the config specifying this run of this provider.
int	getCurrentSeedCount() Returns the current seed that is used to generate the model.
Collection<org.eclipse.emf.ecore.EPackage>	getEPackages() Returns a collection of EPackages that are being considered to be generated/mutated.
ESModelMutatorConfiguration	getModelMutatorConfiguration() Returns the currently active ESModelMutatorConfiguration.
long	getSeed() Returns the current seed for this data provider.

Methods inherited from interface org.eclipse.emf.emfstore.fuzzy.emf.junit.ESFuzzyDataProvider

get, getListener, getTestsToRun, getUtil, init, setMutator, setOptions, setTestClass, size

Method Detail

getEPackages

Collection<org.eclipse.emf.ecore.EPackage> getEPackages()

Returns a collection of EPackages that are being considered to be generated/mutated.

Returns:

the EPackage of the model to generate/mutate.

getModelMutatorConfiguration

ESModelMutatorConfiguration getModelMutatorConfiguration()

Returns the currently active ESModelMutatorConfiguration.

Specified by:

getModelMutatorConfiguration in interface ESFuzzyDataProvider<org.eclipse.emf.ecore.EObject>

Returns:

the currently active ESModelMutatorConfiguration

getSeed

long getSeed()

Returns the current seed for this data provider.

Returns:

the current seed for this data provider

getCurrentSeedCount

int getCurrentSeedCount()

Returns the current seed that is used to generate the model.

Returns:

the current seed that is used to generate the model.

getConfig

ESTestConfig getConfig()

Returns the config specifying this run of this provider.

Returns:

the config specifying this run of this provider