Package jadex.bdi.testcases.beliefs

Class BeliefChangesPlan

java.lang.Object

jadex.bdiv3x.runtime.Plan

jadex.bdi.testcases.beliefs.BeliefChangesPlan

public class BeliefChangesPlan
extends Plan

Test different kinds of belief changes.

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
BeliefChangesPlan()

Method Summary

Modifier and Type	Method	Description
void	body()	The body method is called on the instatiated plan instance from the scheduler.
protected boolean	checkPlans(int plan_a, int plan_b, int plan_c, int[] plans_executed)	Check that plans have been executed as stated.

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

BeliefChangesPlan

public BeliefChangesPlan()

Method Detail

body

public void body()

The body method is called on the instatiated plan instance from the scheduler.

Specified by:

body in class Plan

checkPlans

protected boolean checkPlans(int plan_a,
                             int plan_b,
                             int plan_c,
                             int[] plans_executed)

Check that plans have been executed as stated. Resets the plan_executed counters for next check.

Returns:

The plans_executed array contains the observed values after the method returns (for debugging).