Uses of Class
net.ssehub.easy.basics.progress.ProgressObserver

Packages that use ProgressObserver

Package	Description
de.uni_hildesheim.sse.ui
net.ssehub.easy.basics.modelManagement	Model management classes for reuse (realizing imports, loading, interlinking, notifying, etc.).
net.ssehub.easy.basics.progress	Generic progress notification mechanism.
net.ssehub.easy.dslCore	Basic reusable classes for the exportable management functions of the SSE-style DSL implementation for xText grammars.
net.ssehub.easy.dslCore.test	Some testing foundations.
net.ssehub.easy.instantiation.core.model.artifactModel	Contains the VIL artifact model.
net.ssehub.easy.instantiation.core.model.execution	High level execution support.
net.ssehub.easy.instantiation.core.model.vilTypes	Contains the basic VIL types used as foundation for the artifact model and for integrating the variability model, i.e., types which are not artifacts themselves.
net.ssehub.easy.instantiation.serializer.xml	A simple and generic mechanism to persist IVML object models as an XML file or stream and also to read them back.
net.ssehub.easy.producer.core.mgmt	This package contains classes which are needed for data management, i.e.
net.ssehub.easy.producer.core.persistence	This plug-in contains functionality of EASy, which can also run without Eclipse.
net.ssehub.easy.producer.core.persistence.standard	This package contains classes which specific to the persistencer of this plug-in.
net.ssehub.easy.producer.eclipse.observer	Classes for handling progress observation including an observed reasoning process.
net.ssehub.easy.reasoning.core.frontend	Frontend to access reasoner information as well as to execute reasoning tasks.
net.ssehub.easy.reasoning.core.impl	Hidden implementation stuff.
net.ssehub.easy.reasoning.core.reasoner	All classes and interfaces needed to implement a reasoner. How to write a reasoner: Create an Eclipse Plugin project with Activator (even if "empty"). Add org.eclipse.equinox.ds to the required plugins and org.osgi.service.component to the imported packages as your reasoner will be linked using OSGi descriptive services (DS) to the reasoner core.
net.ssehub.easy.reasoning.sseReasoner	Package contains the EASy-Producer reasoner implementation classes.
net.ssehub.easy.varModel.capabilities	Forward reasoner access.
net.ssehub.easy.varModel.confModel	This package represents a specific variability model configuration.

Uses of ProgressObserver in de.uni_hildesheim.sse.ui

Subclasses of ProgressObserver in de.uni_hildesheim.sse.ui

Modifier and Type	Class	Description
class	EclipseProgressObserver

Uses of ProgressObserver in net.ssehub.easy.basics.modelManagement

Methods in net.ssehub.easy.basics.modelManagement with parameters of type ProgressObserver

