|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjade.core.behaviours.DistilledStateChartTransition
jade.core.behaviours.DistilledStateChartPerformativeTransition
public class DistilledStateChartPerformativeTransition
DistilledStateChartPerformativeTransition: transition defined to match a specific performative.
Field Summary |
---|
Fields inherited from class jade.core.behaviours.DistilledStateChartTransition |
---|
DEEP_HISTORY, NO_HISTORY, SHALLOW_HISTORY |
Constructor Summary | |
---|---|
DistilledStateChartPerformativeTransition(int aPerformative)
This constructor assumes that the name and target will be set later. |
|
DistilledStateChartPerformativeTransition(java.lang.Integer aPerformative)
This constructor uses the Integer version of the performative. |
|
DistilledStateChartPerformativeTransition(java.lang.String aName,
jade.core.behaviours.Behaviour tgt,
int perf)
Default constructor. |
|
DistilledStateChartPerformativeTransition(java.lang.String aName,
jade.core.behaviours.Behaviour tgt,
int history,
int perf)
Constructor that sets also the history. |
Method Summary | |
---|---|
int |
getPerformative()
Return the performative associated with this transition. |
void |
setPerformative(int p)
Set the associated performative of this transition. |
boolean |
trigger(jade.core.behaviours.Behaviour source,
jade.lang.acl.ACLMessage msg)
Trigger that watches for specified performative. |
Methods inherited from class jade.core.behaviours.DistilledStateChartTransition |
---|
action, getHistory, getTarget, getTransitionName, setHistory, setTarget, setTransitionName |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public DistilledStateChartPerformativeTransition(java.lang.String aName, jade.core.behaviours.Behaviour tgt, int perf)
aName
- the name of the transition.tgt
- the target behaviour.perf
- the performative that we will check.
java.lang.RuntimeException
- if we are adding a behaviour that has not
already been assigned to a DSC.public DistilledStateChartPerformativeTransition(java.lang.String aName, jade.core.behaviours.Behaviour tgt, int history, int perf)
aName
- a string name of the transition.tgt
- the target behaviour.history
- history type to use for target state.perf
- the performative that we will check.
java.lang.RuntimeException
- if we are adding a behaviour that has not
already been assigned to a DSC or if we set shallow or deep history and target state
isn't a DistilledStateChartBehaviour
.public DistilledStateChartPerformativeTransition(int aPerformative)
aPerformative
- The performative that we will match.public DistilledStateChartPerformativeTransition(java.lang.Integer aPerformative)
aPerformative
- The performative that we will match.Method Detail |
---|
public boolean trigger(jade.core.behaviours.Behaviour source, jade.lang.acl.ACLMessage msg)
trigger
in class DistilledStateChartTransition
source
- The behaviour that is the source of the transition.msg
- The ACLMessage that we check to see if it has a performative match.
public int getPerformative()
public void setPerformative(int p)
p
- The new performative.
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |