| Package | Description |
|---|---|
| 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. |
| Modifier and Type | Field and Description |
|---|---|
private java.util.List<Message> |
ReasoningResult.messages |
| Modifier and Type | Method and Description |
|---|---|
static Message |
AttributesCheckVisitor.createMessage(java.lang.String variableName,
java.lang.String attributeName,
net.ssehub.easy.varModel.model.values.Value value,
net.ssehub.easy.varModel.model.ModelElement conflictingModelElement)
Creates the error message in case that an attribute assignment is missing.
|
Message |
ReasoningResult.getMessage(int index)
Returns the message specified by
index. |
| Modifier and Type | Method and Description |
|---|---|
void |
ReasoningResult.addMessage(Message message)
Adds a new Message to the current result, e.
|
void |
ReasonerConfiguration.IAdditionalInformationLogger.info(Message msg)
Emits information about
msg. |
Copyright © 2009 - 2018 SSE. All Rights Reserved.