Modifier and Type	Method	Description
void	AbstractModelInitializer.addLocation(java.io.File location, ProgressObserver observer)
static void	ModelInitializer.addLocation(java.io.File location, ProgressObserver observer)	Registers a location via the present model loaders.
void	ModelInitializer.IModelInitializer.addLocation(java.io.File location, ProgressObserver observer)	Adds a model location to the end of the list of existing locations.
private ModelLocations.Location	ModelLocations.addLocation(java.io.File file, boolean front, ProgressObserver observer)	Adds a file location, i.e., a location from where models can be loaded.
ModelLocations.Location	ModelLocations.addLocation(java.io.File file, ProgressObserver observer)	Adds a file location to the end of the list of locations, i.e., a location from where models can be loaded.
void	AbstractModelInitializer.addLocationToFront(java.io.File location, ProgressObserver observer)
void	ModelInitializer.IModelInitializer.addLocationToFront(java.io.File location, ProgressObserver observer)	Adds a model location to the beginning of the list of existing locations.
ModelLocations.Location	ModelLocations.addLocationToFront(java.io.File file, ProgressObserver observer)	Adds a file location, i.e., a location from where models can be loaded.
void	IModelManagementRepository.clearLocation(java.io.File file, ProgressObserver observer)	Clears the location related information from the repository.
(package private) void	ModelManagement.clearLocation(java.io.File file, ProgressObserver observer)	Removes a file location, i.e.
void	ModelRepository.clearLocation(java.io.File file, ProgressObserver observer)	Removes a file location, i.e.
void	AbstractModelInitializer.registerLoader(ProgressObserver observer)
void	ModelInitializer.IModelInitializer.registerLoader(ProgressObserver observer)	Registers the default model loader instance.
static void	ModelInitializer.registerLoader(ProgressObserver observer)	Registers a default model loader.
void	ModelLoaders.registerLoader(IModelLoader<M> loader, ProgressObserver observer)	Registers a model loader and updates the model information provided by the loader.
void	AbstractModelInitializer.removeLocation(java.io.File location, ProgressObserver observer)
void	ModelInitializer.IModelInitializer.removeLocation(java.io.File location, ProgressObserver observer)	Adds a model location.
static void	ModelInitializer.removeLocation(java.io.File location, ProgressObserver observer)	Registers a location via the present model loaders.
void	ModelLocations.removeLocation(java.io.File file, ProgressObserver observer)	Removes a file location, i.e.
void	ModelLocations.removeLocation(ModelLocations.Location location, ProgressObserver observer)	Removes a location, i.e.
int	ModelManagement.unload(M model, ProgressObserver observer)	Unloads model as well as unloadable imported models, but not the related model information.
void	AbstractModelInitializer.unregisterLoader(ProgressObserver observer)
void	ModelInitializer.IModelInitializer.unregisterLoader(ProgressObserver observer)	Unregisters the default model loader.
static void	ModelInitializer.unregisterLoader(ProgressObserver observer)	Registers a default model loader.
void	ModelLoaders.unregisterLoader(IModelLoader<M> loader, ProgressObserver observer)	Unregisters a model loader.
void	IModelManagementRepository.updateForLoader(IModelLoader<M> loader, ProgressObserver observer)	Registers a model loader and updates the model information provided by the loader.
(package private) void	ModelManagement.updateForLoader(IModelLoader<M> loader, ProgressObserver observer)	Registers a model loader and updates the model information provided by the loader.
void	ModelRepository.updateForLoader(IModelLoader<M> loader, ProgressObserver observer)	Registers a model loader and updates the model information provided by the loader.
void	ModelLocations.updateLocation(java.io.File file, ProgressObserver observer)	Updates a file location, i.e., a location from where models can be loaded.
void	IModelManagementRepository.updateModelInformation(java.io.File file, ProgressObserver observer)	Updates the model information in file.
private void	ModelManagement.updateModelInformation(java.io.File file, ModelInfoHolder<M> holder, ProgressObserver observer, ProgressObserver.ITask task)	Updates the model information in file considering known.
void	ModelManagement.updateModelInformation(java.io.File file, ProgressObserver observer)	Updates the model information in file.
private void	ModelManagement.updateModelInformation(ModelLocations.Location location, ModelInfoHolder<M> holder, ProgressObserver observer, ProgressObserver.ITask task, java.util.Set<ModelLocations.Location> done)	Updates the model information in the given location and the dependent locations.
void	ModelManagement.updateModelInformation(ProgressObserver observer)	Updates the model information in all known locations.
void	ModelRepository.updateModelInformation(java.io.File file, ProgressObserver observer)	Updates the model information in file.

Uses of ProgressObserver in net.ssehub.easy.basics.progress

Fields in net.ssehub.easy.basics.progress declared as ProgressObserver

Modifier and Type	Field	Description
static ProgressObserver	ProgressObserver.NO_OBSERVER	Defines an observer which does nothing.
private ProgressObserver	ObservableTask.observer

Constructors in net.ssehub.easy.basics.progress with parameters of type ProgressObserver

Constructor	Description
ObservableTask(java.lang.String name, int max, ProgressObserver observer)	Creates a new observable top-level task.
ObservableTask(java.lang.String name, int max, ProgressObserver observer, ProgressObserver.ITask task)	Creates a new observable (sub) task.

Uses of ProgressObserver in net.ssehub.easy.dslCore

Methods in net.ssehub.easy.dslCore with parameters of type ProgressObserver

