zeus.visualiser.report
Class ReportModel

java.lang.Object
  zeus.gui.graph.AbstractGraphModel
      zeus.visualiser.report.ReportModel

All Implemented Interfaces:

GraphModel

public class ReportModel

extends AbstractGraphModel

Field Summary

protected javax.swing.DefaultListModel	agentListModel
protected java.util.Hashtable	agentTable
protected boolean	auto_delete
protected boolean	isNodeEditable
protected java.lang.String	isShowingAgent
protected java.lang.String	isShowingTask
protected javax.swing.event.EventListenerList	listeners
protected java.util.Hashtable	nodeTable
protected boolean	show_joint_graphs
protected javax.swing.DefaultListModel	taskListModel
protected java.util.Hashtable	taskTable

Fields inherited from class zeus.gui.graph.AbstractGraphModel

graphModelListeners

Constructor Summary

ReportModel()

Method Summary

void	addAgent(java.lang.String agent)
void	addAgents(java.lang.String[] input)
void	addAgents(java.util.Vector input)
void	addChangeListener(javax.swing.event.ChangeListener x)
void	addReport(ReportRec rec)
protected void	doReportAdded(java.util.Hashtable db, GraphNode node1, ReportRec rec1, boolean notify)
protected void	fireChanged()
(package private) javax.swing.DefaultListModel	getAgentListModel()
java.lang.String[]	getAgents()
boolean	getAutoDelete()
(package private) java.lang.String	getCurrentAgent()
(package private) java.lang.String	getCurrentTask()
GraphNode	getNode(java.lang.String name)
boolean	getShowJointGraphs()
(package private) javax.swing.DefaultListModel	getTaskListModel()
java.lang.String[]	getTasks(java.lang.String agent)
boolean	isLinkVisible(GraphNode from, GraphNode to)
boolean	isNodeEditable(GraphNode node)
java.util.Enumeration	nodes()
void	removeAgent(java.lang.String agent)
void	removeAgents(java.lang.String[] input)
void	removeAgents(java.util.Vector input)
void	removeChangeListener(javax.swing.event.ChangeListener x)
void	removeTask(java.lang.String task)
void	removeTask(java.lang.String agent, java.lang.String task)
void	removeTasks(HSet tasks)
void	removeTasks(java.lang.String[] tasks)
void	removeTasks(java.lang.String agent, java.lang.String[] tasks)
void	reset()
void	setAutoDelete(boolean state)
void	setShowJointGraphs(boolean state)
void	setValue(GraphNode node, java.lang.Object user_object)
void	showAgent(java.lang.String agent)
void	showTask(java.lang.String task)

Methods inherited from class zeus.gui.graph.AbstractGraphModel

addGraphModelListener, fireGraphNodeAdded, fireGraphNodeRemoved, fireGraphNodeStateChanged, fireGraphStructureChanged, getLinkColor, getViewRelations, removeGraphModelListener

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

isNodeEditable

protected boolean isNodeEditable

auto_delete

protected boolean auto_delete

show_joint_graphs

protected boolean show_joint_graphs

nodeTable

protected java.util.Hashtable nodeTable

agentTable

protected java.util.Hashtable agentTable

taskTable

protected java.util.Hashtable taskTable

taskListModel

protected javax.swing.DefaultListModel taskListModel

agentListModel

protected javax.swing.DefaultListModel agentListModel

listeners

protected javax.swing.event.EventListenerList listeners

isShowingAgent

protected java.lang.String isShowingAgent

isShowingTask

protected java.lang.String isShowingTask

Constructor Detail

ReportModel

public ReportModel()

Method Detail

reset

public void reset()

getAgentListModel

javax.swing.DefaultListModel getAgentListModel()

getTaskListModel

javax.swing.DefaultListModel getTaskListModel()

getCurrentAgent

java.lang.String getCurrentAgent()

getCurrentTask

java.lang.String getCurrentTask()

nodes

public java.util.Enumeration nodes()

Specified by:

nodes in interface GraphModel

Specified by:

nodes in class AbstractGraphModel

setValue

public void setValue(GraphNode node,
                     java.lang.Object user_object)

Specified by:

setValue in interface GraphModel

Specified by:

setValue in class AbstractGraphModel

isNodeEditable

public boolean isNodeEditable(GraphNode node)

Specified by:

isNodeEditable in interface GraphModel

Specified by:

isNodeEditable in class AbstractGraphModel

isLinkVisible

public boolean isLinkVisible(GraphNode from,
                             GraphNode to)

Specified by:

isLinkVisible in interface GraphModel

Overrides:

isLinkVisible in class AbstractGraphModel

setShowJointGraphs

public void setShowJointGraphs(boolean state)

setAutoDelete

public void setAutoDelete(boolean state)

getAutoDelete

public boolean getAutoDelete()

getShowJointGraphs

public boolean getShowJointGraphs()

getNode

public GraphNode getNode(java.lang.String name)

addAgent

public void addAgent(java.lang.String agent)

removeAgent

public void removeAgent(java.lang.String agent)

addAgents

public void addAgents(java.util.Vector input)

addAgents

public void addAgents(java.lang.String[] input)

removeAgents

public void removeAgents(java.util.Vector input)

removeAgents

public void removeAgents(java.lang.String[] input)

getAgents

public java.lang.String[] getAgents()

getTasks

public java.lang.String[] getTasks(java.lang.String agent)

removeTasks

public void removeTasks(java.lang.String agent,
                        java.lang.String[] tasks)

removeTask

public void removeTask(java.lang.String agent,
                       java.lang.String task)

removeTasks

public void removeTasks(java.lang.String[] tasks)

removeTasks

public void removeTasks(HSet tasks)

removeTask

public void removeTask(java.lang.String task)

addReport

public void addReport(ReportRec rec)

showAgent

public void showAgent(java.lang.String agent)

showTask

public void showTask(java.lang.String task)

doReportAdded

protected void doReportAdded(java.util.Hashtable db,
                             GraphNode node1,
                             ReportRec rec1,
                             boolean notify)

addChangeListener

public void addChangeListener(javax.swing.event.ChangeListener x)

removeChangeListener

public void removeChangeListener(javax.swing.event.ChangeListener x)

fireChanged

protected void fireChanged()