ship
Class Ship

java.lang.Object
  extended byaos.jack.jak.scheduler.Executee
      extended byaos.jack.jak.agent.Agent
          extended byship.Ship
All Implemented Interfaces:
aos.dci.Addressable, aos.jack.jak.rvt.ContextProvider, aos.jack.jak.trace.Documented, aos.jack.jak.event.EventRecipient, aos.jack.jak.core.Generator, aos.jack.jak.rvt.MonitoredInterface, aos.jack.jak.agent.NameSpace

public class Ship
extends aos.jack.jak.agent.Agent


Field Summary
 java.lang.String agentName
           
 com.domainlanguage.time.TimePoint arrivalTime
           
 ArrivalManaging cap
           
 VariableManaging cap1
           
 int capacity
           
 com.domainlanguage.time.TimePoint delegatedArrivalTime
           
 com.domainlanguage.time.TimePoint departureTime
           
 double draft
           
 int length
           
 int numberOfHoles
           
 java.lang.String product
           
 int width
           
 java.util.Vector visitedBerth
           
 
Fields inherited from class aos.jack.jak.agent.Agent
BEING_CREATED, blockedMonitor, changing_focus, detail_trace, FINISHED, FINISHING, HANDLED_EVENT, IGNORED_EVENT, INITIALIZING, NOBS, oboSNrMw, OBS_ALL, OBS_EVENT, OBS_MESSAGE, OBS_RUN, OBS_TASK, ociprWpm, ocSNrdSN, odLcvOCn, oDMLcsss, oDrWRssu, ods0CnoS, oDzMDWni, oDzWOPvO, oLDdizRu, omOlDrrM, onDrdini, ooc0lLSx, opOCpdSo, ouNdIPss, ovdSxOCl, ovmCnoLI, oxdSxRNm, oxpdcvnc, POSTED_EVENT, RUNNING, SENT_EVENT, state, thread_pool, timer, TO_BE_CREATED, WRITEABLE
 
Fields inherited from class aos.jack.jak.scheduler.Executee
obSoImmm, oiWpdc0C, omCnoIbo
 
Constructor Summary
Ship(java.lang.String name, int length, int width, double draft, int capacity, int numberOfHoles)
           
 
Method Summary
 void __bindNames()
           
 void __init1()
           
 void __init2()
           
 java.lang.String getAgentName()
           
 java.lang.Class getAgentType()
           
 com.domainlanguage.time.TimePoint getArrivalTime()
           
 int getCapacity()
           
 com.domainlanguage.time.TimePoint getDelegatedArrivalTime()
           
 com.domainlanguage.time.TimePoint getDepartureTime()
           
 java.lang.String getDocumentation()
           
 double getDraft()
           
 int getLength()
           
 int getNumberOfHoles()
           
 java.lang.String getProduct()
           
 int getWidth()
           
 void init_desc()
           
 boolean isKnockedOut(java.lang.String berthName)
           
 void setArrivalTime(com.domainlanguage.time.TimePoint arrivalTime)
           
 void setDelegatedArrivalTime(com.domainlanguage.time.TimePoint delegatedArrivalTime)
           
 void setDepartureTime(com.domainlanguage.time.TimePoint departureTime)
           
 void setEnabled(boolean t)
           
 void setProduct(java.lang.String product)
           
 
Methods inherited from class aos.jack.jak.agent.Agent
addAgentConstructionListener, addBlocked, addEvent, addEvent, addGlobal, addKnownCapability, addNamedObject, addPlan, addShared, addTask, blockForTrace, bug, changeFocus, createEventStructure, createMessageManager, createTask, createTaskManager, createWaitForManager, describeState, discardReplies, dump, dump, dumpPlans, dumpToString, findEvent, findEvent, findEventFlags, findGlobal, findLocalAgent, findShared, finish, finishedTask, genCursor, genFSM, genObject, getAgent, getBasename, getContext, getCurrentAgent, getCurrentTask, getGlobal, getId, getIF, getKnownEvents, getKnownPlans, getMonitor, getName, getNamedObject, getNamedObject, getNamedObjectFlags, getObservable, getObservable, getReply, getTaskManager, inAgent, initialize, isBlocked, isEnabled, isIdle, name, newAgentDesc, nEvents, nMessages, nTasks, nTodo, ocxRNdSu, odoDMDMw, oducwvR0, oLLSNrWO, omrrdSNd, oOzMLilS, opOCnoIb, oRDWpmbN, orncvpmP, ouDdSuil, ouDMwvOP, ouininc0, ovdcwwvp, oxlDMwLS, postEvent, postEventAndWait, putGlobal, receive, receiveMessageEvent, removeAgentConstructionListener, removeBlocked, removeTask, removeTraceMethod, replied, reply, run, send, send, setNamedCreator, setNamedObject, setTraceMethod, startAgent, stop, testCondition, toString, trace, traceFinished, traceStarted, warning
 
Methods inherited from class aos.jack.jak.scheduler.Executee
oNPvOlIm, owsNbNbo
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

agentName

public java.lang.String agentName

length

public int length

width

public int width

draft

public double draft

capacity

public int capacity

numberOfHoles

public int numberOfHoles

product

public java.lang.String product

arrivalTime

public com.domainlanguage.time.TimePoint arrivalTime

delegatedArrivalTime

public com.domainlanguage.time.TimePoint delegatedArrivalTime

departureTime

public com.domainlanguage.time.TimePoint departureTime

visitedBerth

public java.util.Vector visitedBerth

cap

public ArrivalManaging cap

cap1

public VariableManaging cap1
Constructor Detail

Ship

public Ship(java.lang.String name,
            int length,
            int width,
            double draft,
            int capacity,
            int numberOfHoles)
Method Detail

getAgentName

public java.lang.String getAgentName()

getLength

public int getLength()

getWidth

public int getWidth()

getDraft

public double getDraft()

getCapacity

public int getCapacity()

getNumberOfHoles

public int getNumberOfHoles()

getProduct

public java.lang.String getProduct()

setProduct

public void setProduct(java.lang.String product)

getArrivalTime

public com.domainlanguage.time.TimePoint getArrivalTime()

setArrivalTime

public void setArrivalTime(com.domainlanguage.time.TimePoint arrivalTime)

getDelegatedArrivalTime

public com.domainlanguage.time.TimePoint getDelegatedArrivalTime()

setDelegatedArrivalTime

public void setDelegatedArrivalTime(com.domainlanguage.time.TimePoint delegatedArrivalTime)

getDepartureTime

public com.domainlanguage.time.TimePoint getDepartureTime()

setDepartureTime

public void setDepartureTime(com.domainlanguage.time.TimePoint departureTime)

isKnockedOut

public boolean isKnockedOut(java.lang.String berthName)

getDocumentation

public java.lang.String getDocumentation()

getAgentType

public java.lang.Class getAgentType()

__init1

public void __init1()

__init2

public void __init2()

init_desc

public void init_desc()

__bindNames

public void __bindNames()

setEnabled

public void setEnabled(boolean t)