gui
Class InitiationOfShipsBerths

java.lang.Object
  extended byaos.jack.jak.plan.Plan
      extended bygui.InitiationOfShipsBerths
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 InitiationOfShipsBerths
extends aos.jack.jak.plan.Plan

Ships and berths are initiated in this plan.


Field Summary
 BerthBs berthBs
           
 BerthLiftingArm berthLiftingArm
           
 ShipBerthInitiation ev
           
 InitialData ev1
           
 LiftingArmProduct liftingArmProduct
           
 ShipBs shipBs
           
 
Fields inherited from class aos.jack.jak.plan.Plan
__agent, __logic, __ns, __planTask, oprdICnx, oxRuxOPs
 
Constructor Summary
InitiationOfShipsBerths()
           
 
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)
           
protected  aos.jack.jak.logic.Signature initSignature(int __log)
           
 java.lang.String[] logSignatureVariableNames()
           
 java.lang.String[] logSignatureVariableTypes()
           
 java.lang.String[] reasoningMethods()
           
 void setFromSignature(aos.jack.jak.logic.Signature __s)
           
 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, isSame, isTraceEnabled, lookupNamedObject, mergeReasoningMethods, objSignatureVariableNames, objSignatureVariableTypes, oLvOzR0C, oNMwDrMw, ouNboImb, pass, registerPlanChoice, 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 ShipBerthInitiation ev

ev1

public InitialData ev1

shipBs

public ShipBs shipBs

berthBs

public BerthBs berthBs

liftingArmProduct

public LiftingArmProduct liftingArmProduct

berthLiftingArm

public BerthLiftingArm berthLiftingArm
Constructor Detail

InitiationOfShipsBerths

public InitiationOfShipsBerths()
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)

initSignature

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

setFromSignature

public void setFromSignature(aos.jack.jak.logic.Signature __s)

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

logSignatureVariableNames

public java.lang.String[] logSignatureVariableNames()

logSignatureVariableTypes

public java.lang.String[] logSignatureVariableTypes()

context

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