All Packages Class Hierarchy
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Index of all Fields and Methods
- actionPerformed(ActionEvent).
Method in class kraft.monitor.KraftMonitor
- Deals with events relating to the Menu bar
- actionPerformed(ActionEvent).
Method in class kraft.monitor.display.MonitorGUI
- Receives ActionEvents from the buttons in the GUI and handles them
- add(Node).
Method in class kraft.monitor.display.Area
- Adds a Node to this Area, it applies the default labelOrientation
to the Node for this type of Area.
- add(Node, int).
Method in class kraft.monitor.display.Area
- Adds a Node to this Area with the orientation specified.
- add(String, Monitorable, int).
Method in class kraft.monitor.display.MonitorCanvas
- A new Monitorable agent has registered with the monitor.
- add_gateway(String, GatewayEntry).
Method in class kraft.gateway.GatewayMap
-
- add_gateway(String, String, int).
Method in class kraft.gateway.GatewayMap
-
- add_gateway(String, String, String, int).
Method in class kraft.gateway.GatewayMap
-
- addComment(String, int).
Method in class kraft.monitor.display.Node
- Give the Node a status string for the visualisation step 'index'.
- addDisplayMonitor(DisplayMonitor).
Method in interface kraft.monitor.display.DisplayEvent
- Adds the specified display monitor to the object.
- addDisplayMonitor(DisplayMonitor).
Method in class kraft.monitor.display.Link
-
- addDisplayMonitor(DisplayMonitor).
Method in class kraft.monitor.display.Node
-
- addInfoPair(String, String).
Method in class kraft.monitor.adapter.KraftAgent
- Adds more info to the agent, in a similar way to
resource: type, protocol: type,
This info is used when getDisplayString(2) is
called.
- adjustBounds(double, double).
Method in class kraft.monitor.display.Area
- Adjust the dimensions of this area by the given scaling factor.
- adjustmentValueChanged(AdjustmentEvent).
Method in class kraft.monitor.display.MonitorGUI
- Recieves AdjustmentEvents related to the slider used to step
between visualisation steps.
- Area(int).
Constructor for class kraft.monitor.display.Area
- Start the new Area with the given type of Nodes it should display
Type should be any type in the Monitorable interface.
- Area(int, int, int, int, int).
Constructor for class kraft.monitor.display.Area
- Start the new Area with the given type, position, and dimensions.
- argument(int).
Method in class kraft.TermInString
-
- arity.
Variable in class kraft.TermInString
-
- BOTTOM.
Static variable in class kraft.monitor.display.MonitorGUI
- Constant used in output()
- breakDownTerm(TermInString).
Static method in class kraft.monitor.tools.KraftTerm
- Debugging method: breaks down a term into functor, arity and args
and prints them to System.err
- BROKER.
Static variable in interface kraft.monitor.display.Monitorable
- Define one type of agent that the Monitor will recognise,
and treat slightly differently to others.
- canvas.
Variable in class kraft.monitor.display.MonitorGUI
-
- CCQL(String).
Constructor for class kraft.monitor.adapter.CCQL
- Create a new CCQL message with the given string
- CCQL(TermInString).
Constructor for class kraft.monitor.adapter.CCQL
- Create a new CCQL message with the given Term
- CIRCLE.
Static variable in class kraft.monitor.display.Area
- Constant used to adjust the Node layout rule used.
- clearEvents().
Method in class kraft.monitor.display.MonitorCanvas
- Clear all the display Events that are currently logged.
- compose_in_template_from_receiver_name(String).
Static method in class kraft.gateway.MessagingHandler
-
- compose_in_template_from_receiving_site(String).
Static method in class kraft.gateway.MessagingHandler
-
- connectToLinda(String, int, String).
Method in class kraft.monitor.adapter.LinjaAdapter
- Connect to the linda server at "lhost:lport" using the
name 'name' for the monitor
- connectToLinda(String, int, String, String).
Method in class kraft.monitor.adapter.LinjaAdapter
- Connect to the linda server at "lhost:lport", using the
name "krl( site, name)" for the monitor
- contains(int, int).
Method in class kraft.monitor.display.Node
- Return whether this object contains the point (x,y)
- content.
Variable in class kraft.monitor.adapter.CCQL
-
- crossOutMessage(String, String, Message).
Method in class kraft.monitor.display.MonitorCanvas
- Cross out the Link representing the given message.
- crossOutMessage(String, String, Message).
Method in class kraft.monitor.display.MonitorGUI
- Used to indicate that some failure has ocurred when delivering a
Message.
- currentStep().
Method in class kraft.monitor.display.MonitorCanvas
- The current visualisation step
- Debug().
Constructor for class kraft.monitor.tools.Debug
-
- debugflag.
Static variable in class kraft.monitor.tools.Debug
- Flags debugging messages on/off.
- delete_gateway(String).
Method in class kraft.gateway.GatewayMap
-
- deRegister(String).
Method in class kraft.monitor.display.MonitorGUI
- Make the monitorable object with this name unmonitorable
- deRegister(String).
Method in interface kraft.monitor.display.MonitorServer
- Inform the Monitor that the Monitorable object with name 'n'
does not wish to be monitored further
- displayEvent(int, String, String, Message).
Method in class kraft.monitor.display.MonitorGUI
- Informs the monitor of an 'event' to be displayed.
- displayMessage(String, String, Message).
Method in class kraft.monitor.display.MonitorGUI
- Display a copy of a Message sent by a monitorable object.
- displayMessage(String, String, Message, Date, DisplayMonitor).
Method in class kraft.monitor.display.MonitorCanvas
- Stores the given message in preparation for it to be displayed
on the canvas (as a Link between two Nodes).
- DisplayMonitor(Date).
Constructor for class kraft.monitor.display.DisplayMonitor
-
- EAST.
Static variable in class kraft.monitor.display.Node
- Constant for use with label orientation
- equals(Object).
Method in class kraft.monitor.adapter.CCQL
- Whether another object represents the same message
as this one.
- equals(Object).
Method in class kraft.monitor.adapter.Kraft_msg
- Whether obj represents the same message as this one
- equals(Object).
Method in interface kraft.monitor.display.Message
- Must be implemented to ensure comparison for equality with
other Message objects are successful.
- FAST.
Static variable in class kraft.monitor.display.MonitorGUI
- Constants for use with the
setDelay
method.
- file.
Variable in class kraft.monitor.FileBasedClient
-
- file_dialog.
Variable in class kraft.monitor.KraftMonitor
-
- FileBasedClient(File, String, int).
Constructor for class kraft.monitor.FileBasedClient
- Initialise the client to read from the given file.
- find_gateway(String).
Method in class kraft.gateway.GatewayMap
-
- formatContent(String, int).
Method in class kraft.monitor.adapter.CCQL
- Parse the content field of the message.
- functor.
Variable in class kraft.TermInString
-
- GatewayEntry(String, String, int).
Constructor for class kraft.gateway.GatewayEntry
-
- GatewayEntry(String, String, String, int).
Constructor for class kraft.gateway.GatewayEntry
-
- GatewayMap().
Constructor for class kraft.gateway.GatewayMap
-
- GatewayMap(int).
Constructor for class kraft.gateway.GatewayMap
-
- GatewayTest().
Constructor for class kraft.gateway.GatewayTest
-
- get_all_sites().
Method in class kraft.gateway.GatewayMap
-
- get_core(String).
Static method in class kraft.gateway.MessagingHandler
-
- get_core(TermInString).
Static method in class kraft.gateway.MessagingHandler
-
- get_host().
Method in class kraft.gateway.GatewayEntry
-
- get_message_receiver(String).
Static method in class kraft.gateway.MessagingHandler
-
- get_message_receiver(TermInString).
Static method in class kraft.gateway.MessagingHandler
-
- get_message_sender(String).
Static method in class kraft.gateway.MessagingHandler
-
- get_message_sender(TermInString).
Static method in class kraft.gateway.MessagingHandler
-
- get_name_site(String).
Static method in class kraft.gateway.MessagingHandler
-
- get_name_site(TermInString).
Static method in class kraft.gateway.MessagingHandler
-
- get_port().
Method in class kraft.gateway.GatewayEntry
-
- get_protocol().
Method in class kraft.gateway.GatewayEntry
-
- get_site().
Method in class kraft.gateway.GatewayEntry
-
- getBackground().
Method in class kraft.monitor.display.Area
-
- getBackground().
Method in class kraft.monitor.display.Link
-
- getBounds().
Method in class kraft.monitor.display.Link
- Get the bounding box for this graphical object
- getCommandString().
Method in class kraft.monitor.adapter.CCQL
- Returns the performative of the CCQL message.
- getCommandString().
Method in class kraft.monitor.adapter.Kraft_msg
- Returns the performative of the CCQL part of the message
- getCommandString().
Method in interface kraft.monitor.display.Message
- Returns the basic command name of this message.
- getContext().
Method in class kraft.monitor.adapter.Kraft_msg
- Return the context of the message as a string
- getContextString().
Method in interface kraft.monitor.display.DisplayEvent
- Get a string that is relevant to the current status of this object
e.g.
- getContextString().
Method in class kraft.monitor.display.Link
- Returns the full, formatted display string of the Message
this object represents
- getContextString().
Method in class kraft.monitor.display.MonitorCanvas
- Get a current string that is relevant to the
current state of the visualisation.
- getContextString().
Method in class kraft.monitor.display.Node
- Returns the current status message of this
Node.
- getCore().
Method in class kraft.monitor.adapter.Kraft_msg
- Return the Core of the message as CCQL object
- getDisplayName(int).
Method in class kraft.monitor.adapter.KraftAgent
- Gets the name of this agent in a formatted form.
- getDisplayName(int).
Method in interface kraft.monitor.display.Monitorable
- Return the name of this agent in a format suitable for displaying
on screen.
- getDisplayString(int).
Method in class kraft.monitor.adapter.CCQL
- Returns a formatted string representing the CCQL
message.
- getDisplayString(int).
Method in class kraft.monitor.adapter.Kraft_msg
- Format the message into a string for displaying
- getDisplayString(int).
Method in interface kraft.monitor.display.Message
- Returns a formatted String of the Message which gives more details
of the message in a 'nice' format (with tabs and newlines)
- getFieldValue(TermInString, String).
Static method in class kraft.monitor.tools.KraftTerm
- Get the value of a particular field in a list of form:
'.'(:(field,value), '.'(:(field2,value2),[]))
- getForeground().
Method in class kraft.monitor.display.Link
-
- getFullName().
Method in class kraft.monitor.adapter.KraftAgent
- The unformatted name of the agent
- getFullName().
Method in interface kraft.monitor.display.Monitorable
- The full name of the agent.
- getIndex().
Method in class kraft.monitor.display.DisplayMonitor
- Called by the MonitorGUI
- getListPair(TermInString, int).
Static method in class kraft.monitor.tools.KraftTerm
- Get the field and value pair of args at position 'pos' in a list of form:
'.'(:(field,value), '.'(:(field2,value2),[]))
- getMessage().
Method in class kraft.monitor.display.Link
- Get the Message this object represents
- getMessages().
Method in class kraft.monitor.display.MonitorCanvas
-
- getMessages().
Method in class kraft.monitor.display.MonitorGUI
- The the set of Messages currently being shown by
the Monitor
- getMinimumSize().
Method in class kraft.monitor.display.Area
-
- getMinimumSize().
Method in class kraft.monitor.display.MonitorCanvas
-
- getName().
Method in class kraft.monitor.display.Node
-
- getPosition().
Method in class kraft.monitor.display.Node
-
- getRadius().
Method in class kraft.monitor.display.Node
-
- getResourceProtocol().
Method in class kraft.monitor.adapter.KraftAgent
- The protocol used between the agent and its
resource (if any).
- getResourceProtocol().
Method in interface kraft.monitor.display.Monitorable
- For SERVER-type agents: return the protocol used between the
agent and its resource.
- getResourceType().
Method in class kraft.monitor.adapter.KraftAgent
- The name of the resource this agent
wraps onto (if any).
- getResourceType().
Method in interface kraft.monitor.display.Monitorable
- For SERVER-type agents: return the type of resource they are
accessing: eg: 'DB', 'KB' etc..
- getTime().
Method in class kraft.monitor.display.DisplayMonitor
-
- getType().
Method in class kraft.monitor.adapter.KraftAgent
- The Monitorable type of the agent.
- getType().
Method in interface kraft.monitor.display.Monitorable
- Return the type of the agent, this should be one of the types
defined by this interface (BROKER etc.
- getType().
Method in class kraft.monitor.display.Node
- Returns the type of Monitorable object this Node represents
- gotoStep(int).
Method in class kraft.monitor.display.MonitorCanvas
- Go to the step 'val' in the visualisation, if it exists.
- gui.
Variable in class kraft.monitor.KraftMonitor
-
- H_SPACE.
Static variable in class kraft.monitor.display.Area
- The minimum amount of space between adjacent Nodes in this Area and
the position of the nearest Node (defaults to 15 pixels)
- hasNodes().
Method in class kraft.monitor.display.Area
-
- HORIZ_LINE.
Static variable in class kraft.monitor.display.Area
- Constant used to adjust the Node layout rule used.
- hostName(String).
Static method in class kraft.monitor.display.Node
- Get the host name from the given RMI name.
- HSPACE.
Static variable in class kraft.monitor.display.Link
-
- in_reply_to.
Variable in class kraft.monitor.adapter.CCQL
-
- informOfFailure(String, String, Message).
Method in class kraft.monitor.display.MonitorGUI
-
- informOfFailure(String, String, Message).
Method in interface kraft.monitor.display.MonitorServer
- Inform the monitor of a message that has been sent and has not
been delivered successfully.
- informOfMessage(String, String, Message).
Method in class kraft.monitor.display.MonitorGUI
-
- informOfMessage(String, String, Message).
Method in interface kraft.monitor.display.MonitorServer
- Inform the monitor of a message being passed between two agents
with the names given.
- informOfStatus(String, String).
Method in class kraft.monitor.display.MonitorGUI
-
- informOfStatus(String, String).
Method in interface kraft.monitor.display.MonitorServer
- The agent called 'name' wishes to register its current status
with the 'comment' string.
- init().
Method in class kraft.monitor.display.MonitorGUI
- Initialise the GUI, the MonitorCanvas
- is_atom().
Method in class kraft.TermInString
-
- is_compound_term().
Method in class kraft.TermInString
-
- is_empty_list().
Method in class kraft.TermInString
-
- is_list().
Method in class kraft.TermInString
-
- is_string().
Method in class kraft.TermInString
-
- isDisplayed().
Method in class kraft.monitor.display.DisplayMonitor
- Called by the MonitorGUI to see whether the event is displayed yet
- itemStateChanged(ItemEvent).
Method in class kraft.monitor.display.MonitorGUI
- Recieves ItemEvents from the choice boxes in the GUI, and
handles them accordingly
- Kraft_msg(String).
Constructor for class kraft.monitor.adapter.Kraft_msg
- Construct a new kraft_msg object from the given
string.
- Kraft_msg(TermInString).
Constructor for class kraft.monitor.adapter.Kraft_msg
- Construct a new kraft_msg object from the given
Term
- KraftAgent(String).
Constructor for class kraft.monitor.adapter.KraftAgent
- Create a KraftAgent with the given name
- KraftMonitor().
Constructor for class kraft.monitor.KraftMonitor
- Start up a monitor.
- KraftMonitor(String, int, String).
Constructor for class kraft.monitor.KraftMonitor
- Start up a monitor to connect to the given linda host/port
using the given name for the monitor
- KraftMonitor(String, int, String, String[]).
Constructor for class kraft.monitor.KraftMonitor
- Start up a monitor to connect to the given linda host/port
using the given name for the monitor.
- KraftTerm().
Constructor for class kraft.monitor.tools.KraftTerm
-
- language.
Variable in class kraft.monitor.adapter.CCQL
-
- linda.
Variable in class kraft.monitor.FileBasedClient
-
- linja_adapter.
Variable in class kraft.monitor.KraftMonitor
-
- LinjaAdapter(MonitorServer).
Constructor for class kraft.monitor.adapter.LinjaAdapter
- Start up and prepare to send info to 'mon'
Should be followed by a call to connectToLinda()
- LinjaAdapter(MonitorServer, String, int, String).
Constructor for class kraft.monitor.adapter.LinjaAdapter
- Start up and prepare to send info to 'mon'.
- LinjaAdapter(MonitorServer, String, int, String, String).
Constructor for class kraft.monitor.adapter.LinjaAdapter
- Start up and prepare to send info to 'mon'.
- Link(Node, Node, Message, Date).
Constructor for class kraft.monitor.display.Link
- A new link between node 'start' and node 'end'.
- loadFile(String, String).
Method in class kraft.monitor.KraftMonitor
- Load the given batch file for monitoring
- main(String[]).
Static method in class kraft.gateway.GatewayTest
-
- main(String[]).
Static method in class kraft.monitor.KraftMonitor
- Start the KraftMonitor
Can be given command-line args for quick setup:
eg: java kraft.monitor.KraftMonitor [-lh linda_host]
[-lp linda_port]
[-n monitor_name]
[-s local_site]
[[-rs remote_site_name]...]
<\pre>
- main(String[]).
Static method in class kraft.monitor.tools.KraftTerm
- typing java kraft.monitor.tools.KraftTerm
will cause the term to be broken down
Used for testing
- MEDIUM.
Static variable in class kraft.monitor.display.MonitorGUI
- Constants for use with the
setDelay
method.
- MESSAGE_SENT.
Static variable in class kraft.monitor.display.MonitorGUI
- Constants for use with the
displayEvent
method.
- MESSAGE_UNSENT.
Static variable in class kraft.monitor.display.MonitorGUI
- Constants for use with the
displayEvent
method.
- messages.
Variable in class kraft.monitor.FileBasedClient
-
- MessagingHandler().
Constructor for class kraft.gateway.MessagingHandler
-
- MIDDLE.
Static variable in interface kraft.monitor.display.Monitorable
- Define one type of agent that the Monitor will recognise,
and treat slightly differently to others.
- MonitorCanvas().
Constructor for class kraft.monitor.display.MonitorCanvas
-
- MonitorGUI().
Constructor for class kraft.monitor.display.MonitorGUI
-
- monitorRemoteSites(String[]).
Method in class kraft.monitor.adapter.LinjaAdapter
- Try to monitor the given remote sites.
- mousePressedHasEffect(int, int).
Method in class kraft.monitor.display.Area
- Determine whether a mouse press at (x,y) has
an effect on any of the Nodes in this Area.
- mousePressedHasEffect(int, int).
Method in interface kraft.monitor.display.DisplayEvent
- Inform that the mouse button has been pressed at (x,y),
return true if this has an effect on this displayevent
- mousePressedHasEffect(int, int).
Method in class kraft.monitor.display.Link
- Determines if the mouse being pressed at (x,y) has an effect on
the graphical appearance of this Link.
- mousePressedHasEffect(int, int).
Method in class kraft.monitor.display.Node
- If a mouse press at (x,y) has an effect on this Node-- i.e.
- mouseReleasedHasEffect(int, int).
Method in class kraft.monitor.display.Area
- Determine whether a mouse released at (x,y) has
an effect on any of the Nodes in this Area.
- mouseReleasedHasEffect(int, int).
Method in interface kraft.monitor.display.DisplayEvent
- Inform that the mouse button has been released at (x,y),
return true if this has an effect on this displayevent
- mouseReleasedHasEffect(int, int).
Method in class kraft.monitor.display.Link
- Determines if the mouse being released at (x,y) has an effect on
the graphical appearance of this Link.
- mouseReleasedHasEffect(int, int).
Method in class kraft.monitor.display.Node
- If a mouse releas at (x,y) has an effect on this Node-- i.e.
- nextStep().
Method in class kraft.monitor.display.MonitorCanvas
- Go to the next step in the visualisation, if there is one.
- Node(String, Monitorable).
Constructor for class kraft.monitor.display.Node
- A new Node to represent a Monitorable object.
- Node(String, Monitorable, int).
Constructor for class kraft.monitor.display.Node
- A new Node to represent a Monitorable object.
- Node(String, Monitorable, Point).
Constructor for class kraft.monitor.display.Node
- A new Node to represent a Monitorable object.
- NORTH.
Static variable in class kraft.monitor.display.Node
- Constant for use with label orientation
- NORTHEAST.
Static variable in class kraft.monitor.display.Node
- Constant for use with label orientation
- NORTHWEST.
Static variable in class kraft.monitor.display.Node
- Constant for use with label orientation
- output(int, String).
Method in class kraft.monitor.display.MonitorGUI
- Output the string in one of the text areas shown by this GUI
- output(String).
Method in class kraft.monitor.display.MonitorGUI
- Output the string to the top text area shown by this GUI
- paint(Graphics).
Method in class kraft.monitor.display.Area
- Paint the nodes in this area onto the given graphics context
- paint(Graphics).
Method in interface kraft.monitor.display.DisplayEvent
- To paint the event onto the graphics context
- paint(Graphics).
Method in class kraft.monitor.display.Link
- Paint the object onto the graphics context
- paint(Graphics).
Method in class kraft.monitor.display.MonitorCanvas
- Display the visualisation.
- paint(Graphics).
Method in class kraft.monitor.display.Node
- Display this Node on the graphics context.
- performative.
Variable in class kraft.monitor.adapter.CCQL
-
- previousStep().
Method in class kraft.monitor.display.MonitorCanvas
- Go to the previous step in the visualisation, if there is one.
- print(String).
Static method in class kraft.monitor.tools.Debug
- Equivalent to
System.out.print(String)
, if debugflag is
true.
- println().
Static method in class kraft.monitor.tools.Debug
- Equivalent to
System.out.println()
, if debugflag is true
- println(String).
Static method in class kraft.monitor.tools.Debug
- Equivalent to
System.out.println(String)
, if debugflag is
true.
- printTime().
Static method in class kraft.monitor.tools.Debug
- Print out the current time in the form hh:mm:ss.000 to System.out
- printVector(Vector).
Static method in class kraft.monitor.tools.Debug
- Prints out the Vector given to it, if debugflag is true.
- quit().
Method in class kraft.monitor.KraftMonitor
- Disconnect from Linda, close down the Monitor
- REAL_TIME.
Static variable in class kraft.monitor.display.MonitorGUI
- Constants for use with the
setDelay
method.
- receiver.
Variable in class kraft.monitor.adapter.CCQL
-
- receiver.
Variable in class kraft.monitor.adapter.Kraft_msg
- Field extracted from the context of the message
- register(Monitorable).
Method in class kraft.monitor.display.MonitorGUI
- Registers a monitorable object that wishes to be monitored
- register(Monitorable).
Method in interface kraft.monitor.display.MonitorServer
- Inform the Monitor that the given Monitorable wishes to have its
activity monitored.
- remove(Node).
Method in class kraft.monitor.display.Area
- Remove the Node from this area and adjust positions of remaining
Nodes to compensate
- remove(String).
Method in class kraft.monitor.display.MonitorCanvas
- Removes the Node with the given name from the Nodes displayed
on the canvas.
- reply_with.
Variable in class kraft.monitor.adapter.CCQL
-
- run().
Method in class kraft.monitor.FileBasedClient
- The main execution of the thread.
- saveFile(String, String).
Method in class kraft.monitor.KraftMonitor
- Save the current state of the Monitor to the given batch file.
- sender.
Variable in class kraft.monitor.adapter.CCQL
-
- sender.
Variable in class kraft.monitor.adapter.Kraft_msg
- Field extracted from the context of the message
- SERVER.
Static variable in interface kraft.monitor.display.Monitorable
- Define one type of agent that the Monitor will recognise,
and treat slightly differently to others.
- setBackground(Color).
Method in class kraft.monitor.display.Area
-
- setBackground(Color).
Method in class kraft.monitor.display.Link
-
- setBounds(int, int, int, int).
Method in class kraft.monitor.display.Area
-
- setBounds(Rectangle).
Method in class kraft.monitor.display.Area
-
- setBounds(Rectangle).
Method in class kraft.monitor.display.Node
-
- setContainerSize(Dimension).
Method in class kraft.monitor.display.Area
- Set the maximum size for all the Nodes in this Area
- setContainerSize(Dimension).
Method in interface kraft.monitor.display.DisplayEvent
- Set the maximum size that an object can use to display in.
- setContainerSize(Dimension).
Method in class kraft.monitor.display.Link
-
- setContainerSize(Dimension).
Method in class kraft.monitor.display.Node
-
- setCrossedOut(boolean).
Method in class kraft.monitor.display.Link
-
- setCurrentIndex(int).
Method in interface kraft.monitor.display.DisplayEvent
- Set the position of this event in relation to others stored by
the MonitorCanvas.
- setCurrentIndex(int).
Method in class kraft.monitor.display.Link
-
- setCurrentIndex(int).
Method in class kraft.monitor.display.Node
- Set the current index, so this object knows which status string is
currently relevant at this visualisation step -- if there is one.
- setDelay(long).
Method in class kraft.monitor.display.MonitorGUI
- Set the time delay for use in TIME_STEP mode.
- setDisplayed(boolean).
Method in class kraft.monitor.display.DisplayMonitor
- Set to true by the DisplayEvent when the event is displayed
- setDisplayMode(int).
Method in class kraft.monitor.display.MonitorGUI
- Set whether the GUI should show each visualisation step
and wait for the user to click 'next' - or whether it should
run through the steps according to a particular delay
- setForeground(Color).
Method in class kraft.monitor.display.Link
-
- setGraphics(Graphics).
Method in class kraft.monitor.display.Area
- Set the graphics context for drawing onto
- setIndex(int).
Method in class kraft.monitor.display.DisplayMonitor
- Called by the MonitorCanvas
- setLabel(String).
Method in class kraft.monitor.display.Link
- Set the label of this Link to be 'str'
- setLabel(String).
Method in class kraft.monitor.display.Node
-
- setLabelOrientation(int).
Method in class kraft.monitor.display.Area
- Set the default label orientation for all newly added Nodes
in this Area.
- setLabelOrientation(int).
Method in class kraft.monitor.display.Node
- Set the orientation of the label with respect to the Node.
- setLocation(int, int).
Method in class kraft.monitor.display.Area
-
- setLocation(Point).
Method in class kraft.monitor.display.Area
-
- setNodeLayout(int).
Method in class kraft.monitor.display.Area
- Set the layout rule for the Nodes in this Area.
- setPosition(int, int).
Method in class kraft.monitor.display.Node
-
- setPosition(Point).
Method in class kraft.monitor.display.Node
-
- setResource(String, String).
Method in class kraft.monitor.adapter.KraftAgent
- Sets the type of resource, and protocol this agent uses
to communicate with that resource
Set either param to null or "" if required.
- setRole(String).
Method in class kraft.monitor.adapter.KraftAgent
- Set the KRAFT role of this agent.
- setSize(Dimension).
Method in class kraft.monitor.display.Area
-
- setSize(int, int).
Method in class kraft.monitor.display.Area
-
- setup_dialog.
Variable in class kraft.monitor.KraftMonitor
-
- setup_linda(String, int, String, String, String[]).
Method in class kraft.monitor.KraftMonitor
- Called to connect the Monitor to a particular linda server
at l_host:l_port.
- simpleName(String).
Static method in class kraft.monitor.display.Node
- Get the simple 'agent' name from the given RMI name
- SLOW.
Static variable in class kraft.monitor.display.MonitorGUI
- Constants for use with the
setDelay
method.
- SocketGateway(String, int, String, int, boolean).
Constructor for class kraft.gateway.SocketGateway
-
- SocketGateway(String, int, String, int, GatewayMap, boolean).
Constructor for class kraft.gateway.SocketGateway
-
- SOUTH.
Static variable in class kraft.monitor.display.Node
- Constant for use with label orientation
- SOUTHEAST.
Static variable in class kraft.monitor.display.Node
- Constant for use with label orientation
- SOUTHWEST.
Static variable in class kraft.monitor.display.Node
- Constant for use with label orientation
- STATUS_CHANGE.
Static variable in class kraft.monitor.display.MonitorGUI
- Constants for use with the
displayEvent
method.
- statusChange(String, String).
Method in class kraft.monitor.display.MonitorGUI
- Indicates a change in status of a registered Monitorable object.
- statusChange(String, String, DisplayMonitor).
Method in class kraft.monitor.display.MonitorCanvas
- Indicate a change in an agent's status.
- STEP_BY_STEP.
Static variable in class kraft.monitor.display.MonitorGUI
- Constants for use with the
setDisplayMode
method.
- stop().
Method in class kraft.monitor.adapter.LinjaAdapter
- Stop the linda adapter from receiving messages, and instruct
the monitored site(s) to stop sending duplicates
- stop().
Method in class kraft.monitor.display.MonitorGUI
-
- switchNodes(Node, Node).
Method in class kraft.monitor.display.Link
- If this Link is associated with the Node oldy, replace it for the Node newby
- table.
Variable in class kraft.gateway.GatewayMap
-
- table_size.
Variable in class kraft.gateway.GatewayMap
-
- term.
Variable in class kraft.TermInString
-
- TermInString(String).
Constructor for class kraft.TermInString
-
- tidyUp().
Method in interface kraft.monitor.display.DisplayEvent
- Instruction to the object to "tidy up" any attached display monitors
and any other resources -- used as a destructor
- tidyUp().
Method in class kraft.monitor.display.Link
-
- tidyUp().
Method in class kraft.monitor.display.Node
-
- time().
Static method in class kraft.monitor.tools.Debug
- Returns the current time as a formatted string (hh:mm:ss.000)
- time_stamp.
Variable in class kraft.monitor.adapter.Kraft_msg
- Field extracted from the context of the message
- TIME_STEP.
Static variable in class kraft.monitor.display.MonitorGUI
- Constants for use with the
setDisplayMode
method.
- TOP.
Static variable in class kraft.monitor.display.MonitorGUI
- Constant used in output()
- toString().
Method in class kraft.monitor.display.Area
-
- toString().
Method in class kraft.monitor.adapter.CCQL
- Returns the original, unformatted term structure.
- toString().
Method in class kraft.monitor.display.DisplayMonitor
-
- toString().
Method in class kraft.monitor.adapter.Kraft_msg
- Returns the whole kraft_msg as a simple string
- toString().
Method in class kraft.monitor.display.Link
-
- toString().
Method in interface kraft.monitor.display.Message
- Gets all printable details of the Message.
- toString().
Method in class kraft.monitor.display.Node
-
- totalSteps().
Method in class kraft.monitor.display.MonitorCanvas
- The current number of visualisation steps (display events)
- unpaint(Graphics).
Method in interface kraft.monitor.display.DisplayEvent
- To delete the event from the graphics context
- unpaint(Graphics).
Method in class kraft.monitor.display.Link
- Unpaint the object from the graphics context
- unpaint(Graphics).
Method in class kraft.monitor.display.Node
-
- update(Graphics).
Method in class kraft.monitor.display.MonitorCanvas
-
- USER.
Static variable in interface kraft.monitor.display.Monitorable
- Define one type of agent that the Monitor will recognise,
and treat slightly differently to others.
- V_SPACE.
Static variable in class kraft.monitor.display.Area
- The minimum amount of space between adjacent Nodes in this Area and
the position of the nearest Node (defaults to 15 pixels)
- verbose.
Static variable in class kraft.gateway.GatewayTest
-
- VERSION.
Static variable in class kraft.gateway.MessagingHandler
-
- VERT_LINE.
Static variable in class kraft.monitor.display.Area
- Constant used to adjust the Node layout rule used.
- WEST.
Static variable in class kraft.monitor.display.Node
- Constant for use with label orientation
- work().
Method in class kraft.gateway.SocketGateway
-