Uses of Class
net.ssehub.easy.reasoning.core.reasoner.ReasonerDescriptor

Packages that use ReasonerDescriptor

Package	Description
net.ssehub.easy.producer.ui.internal	This package holds extension classes of eclipse which must not be called or extended from other plug-ins.
net.ssehub.easy.producer.ui.reasoner	Provides the preferences page for configuring the installed reasoners.
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.

Uses of ReasonerDescriptor in net.ssehub.easy.producer.ui.internal

Methods in net.ssehub.easy.producer.ui.internal that return ReasonerDescriptor

Modifier and Type	Method	Description
static ReasonerDescriptor	EASyPreferenceStore.getDefaultReasoner()	Returns the default reasoner via the preferences store.

Methods in net.ssehub.easy.producer.ui.internal with parameters of type ReasonerDescriptor

Modifier and Type	Method	Description
static void	EASyPreferenceStore.setDefaultReasoner(ReasonerDescriptor desc)	Sets the default reasoner.

Uses of ReasonerDescriptor in net.ssehub.easy.producer.ui.reasoner

Fields in net.ssehub.easy.producer.ui.reasoner declared as ReasonerDescriptor

Modifier and Type	Field	Description
private static ReasonerDescriptor[]	ReasonerPreferencePage.DEBUG_REASONERS

Methods in net.ssehub.easy.producer.ui.reasoner that return ReasonerDescriptor

Modifier and Type	Method	Description
private ReasonerDescriptor	ReasonerPreferencePage.getReasonerDescriptor(int index)	Returns the specified reasoner descriptor.
private ReasonerDescriptor	ReasonerPreferencePage.getSelected()	Returns the currently selected reasoner.

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

Subclasses of ReasonerDescriptor in net.ssehub.easy.reasoning.core.frontend

Modifier and Type	Class	Description
private static class	AbstractChainedReasoner.DerivedReasonerDescriptor	Implements a derived reasoner descriptor taking over capabilities.

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

Modifier and Type	Field	Description
private ReasonerDescriptor	AbstractChainedReasoner.descriptor

Methods in net.ssehub.easy.reasoning.core.frontend that return ReasonerDescriptor

Modifier and Type	Method	Description
private static ReasonerDescriptor	AbstractChainedReasoner.deriveDescriptor(java.lang.String name, java.lang.String version, ReasonerDescriptor[] chain)	Derives the descriptor from the descriptor chain.
ReasonerDescriptor	AbstractChainedReasoner.getDescriptor()
ReasonerDescriptor	IReasonerInstance.getDescriptor()	Returns a descriptor stating common information about this reasoner.
ReasonerDescriptor	ReasonerFrontend.getPreferredReasoner()	Returns the preferred reasoner descriptor due to internal knowledge about the reasoner implementation status.
ReasonerDescriptor	ReasonerFrontend.getReasonerDescriptor(int index)	Returns the descriptor for a specific reasoner.
ReasonerDescriptor	ReasonerFrontend.getReasonerHint()	Returns the current reasoner hint.
ReasonerDescriptor	ReasonerFrontend.setPreferredReasoner()	Sets the actually preferred reasoner as hint.

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

Modifier and Type	Method	Description
private void	AbstractChainedReasoner.DerivedReasonerDescriptor.addCapabilities(ReasonerDescriptor desc)	Adds the capabilities of desc to the capabilities of this reasoner descriptor.
private static ReasonerDescriptor	AbstractChainedReasoner.deriveDescriptor(java.lang.String name, java.lang.String version, ReasonerDescriptor[] chain)	Derives the descriptor from the descriptor chain.
(package private) IReasoner	ReasonerFrontend.findReasoner(ReasonerDescriptor descriptor)	Finds a reasoner and throws related exceptions.
boolean	ReasonerFrontend.isChainingReasoner(ReasonerDescriptor descriptor)	Returns whether the reasoner registered for this descriptor is a chaining reasoner.
void	IMessageListener.notify(ReasonerDescriptor reasoner, IReasonerMessage.IType type)	Is called when a reasoner message is issued.
void	ReasonerFrontend.setReasonerHint(ReasonerDescriptor descriptor)	Defines that the specified reasoner shall be used.
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 ReasonerDescriptor

Constructor	Description
AbstractChainedReasoner(java.lang.String name, java.lang.String version, ReasonerDescriptor... chain)	Creates an reasoner chain with given name and version.
AbstractChainedReasoner(ReasonerDescriptor descriptor, ReasonerDescriptor... chain)	Creates an reasoner chain with given descriptor.

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

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

Modifier and Type	Method	Description
IReasoner	ReasonerRegistry.findReasoner(ReasonerDescriptor descriptor)	Returns the reasoner which provides the given descriptor.

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

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

Modifier and Type	Field	Description
private ReasonerDescriptor	ReasonerConfiguration.defaultReasoner

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

Modifier and Type	Method	Description
ReasonerDescriptor	ReasonerConfiguration.getDefaultResoner()	Returns the default reasoner.
ReasonerDescriptor	DelegatingReasonerInstance.getDescriptor()
ReasonerDescriptor	IReasoner.getDescriptor()	Returns a descriptor stating common information about this reasoner.

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

Modifier and Type	Method	Description
ReasonerConfiguration	ReasonerConfiguration.setDefaultReasoner(ReasonerDescriptor defaultReasoner)	Changes the default reasoner.

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

Subclasses of ReasonerDescriptor in net.ssehub.easy.reasoning.sseReasoner

Modifier and Type	Class	Description
class	Descriptor	A specific reasoner descriptor for AssignmentResolver reasoner.

Methods in net.ssehub.easy.reasoning.sseReasoner that return ReasonerDescriptor

Modifier and Type	Method	Description
ReasonerDescriptor	Reasoner.getDescriptor()
ReasonerDescriptor	Reasoner.ReasonerInstance.getDescriptor()