berth
Class AllocationCheck
java.lang.Object
aos.jack.jak.plan.Plan
berth.AllocationCheck
- 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 AllocationCheck
- extends aos.jack.jak.plan.Plan
Fields inherited from class aos.jack.jak.plan.Plan |
__agent, __logic, __ns, __planTask, oprdICnx, oxRuxOPs |
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 |
bRqev
public BerthRequest bRqev
bRpev
public BerthReply bRpev
aRqev
public AllocationRequest aRqev
self
public Berth self
SingleBerthLiftingArmBs
public MyLiftingArmBs SingleBerthLiftingArmBs
AllocationCheck
public AllocationCheck()
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()