zeus.generator.task
Class SummaryTaskModel

java.lang.Object
  zeus.gui.graph.AbstractGraphModel
      zeus.generator.task.SummaryTaskModel

All Implemented Interfaces:

javax.swing.event.ChangeListener, java.util.EventListener, GraphModel

public class SummaryTaskModel

extends AbstractGraphModel

implements javax.swing.event.ChangeListener

Field Summary

(package private) static int	BASIC_NODE
protected static int	count
protected static boolean	ERROR
(package private) static int	GUARD_NODE
protected java.util.Hashtable	linkTable
protected javax.swing.event.EventListenerList	listeners
protected static boolean	NO_ERROR
protected java.util.Hashtable	nodeTable
protected OntologyDb	ontologyDb
(package private) static int	POSTCONDITION
(package private) static int	PRECONDITION

Fields inherited from class zeus.gui.graph.AbstractGraphModel

graphModelListeners

Constructor Summary

SummaryTaskModel(OntologyDb ontologyDb, TaskNode[] node, TaskLink[] link)

Method Summary

void	addChangeListener(javax.swing.event.ChangeListener x)
void	addNewNode(int type)
void	addNodes(GraphNode[] input)
void	addRenameListener(RenameListener x)
protected boolean	contains(java.lang.String name, boolean error)
protected void	fireChanged()
protected void	fireNameChanged(java.lang.Object object, java.lang.Object previous, java.lang.Object current)
(package private) Fact[]	getConditions(int type)
TaskLink[]	getLinks()
TaskNode[]	getNodes()
boolean	isLinkVisible(GraphNode from, GraphNode to)
boolean	isNodeEditable(GraphNode node)
java.util.Enumeration	nodes()
void	removeChangeListener(javax.swing.event.ChangeListener x)
void	removeNodes(GraphNode[] input)
void	removeRenameListener(RenameListener x)
void	reset(TaskNode[] node, TaskLink[] link)
void	setValue(GraphNode gnode, java.lang.Object user_object)
void	stateChanged(javax.swing.event.ChangeEvent e)

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

PRECONDITION

static final int PRECONDITION

See Also:

Constant Field Values

POSTCONDITION

static final int POSTCONDITION

See Also:

Constant Field Values

BASIC_NODE

static final int BASIC_NODE

See Also:

Constant Field Values

GUARD_NODE

static final int GUARD_NODE

See Also:

Constant Field Values

ERROR

protected static final boolean ERROR

See Also:

Constant Field Values

NO_ERROR

protected static final boolean NO_ERROR

See Also:

Constant Field Values

count

protected static int count

ontologyDb

protected OntologyDb ontologyDb

nodeTable

protected java.util.Hashtable nodeTable

linkTable

protected java.util.Hashtable linkTable

listeners

protected javax.swing.event.EventListenerList listeners

Constructor Detail

SummaryTaskModel

public SummaryTaskModel(OntologyDb ontologyDb,
                        TaskNode[] node,
                        TaskLink[] link)

Method Detail

reset

public void reset(TaskNode[] node,
                  TaskLink[] link)

getConditions

Fact[] getConditions(int type)

getNodes

public TaskNode[] getNodes()

getLinks

public TaskLink[] getLinks()

isLinkVisible

public boolean isLinkVisible(GraphNode from,
                             GraphNode to)

Specified by:

isLinkVisible in interface GraphModel

Overrides:

isLinkVisible in class AbstractGraphModel

nodes

public java.util.Enumeration nodes()

Specified by:

nodes in interface GraphModel

Specified by:

nodes in class AbstractGraphModel

setValue

public void setValue(GraphNode gnode,
                     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

removeNodes

public void removeNodes(GraphNode[] input)

addNewNode

public void addNewNode(int type)

addNodes

public void addNodes(GraphNode[] input)

contains

protected boolean contains(java.lang.String name,
                           boolean error)

stateChanged

public void stateChanged(javax.swing.event.ChangeEvent e)

Specified by:

stateChanged in interface javax.swing.event.ChangeListener

addChangeListener

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

removeChangeListener

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

addRenameListener

public void addRenameListener(RenameListener x)

removeRenameListener

public void removeRenameListener(RenameListener x)

fireChanged

protected void fireChanged()

fireNameChanged

protected void fireNameChanged(java.lang.Object object,
                               java.lang.Object previous,
                               java.lang.Object current)