Modifier and Type	Method	Description
void	TopLevelModelAccessor.AbstractDefaultModelAccessor.addLocation(java.io.File location, ProgressObserver observer)	Called to add a model location (optional).
void	TopLevelModelAccessor.AbstractModelAccessor.addLocation(java.io.File location, ProgressObserver observer)
void	TopLevelModelAccessor.addLocation(java.io.File location, ProgressObserver observer, boolean failOnFirst)	Called to add a model location (optional).
void	TopLevelModelAccessor.IModelAccessor.addLocation(java.io.File location, ProgressObserver observer)	Called to add a model location (optional).
void	TopLevelModelAccessor.AbstractDefaultModelAccessor.registerLoader(ProgressObserver observer)	Called to register the model loader (optional).
void	TopLevelModelAccessor.AbstractModelAccessor.registerLoader(ProgressObserver observer)
void	TopLevelModelAccessor.IModelAccessor.registerLoader(ProgressObserver observer)	Called to register the model loader (optional).
static void	TopLevelModelAccessor.registerLoader(ProgressObserver observer, boolean failOnFirst)	Called to register the model loader (optional).
void	TopLevelModelAccessor.AbstractDefaultModelAccessor.removeLocation(java.io.File location, ProgressObserver observer)	Called to remove a model location (optional).
void	TopLevelModelAccessor.AbstractModelAccessor.removeLocation(java.io.File location, ProgressObserver observer)
void	TopLevelModelAccessor.IModelAccessor.removeLocation(java.io.File location, ProgressObserver observer)	Called to remove a model location (optional).
void	TopLevelModelAccessor.removeLocation(java.io.File location, ProgressObserver observer, boolean failOnFirst)	Called to remove a model location (optional).
void	TopLevelModelAccessor.AbstractDefaultModelAccessor.unregisterLoader(ProgressObserver observer)	Called to unregister the model loader (optional).
void	TopLevelModelAccessor.AbstractModelAccessor.unregisterLoader(ProgressObserver observer)
void	TopLevelModelAccessor.IModelAccessor.unregisterLoader(ProgressObserver observer)	Called to unregister the model loader (optional).
void	TopLevelModelAccessor.unregisterLoader(ProgressObserver observer, boolean failOnFirst)	Called to unregister the model loader (optional).

Uses of ProgressObserver in net.ssehub.easy.dslCore.test

Fields in net.ssehub.easy.dslCore.test declared as ProgressObserver

Modifier and Type	Field	Description
protected static ProgressObserver	AbstractTest.OBSERVER

Uses of ProgressObserver in net.ssehub.easy.instantiation.core.model.artifactModel

Methods in net.ssehub.easy.instantiation.core.model.artifactModel with parameters of type ProgressObserver

Modifier and Type	Method	Description
private int	ArtifactModel.scanAll(java.io.File location, int count, ProgressObserver observer, ProgressObserver.ITask task, java.util.List<VilException> errors)	Processes all files in location in a recursive manner.
void	ArtifactModel.scanAll(ProgressObserver observer)	Scans the entire environment starting at root.

Uses of ProgressObserver in net.ssehub.easy.instantiation.core.model.execution

Fields in net.ssehub.easy.instantiation.core.model.execution with type parameters of type ProgressObserver

Modifier and Type	Field	Description
static java.util.Map<ProgressObserver,TracerFactory.TaskData>	TracerFactory.PROGRESS_OBSERVERS

Methods in net.ssehub.easy.instantiation.core.model.execution with parameters of type ProgressObserver

Modifier and Type	Method	Description
private void	Executor.checkArguments(java.util.Map<java.lang.String,java.lang.Object> args, ProgressObserver observer)	Checks the arguments.
private static void	Executor.checkProjectArgument(java.util.Map<java.lang.String,java.lang.Object> args, java.lang.String param, ProgressObserver observer)	Checks a project argument.
void	Executor.execute(ProgressObserver observer, boolean check)	Executes the contained VIL build language script with the given observer (mainly used within parameter conversion) and possibly without default parameter checks (may be helpful in case of custom arguments).
protected void	Executor.execute(ProgressObserver observer, boolean check, Executor.IExecutable executable)	Executes the contained VIL build language script with the given observer (mainly used within parameter conversion) and possibly without default parameter checks (may be helpful in case of custom arguments).
static void	TracerFactory.registerProgressObserver(ProgressObserver observer)	Registers the given progress reserver.
static void	TracerFactory.unregisterProgressObserver(ProgressObserver observer)	Unregisters the given progress observer.

