public class ReasonerMessage extends java.lang.Object implements IReasonerMessage
IReasonerMessage.IType, IReasonerMessage.Type| Modifier and Type | Field and Description |
|---|---|
private IReasoner |
source |
private IReasonerMessage.IType |
type |
| Constructor and Description |
|---|
ReasonerMessage(IReasoner source,
IReasonerMessage.IType type)
Creates a reasoner message.
|
| Modifier and Type | Method and Description |
|---|---|
IReasoner |
getSource()
Returns the message source.
|
IReasonerMessage.IType |
getType()
Returns the type of the message.
|
private IReasoner source
private IReasonerMessage.IType type
public ReasonerMessage(IReasoner source, IReasonerMessage.IType type)
source - the source reasoner issuing the messagetype - the type of the messagepublic IReasoner getSource()
IReasonerMessagegetSource in interface IReasonerMessagepublic IReasonerMessage.IType getType()
IReasonerMessagegetType in interface IReasonerMessageCopyright © 2009 - 2018 SSE. All Rights Reserved.