public class Plan.PlanWaitAbstraction
extends java.lang.Object
Constructor and Description |
---|
PlanWaitAbstraction() |
Modifier and Type | Method and Description |
---|---|
void |
addBeliefChanged(java.lang.String belief)
Add a belief change type.
|
protected void |
addChangeEventType(java.lang.String eventtype)
Add a change event type.
|
void |
addFactAdded(java.lang.String beliefset)
Add a fact added.
|
void |
addFactChanged(java.lang.String beliefset)
Add a fact changed.
|
void |
addFactRemoved(java.lang.String beliefset)
Add a fact removed.
|
void |
addGoalFinished(IGoal goal)
Add the goal to wait for.
|
void |
addGoalFinished(java.lang.String type)
Add the goal to wait for.
|
void |
addInternalEvent(MInternalEvent mevent)
Add an internal event.
|
void |
addInternalEvent(java.lang.String event)
Add an internal event.
|
void |
addMessageEvent(MMessageEvent mevent)
Add a message event.
|
void |
addMessageEvent(java.lang.String event)
Add a message event.
|
void |
addReply(IMessageEvent mevent)
Add a message event reply.
|
void |
addRuntimeElement(RElement relement)
Add a runtime element.
|
java.lang.Object[] |
getElements()
Get the currently contained elements of the waitqueue.
|
protected WaitAbstraction |
getWaitAbstraction()
Get the plan waitqueue waitabstraction.
|
boolean |
isEmpty()
Test if waitqueue is empty.
|
void |
removeBeliefChanged(java.lang.String belief)
Remove a belief change type.
|
protected void |
removeChangeEventType(java.lang.String eventtype)
Remove a change event type.
|
void |
removeFactAdded(java.lang.String beliefset)
Remove a fact added.
|
void |
removeFactChanged(java.lang.String beliefset)
Remove a fact changed.
|
void |
removeFactRemoved(java.lang.String beliefset)
Remove a fact removed.
|
void |
removeGoalFinished(IGoal goal)
Remove the goal to wait for.
|
void |
removeGoalFinished(java.lang.String type)
Remove the goal to wait for.
|
void |
removeInternalEvent(java.lang.String event)
Remove an internal event.
|
void |
removeMessageEvent(MMessageEvent mevent)
Remove a message event.
|
void |
removeMessageEvent(java.lang.String event)
Remove a message event.
|
void |
removeReply(IMessageEvent me)
Remove a message event reply.
|
void |
removeRuntimeElement(RElement relement)
Remove a runtime element.
|
protected WaitAbstraction getWaitAbstraction()
public void addInternalEvent(java.lang.String event)
type
- The type.public void removeInternalEvent(java.lang.String event)
type
- The type.public void addMessageEvent(java.lang.String event)
type
- The type.public void removeMessageEvent(java.lang.String event)
type
- The type.public void addGoalFinished(IGoal goal)
public void removeGoalFinished(IGoal goal)
public void addGoalFinished(java.lang.String type)
public void removeGoalFinished(java.lang.String type)
public void addFactChanged(java.lang.String beliefset)
belief
- The belief.public void addFactAdded(java.lang.String beliefset)
beliefset
- The beliefset.public void addFactRemoved(java.lang.String beliefset)
beliefset
- The beliefset.public void addBeliefChanged(java.lang.String belief)
belief
- The belief.public void addMessageEvent(MMessageEvent mevent)
type
- The type.public void addReply(IMessageEvent mevent)
me
- The message event.public void addInternalEvent(MInternalEvent mevent)
type
- The type.public void removeFactChanged(java.lang.String beliefset)
belief
- The belief.public void removeFactAdded(java.lang.String beliefset)
beliefset
- The beliefset.public void removeFactRemoved(java.lang.String beliefset)
beliefset
- The beliefset.public void removeBeliefChanged(java.lang.String belief)
belief
- The belief.public void removeMessageEvent(MMessageEvent mevent)
type
- The type.public void removeReply(IMessageEvent me)
me
- The message event.public void addRuntimeElement(RElement relement)
relement
- The runtime element.public void removeRuntimeElement(RElement relement)
relement
- The runtime element.protected void addChangeEventType(java.lang.String eventtype)
eventtype
- The change event type.protected void removeChangeEventType(java.lang.String eventtype)
eventtype
- The change event type.public boolean isEmpty()
public java.lang.Object[] getElements()