Uses of ProgressObserver in net.ssehub.easy.instantiation.core.model.vilTypes

Methods in net.ssehub.easy.instantiation.core.model.vilTypes that return ProgressObserver

Modifier and Type	Method	Description
ProgressObserver	IProjectDescriptor.createObserver()	Creates a progress observer on demand, e.g., when predecessors are accessed the first time.

Constructors in net.ssehub.easy.instantiation.core.model.vilTypes with parameters of type ProgressObserver

Constructor	Description
Project(java.io.File base, ProgressObserver observer)	Creates a project for a given base directory.
Project(IProjectDescriptor descriptor, ProgressObserver observer)	Creates a project based on a given descriptor.
Project(Project project, ProgressObserver observer)	Creates a new project by for the base directory given in project.

Uses of ProgressObserver in net.ssehub.easy.instantiation.serializer.xml

Fields in net.ssehub.easy.instantiation.serializer.xml declared as ProgressObserver

Modifier and Type	Field	Description
protected static ProgressObserver	ModelDeserializer.OBSERVER
protected static ProgressObserver	ModelSerializer.OBSERVER

Methods in net.ssehub.easy.instantiation.serializer.xml with parameters of type ProgressObserver

Modifier and Type	Method	Description
void	Registration.addLocation(java.io.File location, ProgressObserver observer)
void	Registration.addLocationToFront(java.io.File location, ProgressObserver observer)
void	Registration.registerLoader(ProgressObserver observer)
void	Registration.removeLocation(java.io.File location, ProgressObserver observer)
void	Registration.unregisterLoader(ProgressObserver observer)

Uses of ProgressObserver in net.ssehub.easy.producer.core.mgmt

Fields in net.ssehub.easy.producer.core.mgmt declared as ProgressObserver

Modifier and Type	Field	Description
private ProgressObserver	EasyExecutor.observer
private ProgressObserver	VilExecutionThread.observer

Methods in net.ssehub.easy.producer.core.mgmt that return ProgressObserver

Modifier and Type	Method	Description
ProgressObserver	ProjectDescriptor.createObserver()

Methods in net.ssehub.easy.producer.core.mgmt with parameters of type ProgressObserver

Modifier and Type	Method	Description
void	PLPInfo.instantiate(ProgressObserver observer)	Instantiates the whole project in a separate thread (asynchronous behavior).
void	PLPInfo.instantiate(ProgressObserver observer, boolean waitFor)	Instantiates the whole project in a separate thread.
EasyExecutor	EasyExecutor.setProgressObserver(ProgressObserver observer)	Sets the progress observer instance.
void	VilExecutionThread.startInstantiation(ProgressObserver observer, boolean waitFor)	Starts the execution of the underlying VIL script (PLPInfo.getBuildScript()) in an own thread.

Uses of ProgressObserver in net.ssehub.easy.producer.core.persistence

Methods in net.ssehub.easy.producer.core.persistence with parameters of type ProgressObserver

Modifier and Type	Method	Description
static void	PersistenceUtils.addLocation(Configuration config, ProgressObserver observer)	Adds the given location to VarModel, BuildModel, and TemplateModel.
static void	PersistenceUtils.loadDefaultModels(java.lang.ClassLoader loader, ProgressObserver observer, java.util.Map<Configuration.PathKind,java.io.File> alternativePaths)	Loads the default models if existent.
static void	PersistenceUtils.loadDefaultModels(ProgressObserver observer)	Loads the default models if existent using the class loader of this class.
static void	PersistenceUtils.loadDefaultModels(ProgressObserver observer, java.util.Map<Configuration.PathKind,java.io.File> alternativePaths)	Loads the default models if existent using the class loader of this class.

Uses of ProgressObserver in net.ssehub.easy.producer.core.persistence.standard

Fields in net.ssehub.easy.producer.core.persistence.standard declared as ProgressObserver

Modifier and Type	Field	Description
private ProgressObserver	Persistencer.observer

Methods in net.ssehub.easy.producer.core.persistence.standard that return ProgressObserver

