Package jadex.bdi.testcases.planlib

Class CMTestPlan

java.lang.Object

jadex.bdiv3x.runtime.Plan

jadex.bdi.testcases.planlib.CMTestPlan

public class CMTestPlan
extends Plan

Test different cases of protocol cancellation.

Nested Class Summary

Nested classes/interfaces inherited from class jadex.bdiv3x.runtime.Plan

Plan.PlanWaitAbstraction

Field Summary

Fields inherited from class jadex.bdiv3x.runtime.Plan

agent, rplan

Constructor Summary

Constructors

Constructor	Description
CMTestPlan()

Method Summary

Modifier and Type	Method	Description
void	body()	Plan body performs the tests.
void	testInitiatorCancel()	Test cancellation of interaction from initiator side (this side).
void	testReceiverAbort()	Test abortion of interaction by receiver side (other side).

Methods inherited from class jadex.bdiv3x.runtime.Plan

aborted, checkNotInAtomic, createExpression, createGoal, createInternalEvent, createMessageEvent, dispatchInternalEvent, dispatchSubgoal, dispatchSubgoalAndWait, dispatchSubgoalAndWait, dispatchTopLevelGoal, endAtomic, fail, fail, fail, failed, getAgent, getBeliefbase, getClock, getComponentDescription, getComponentIdentifier, getComponentName, getDispatchedElement, getEventbase, getException, getExpression, getExpressionbase, getExternalAccess, getGoalbase, getLogger, getParameter, getParameters, getParameterSet, getParameterSets, getPlanbase, getPlanElement, getReason, getRPlan, getScope, getTime, getWaitqueue, hasParameter, hasParameterSet, killAgent, passed, sendMessage, sendMessageAndWait, sendMessageAndWait, startAtomic, toString, waitFor, waitForCondition, waitForCondition, waitForCondition, waitForConditionInline, waitForConditionInline, waitForEver, waitForFactAdded, waitForFactAdded, waitForFactChanged, waitForFactChanged, waitForFactRemoved, waitForFactRemoved, waitForGoalFinished, waitForGoalFinished, waitForGoalFinished, waitForGoalFinished, waitForInternalEvent, waitForInternalEvent, waitForMessageEvent, waitForMessageEvent, waitForReply, waitForReply, waitForReply, waitForReply, waitForTick

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

CMTestPlan

public CMTestPlan()

Method Detail

body

public void body()

Plan body performs the tests.

Specified by:

body in class Plan

testInitiatorCancel

public void testInitiatorCancel()

Test cancellation of interaction from initiator side (this side).

testReceiverAbort

public void testReceiverAbort()

Test abortion of interaction by receiver side (other side).