berth
Class ShipAllocation

java.lang.Object
  extended byaos.jack.jak.plan.Plan
      extended byberth.ShipAllocation
All Implemented Interfaces:
aos.jack.jak.trace.Documented, aos.jack.jak.core.Generator, aos.jack.jak.rvt.MonitoredInterface, aos.jack.jak.trace.PlanIntrospection, aos.jack.jak.rvt.RVTTraceable, aos.jack.jak.trace.Traceable, aos.jack.jak.trace.VariableIntrospection

public class ShipAllocation
extends aos.jack.jak.plan.Plan


Field Summary
 ReceiveShipResponsibility enc
           
 DelegationOfResponsibility ev
           
 KnockOutShip ev1
           
 ResponsibleReply rep
           
 Berth self
           
 
Fields inherited from class aos.jack.jak.plan.Plan
__agent, __logic, __ns, __planTask, oprdICnx, oxRuxOPs
 
Constructor Summary
ShipAllocation()
           
 
Method Summary
 boolean __relevant(aos.jack.jak.event.Event __e)
           
 aos.jack.jak.plan.PlanFSM body()
           
 aos.jack.jak.cursor.Cursor context()
           
 aos.jack.jak.plan.Plan createPlan(aos.jack.jak.event.Event __e, aos.jack.jak.task.Task __t)
           
protected  aos.jack.jak.logic.Signature eventSignature(int __log)
           
 aos.jack.jak.plan.Plan freeze()
           
 aos.jack.jak.cursor.Cursor genCursor(int __index)
           
 aos.jack.jak.fsm.FSM genFSM(int __index)
           
 java.lang.Object genObject(int __index)
           
 java.lang.String getDocumentation()
           
 java.lang.Object getVariable(int n)
           
 java.lang.String handledEvent()
           
 boolean init_sentinel(aos.jack.jak.agent.NameSpace __a)
           
 java.lang.String[] reasoningMethods()
           
 boolean testCondition(int __index)
           
 aos.jack.jak.plan.Plan unfreeze()
           
 java.lang.String[] variableNames()
           
 java.lang.String[] variableTypes()
           
 
Methods inherited from class aos.jack.jak.plan.Plan
after, after, afterMillis, afterMillis, checkContext, checkRelevance, createPlanInstance, describe, elapsed, elapsed, elapsedMillis, elapsedMillis, extendSignature, fail, genCursor, getAgent, getBody, getContext, getInstanceInfo, getMonitor, getPlanName, getSignature, getTraceableInfo, getVariable, getVariableValue, getVariableValue, handledEventInstance, handlesAll, init, initSignature, isSame, isTraceEnabled, logSignatureVariableNames, logSignatureVariableTypes, lookupNamedObject, mergeReasoningMethods, objSignatureVariableNames, objSignatureVariableTypes, oLvOzR0C, oNMwDrMw, ouNboImb, pass, registerPlanChoice, setFromSignature, setTraceEnabled, setTraceState, shouldHandle, toString, warning
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

ev

public DelegationOfResponsibility ev

rep

public ResponsibleReply rep

ev1

public KnockOutShip ev1

enc

public ReceiveShipResponsibility enc

self

public Berth self
Constructor Detail

ShipAllocation

public ShipAllocation()
Method Detail

getDocumentation

public java.lang.String getDocumentation()

init_sentinel

public boolean init_sentinel(aos.jack.jak.agent.NameSpace __a)

freeze

public aos.jack.jak.plan.Plan freeze()

unfreeze

public aos.jack.jak.plan.Plan unfreeze()

genObject

public java.lang.Object genObject(int __index)

genCursor

public aos.jack.jak.cursor.Cursor genCursor(int __index)
                                     throws java.lang.Exception
Throws:
java.lang.Exception

genFSM

public aos.jack.jak.fsm.FSM genFSM(int __index)
                            throws java.lang.Exception
Throws:
java.lang.Exception

testCondition

public boolean testCondition(int __index)
                      throws java.lang.Exception
Throws:
java.lang.Exception

body

public aos.jack.jak.plan.PlanFSM body()

eventSignature

protected aos.jack.jak.logic.Signature eventSignature(int __log)

handledEvent

public java.lang.String handledEvent()

__relevant

public boolean __relevant(aos.jack.jak.event.Event __e)

createPlan

public aos.jack.jak.plan.Plan createPlan(aos.jack.jak.event.Event __e,
                                         aos.jack.jak.task.Task __t)

variableNames

public java.lang.String[] variableNames()

variableTypes

public java.lang.String[] variableTypes()

getVariable

public java.lang.Object getVariable(int n)

reasoningMethods

public java.lang.String[] reasoningMethods()

context

public aos.jack.jak.cursor.Cursor context()