|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface EngineMessage
Message passed to the engine to direct a change of state for an instance
Field Summary | |
---|---|
static int |
TYPE_HALT_EXECUTION
|
static int |
TYPE_MOVE_TOKEN
|
Method Summary | |
---|---|
void |
addAppData(java.lang.String name,
java.io.Serializable data)
Adds application data to the engine messages |
java.util.Map |
getAppData()
|
TokenID |
getCurrentTokenID()
|
int |
getMessageType()
gets the type of the message |
void |
setCurrentTokenID(TokenID tokenID)
Sets the current TokenID for this message |
void |
setMessageType(int type)
Sets the type of the message |
Field Detail |
---|
static final int TYPE_MOVE_TOKEN
static final int TYPE_HALT_EXECUTION
Method Detail |
---|
void setMessageType(int type)
type
- int getMessageType()
void setCurrentTokenID(TokenID tokenID)
tokenID
- TokenID getCurrentTokenID()
void addAppData(java.lang.String name, java.io.Serializable data)
name
- data
- java.util.Map getAppData()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |