zeus.generator.util
Class AttributeTreeModel

java.lang.Object
  javax.swing.tree.DefaultTreeModel
      zeus.generator.util.AttributeTreeModel

All Implemented Interfaces:

javax.swing.event.ChangeListener, java.util.EventListener, java.io.Serializable, javax.swing.tree.TreeModel

public class AttributeTreeModel

extends javax.swing.tree.DefaultTreeModel

implements javax.swing.event.ChangeListener

See Also:

Serialized Form

Field Summary

protected boolean	changed
(package private) static java.lang.String	DEFAULT_ROOT
(package private) static java.lang.String	EFFECTS
(package private) static java.lang.String[]	INVISIBLE_ITEMS
protected AttributeModel	model
protected BasicFactModel	postconditionsModel
(package private) static java.lang.String	PRECONDITIONS
protected BasicFactModel	preconditionsModel
protected BasicFactModel	singletonModel

Fields inherited from class javax.swing.tree.DefaultTreeModel

asksAllowsChildren, listenerList, root

Constructor Summary

AttributeTreeModel()

AttributeTreeModel(AttributeModel model)

Method Summary

protected void	createTree(javax.swing.tree.DefaultMutableTreeNode m_node, TreeNode a_node)
(package private) void	refresh()
void	setFactModel(BasicFactModel singletonModel)
void	setFactModels(BasicFactModel preconditionsModel, BasicFactModel postconditionsModel)
void	stateChanged(javax.swing.event.ChangeEvent e)

Methods inherited from class javax.swing.tree.DefaultTreeModel

addTreeModelListener, asksAllowsChildren, fireTreeNodesChanged, fireTreeNodesInserted, fireTreeNodesRemoved, fireTreeStructureChanged, getChild, getChildCount, getIndexOfChild, getListeners, getPathToRoot, getPathToRoot, getRoot, getTreeModelListeners, insertNodeInto, isLeaf, nodeChanged, nodesChanged, nodeStructureChanged, nodesWereInserted, nodesWereRemoved, reload, reload, removeNodeFromParent, removeTreeModelListener, setAsksAllowsChildren, setRoot, valueForPathChanged

Methods inherited from class java.lang.Object

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

Field Detail

PRECONDITIONS

static final java.lang.String PRECONDITIONS

See Also:

Constant Field Values

EFFECTS

static final java.lang.String EFFECTS

See Also:

Constant Field Values

DEFAULT_ROOT

static final java.lang.String DEFAULT_ROOT

See Also:

Constant Field Values

INVISIBLE_ITEMS

static final java.lang.String[] INVISIBLE_ITEMS

model

protected AttributeModel model

preconditionsModel

protected BasicFactModel preconditionsModel

postconditionsModel

protected BasicFactModel postconditionsModel

singletonModel

protected BasicFactModel singletonModel

changed

protected boolean changed

Constructor Detail

AttributeTreeModel

public AttributeTreeModel(AttributeModel model)

AttributeTreeModel

public AttributeTreeModel()

Method Detail

setFactModels

public void setFactModels(BasicFactModel preconditionsModel,
                          BasicFactModel postconditionsModel)

setFactModel

public void setFactModel(BasicFactModel singletonModel)

refresh

void refresh()

createTree

protected void createTree(javax.swing.tree.DefaultMutableTreeNode m_node,
                          TreeNode a_node)

stateChanged

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

Specified by:

stateChanged in interface javax.swing.event.ChangeListener