Modifier and Type	Method	Description
ProgressObserver	StandaloneProjectDescriptor.createObserver()

Constructors in net.ssehub.easy.producer.core.persistence.standard with parameters of type ProgressObserver

Constructor	Description
Persistencer(PathEnvironment pathEnv, java.io.File projectFolder, java.lang.String storageFile, ProgressObserver observer)	Sole constructor for this class for saving/reading persistence information out of a xml file.

Uses of ProgressObserver in net.ssehub.easy.producer.eclipse.observer

Subclasses of ProgressObserver in net.ssehub.easy.producer.eclipse.observer

Modifier and Type	Class	Description
class	EclipseProgressObserver	Observes the progress of a longer lasting task for the eclipse ui.

Uses of ProgressObserver in net.ssehub.easy.reasoning.core.frontend

Fields in net.ssehub.easy.reasoning.core.frontend declared as ProgressObserver

Modifier and Type	Field	Description
private ProgressObserver	ReasoningProcess.observer

Methods in net.ssehub.easy.reasoning.core.frontend with parameters of type ProgressObserver

Modifier and Type	Method	Description
ReasoningResult	AbstractChainedReasoner.check(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
ReasoningResult	IReasonerInstance.check(ProgressObserver observer)	Checks the configuration according to the given project structure and does not affect the configuration.
ReasoningResult	ReasonerAdapter.check(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Checks the configuration according to the given project structure and does not affect the configuration.
ReasoningResult	ReasonerAdapter.FrontendReasonerAdapter.check(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
ReasoningResult	ReasonerAdapter.InstanceReasonerAdapter.check(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
ReasoningResult	ReasonerAdapter.IReasonerAdapter.check(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Checks the configuration according to the given project structure and does not affect the configuration.
ReasoningResult	ReasonerFrontend.check(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Checks the configuration according to the given project structure and does not affect the configuration.
ValueCreationResult	IReasonerInstance.createValue(AbstractVariable var, IDatatype type, ProgressObserver observer)	Creates the value for a certain IVML type/variable.
ValueCreationResult	ReasonerAdapter.createValue(Configuration cfg, AbstractVariable var, IDatatype type, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Creates the value for a certain IVML type/variable.
ValueCreationResult	ReasonerAdapter.FrontendReasonerAdapter.createValue(Configuration cfg, AbstractVariable var, IDatatype type, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
ValueCreationResult	ReasonerAdapter.InstanceReasonerAdapter.createValue(Configuration cfg, AbstractVariable var, IDatatype type, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
ValueCreationResult	ReasonerAdapter.IReasonerAdapter.createValue(Configuration cfg, AbstractVariable var, IDatatype type, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Creates the value for a certain IVML type/variable.
ValueCreationResult	ReasonerFrontend.createValue(Configuration cfg, AbstractVariable var, IDatatype type, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Creates the value for a certain IVML type/variable.
EvaluationResult	AbstractChainedReasoner.evaluate(Configuration cfg, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
EvaluationResult	IReasonerInstance.evaluate(java.util.List<Constraint> constraints, ProgressObserver observer)	Evaluates a given list of constraints (in the sense of boolean conditions) which are related to and valid in the context of the given project and configuration.
EvaluationResult	ReasonerAdapter.evaluate(Configuration cfg, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Evaluates a given list of constraints (in the sense of boolean conditions) which are related to and valid in the context of the given project and configuration.
EvaluationResult	ReasonerAdapter.FrontendReasonerAdapter.evaluate(Configuration cfg, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
EvaluationResult	ReasonerAdapter.InstanceReasonerAdapter.evaluate(Configuration cfg, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
EvaluationResult	ReasonerAdapter.IReasonerAdapter.evaluate(Configuration cfg, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Evaluates a given list of constraints (in the sense of boolean conditions) which are related to and valid in the context of the given project and configuration.
EvaluationResult	ReasonerFrontend.evaluate(Configuration cfg, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Evaluates a given list of constraints (in the sense of boolean conditions) which are related to and valid in the context of the given project and configuration.
void	ReasonerFrontend.DefaultReasonerProvider.initialize(Configuration config, ProgressObserver observer)
ReasoningResult	AbstractChainedReasoner.isConsistent(Project project, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
ReasoningResult	IReasonerInstance.isConsistent(ProgressObserver observer)	Checks whether a given variability model (project) is satisfiable.
ReasoningResult	ReasonerAdapter.FrontendReasonerAdapter.isConsistent(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
ReasoningResult	ReasonerAdapter.InstanceReasonerAdapter.isConsistent(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
ReasoningResult	ReasonerAdapter.IReasonerAdapter.isConsistent(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Checks whether a given variability model (project) is satisfiable.
ReasoningResult	ReasonerAdapter.isConsistent(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Checks whether a given variability model (project) is satisfiable.
ReasoningResult	ReasonerFrontend.isConsistent(Project project, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Checks whether a given variability model (project) is satisfiable.
ReasoningResult	AbstractChainedReasoner.propagate(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
ReasoningResult	IReasonerInstance.propagate(ProgressObserver observer)	Checks the configuration according to the given model and propagates values, if possible.
ReasoningResult	ReasonerAdapter.FrontendReasonerAdapter.propagate(Configuration cfg, ReasonerConfiguration rConfig, ProgressObserver observer)
ReasoningResult	ReasonerAdapter.InstanceReasonerAdapter.propagate(Configuration config, ReasonerConfiguration rConfig, ProgressObserver observer)
ReasoningResult	ReasonerAdapter.IReasonerAdapter.propagate(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Checks the configuration according to the given model and propagates values, if possible.
ReasoningResult	ReasonerAdapter.propagate(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Checks the configuration according to the given model and propagates values, if possible.
ReasoningResult	ReasonerFrontend.propagate(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Checks the configuration according to the given model and propagates values, if possible.
ReasoningResult	AbstractChainedReasoner.upgrade(java.net.URI url, ProgressObserver observer)
ReasoningResult	ReasonerFrontend.upgradeReasoner(ReasonerDescriptor descriptor, java.net.URI uri, ProgressObserver observer)	Updates a reasoner installation, e.g., in order to obtain a licensed reasoner version.

Constructors in net.ssehub.easy.reasoning.core.frontend with parameters of type ProgressObserver

Constructor	Description
ReasoningProcess(ReasoningOperation desiredOperation, Configuration config, ReasonerConfiguration reasonerConfig, IReasonerListener listener, ProgressObserver observer)	Sole constructor for this class.
ReasoningProcess(Project project, ReasonerConfiguration reasonerConfig, IReasonerListener listener, ProgressObserver observer)	Constructor for checking the consistency (satisfiability) of a project, without having a configuration.

Uses of ProgressObserver in net.ssehub.easy.reasoning.core.impl

Methods in net.ssehub.easy.reasoning.core.impl with parameters of type ProgressObserver

Modifier and Type	Method	Description
static ValueCreationResult	ReasonerHelper.createValue(Configuration cfg, AbstractVariable var, IDatatype type, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Creates the value for a certain IVML type/variable.

Uses of ProgressObserver in net.ssehub.easy.reasoning.core.reasoner

Fields in net.ssehub.easy.reasoning.core.reasoner declared as ProgressObserver

Modifier and Type	Field	Description
private ProgressObserver	IUpgrader.observer

Methods in net.ssehub.easy.reasoning.core.reasoner that return ProgressObserver

Modifier and Type	Method	Description
protected ProgressObserver	IUpgrader.getObserver()	Returns the progress observer instance.

Methods in net.ssehub.easy.reasoning.core.reasoner with parameters of type ProgressObserver

Modifier and Type	Method	Description
ReasoningResult	DelegatingReasonerInstance.check(ProgressObserver observer)
ReasoningResult	IReasoner.check(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Checks the configuration according to the given project structure and does not affect the configuration.
ValueCreationResult	DelegatingReasonerInstance.createValue(AbstractVariable var, IDatatype type, ProgressObserver observer)
ValueCreationResult	IReasoner.createValue(Configuration cfg, AbstractVariable var, IDatatype type, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Creates the value for a certain IVML type/variable.
EvaluationResult	DelegatingReasonerInstance.evaluate(java.util.List<Constraint> constraints, ProgressObserver observer)
EvaluationResult	IReasoner.evaluate(Configuration cfg, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Evaluates a given list of constraints (in the sense of boolean conditions) which are related to and valid in the context of the given project and configuration.
ReasoningResult	IReasoner.initialize(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Initializes the configuration according to the given model and propagates values, if possible.
ReasoningResult	DelegatingReasonerInstance.isConsistent(ProgressObserver observer)
ReasoningResult	IReasoner.isConsistent(Project project, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Checks whether a given variability model (project) is satisfiable.
ReasoningResult	DelegatingReasonerInstance.propagate(ProgressObserver observer)
ReasoningResult	IReasoner.propagate(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Checks the configuration according to the given model and propagates values, if possible.
ReasoningResult	IReasoner.upgrade(java.net.URI url, ProgressObserver observer)	Updates the installation of this reasoner, e.g., in order to obtain a licensed reasoner version.

Constructors in net.ssehub.easy.reasoning.core.reasoner with parameters of type ProgressObserver

Constructor	Description
FileUpgrader(java.net.URI source, java.lang.String dest, java.util.Map<java.lang.String,java.lang.String> files, java.lang.String marker, ProgressObserver observer)	Creates an upgrader instance.
IUpgrader(java.net.URI source, java.lang.String dest, java.util.Map<java.lang.String,java.lang.String> files, java.lang.String marker, ProgressObserver observer)	Creates an upgrader instance.
ZipUpgrader(java.net.URI source, java.lang.String dest, java.util.Map<java.lang.String,java.lang.String> files, java.lang.String marker, ProgressObserver observer)	Creates an upgrader instance.

Uses of ProgressObserver in net.ssehub.easy.reasoning.sseReasoner

Methods in net.ssehub.easy.reasoning.sseReasoner with parameters of type ProgressObserver

Modifier and Type	Method	Description
ReasoningResult	Reasoner.check(Configuration cfg, ReasonerConfiguration reasonerConfig, ProgressObserver observer)
ReasoningResult	Reasoner.ReasonerInstance.check(ProgressObserver observer)
ValueCreationResult	Reasoner.createValue(Configuration cfg, AbstractVariable var, IDatatype type, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
ValueCreationResult	Reasoner.ReasonerInstance.createValue(AbstractVariable var, IDatatype type, ProgressObserver observer)
EvaluationResult	Reasoner.evaluate(Configuration cfg, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfig, ProgressObserver observer)
EvaluationResult	Reasoner.ReasonerInstance.evaluate(java.util.List<Constraint> constraints, ProgressObserver observer)
ReasoningResult	Reasoner.initialize(Configuration cfg, ReasonerConfiguration reasonerConfig, ProgressObserver observer)
ReasoningResult	Reasoner.isConsistent(Project project, ReasonerConfiguration reasonerConfig, ProgressObserver observer)
ReasoningResult	Reasoner.ReasonerInstance.isConsistent(ProgressObserver observer)
ReasoningResult	Reasoner.propagate(Configuration cfg, ReasonerConfiguration reasonerConfig, ProgressObserver observer)
ReasoningResult	Reasoner.ReasonerInstance.propagate(ProgressObserver observer)
ReasoningResult	Reasoner.upgrade(java.net.URI url, ProgressObserver observer)

Constructors in net.ssehub.easy.reasoning.sseReasoner with parameters of type ProgressObserver

Constructor	Description
Engine(Configuration cfg, ReasonerConfiguration reasonerConfig, ProgressObserver observer, IReasonerInterceptor interceptor)	Main constructor for creating an instance of the reasoner.

Uses of ProgressObserver in net.ssehub.easy.varModel.capabilities

Methods in net.ssehub.easy.varModel.capabilities with parameters of type ProgressObserver

Modifier and Type	Method	Description
void	DefaultReasonerAccess.IDefaultReasonerProvider.initialize(Configuration config, ProgressObserver progress)	Initializes the derived values in the given configuration and freezes.

Uses of ProgressObserver in net.ssehub.easy.varModel.confModel

Methods in net.ssehub.easy.varModel.confModel with parameters of type ProgressObserver

Modifier and Type	Method	Description
java.util.List<Message>	ConfigurationInitializerRegistry.IConfigurationInitializer.initializeConfiguration(Configuration config, ProgressObserver observer)	Initializes the configuration.