|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectaos.jack.jak.util.Watchable
aos.jack.jak.fsm.FSM
aos.jack.jak.event.Event
aos.jack.jak.event.MessageEvent
ship.IncomingShip
Automatically generated class from 'null'.
Field Summary | |
com.domainlanguage.time.TimePoint |
arrivalTime
|
int |
capacity
|
double |
draft
|
int |
length
|
int |
numberOfHoles
|
java.lang.String |
product
|
java.lang.String |
shipName
|
static ship.IncomingShip.__SS |
streamer
|
int |
width
|
Fields inherited from class aos.jack.jak.event.MessageEvent |
from, ident, message, mid, rmid, sentInfo, tracer |
Fields inherited from class aos.jack.jak.event.Event |
__sentinel, __tracer, behavior, FAILED_STATE, FILTERED_STATE, ocSoSxRN, oibxRNbo, oNmClIPw, opbuxRsu, oprrMDMw, oRoImClD, ovCnxRss, ovMLSoIm, oxrWpdil, PASSED_STATE, PICKBEHAVIOR_STATE, PICKPLAN_STATE, priority, relevant, START_STATE, SUBTASK_STATE, task |
Fields inherited from class aos.jack.jak.fsm.FSM |
__task, agent, CONTINUE, EXCEPTION, FAILED, oCPvOlIm, oPxOzOCn, oxncvRsN, PASSED, RESUME, STARTUP, SUBTASK, SUSPEND, trailPoint |
Fields inherited from class aos.jack.jak.util.Watchable |
_obs, changed |
Constructor Summary | |
IncomingShip()
Automatically generated constructor. |
Method Summary | |
boolean |
equals(java.lang.Object o)
Automatically generated method. |
java.lang.String |
getDocumentation()
|
aos.apib.StreamerSupport |
getStreamer()
Automatically generated method. |
java.lang.Object |
getVariable(int n)
|
int |
hashCode()
Automatically generated method. |
IncomingShip |
shipRequest(java.lang.String shipName,
int length,
int width,
double draft,
int capacity,
int numberOfHoles,
java.lang.String product,
com.domainlanguage.time.TimePoint arrivalTime)
|
java.lang.String |
stateInfo()
|
java.lang.String[] |
variableNames()
|
java.lang.String[] |
variableTypes()
|
Methods inherited from class aos.jack.jak.event.MessageEvent |
finalize, getMessage, getMonitor, getReply, lostReply, replied, setSentInfo, toString, traceReceived, traceSent |
Methods inherited from class aos.jack.jak.event.Event |
addRelevant, checkAttribute, createBehavior, defaultHandler, dump, filter, getEventName, getMyBehavior, getSignature, getTraceableInfo, getVariable, getVariableValue, getVariableValue, gotException, hasDefaultHandler, init, init, init, initBehavior, isFailed, isPassed, isRunning, isTraceEnabled, oCpmCpdi, oNboIboL, oNWncs0z, opbNdino, opdSucvp, oRNdilIC, oRxRsucv, owxRuoDr, postProcess, preProcess, process, pruneRelevant, remove, run, setTraceEnabled, setTraceState, thrownAnException, traceGoal |
Methods inherited from class aos.jack.jak.fsm.FSM |
describe, discard, exceptionInfo, getAgent, getPreferredPriority, loadClass, restart, setMode |
Methods inherited from class aos.jack.jak.util.Watchable |
addObserver, countObservers, deleteObserver, deleteObservers, hasChanged, notifyObservers, notifyObservers |
Methods inherited from class java.lang.Object |
clone, getClass, notify, notifyAll, wait, wait, wait |
Field Detail |
public static final ship.IncomingShip.__SS streamer
public java.lang.String shipName
public int length
public int width
public double draft
public int capacity
public int numberOfHoles
public java.lang.String product
public com.domainlanguage.time.TimePoint arrivalTime
Constructor Detail |
public IncomingShip()
Method Detail |
public aos.apib.StreamerSupport getStreamer()
getStreamer
in interface aos.apib.Base
public int hashCode()
public boolean equals(java.lang.Object o)
public java.lang.String getDocumentation()
getDocumentation
in interface aos.jack.jak.trace.Documented
public IncomingShip shipRequest(java.lang.String shipName, int length, int width, double draft, int capacity, int numberOfHoles, java.lang.String product, com.domainlanguage.time.TimePoint arrivalTime)
public java.lang.String stateInfo()
public java.lang.String[] variableNames()
variableNames
in interface aos.jack.jak.trace.VariableIntrospection
public java.lang.String[] variableTypes()
variableTypes
in interface aos.jack.jak.trace.VariableIntrospection
public java.lang.Object getVariable(int n)
getVariable
in interface aos.jack.jak.trace.VariableIntrospection
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |