com.mockturtlesolutions.snifflib.statmodeltools.workbench

Class CanonicalSetFrame

java.lang.Object

java.awt.Component

java.awt.Container

java.awt.Window

java.awt.Frame

javax.swing.JFrame

com.mockturtlesolutions.snifflib.statmodeltools.workbench.CanonicalSetFrame

All Implemented Interfaces:

DOMStorable, GraphicalRepositoryEditor, ReposConfigurable, RepositoryEditor, RepositoryStorage, RepositoryStorageTransfer, CanonicalSetStorage, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible, javax.swing.RootPaneContainer, javax.swing.WindowConstants

public class CanonicalSetFrame
extends javax.swing.JFrame
implements CanonicalSetStorage, GraphicalRepositoryEditor

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	CanonicalSetFrame.CanonicalSetFrameRepsitoryChangeListener
class	CanonicalSetFrame.CanonicalSetTableModel
class	CanonicalSetFrame.SetCopyRow

Nested classes/interfaces inherited from class javax.swing.JFrame

javax.swing.JFrame.AccessibleJFrame

Nested classes/interfaces inherited from class java.awt.Frame

java.awt.Frame.AccessibleAWTFrame

Nested classes/interfaces inherited from class java.awt.Window

java.awt.Window.AccessibleAWTWindow, java.awt.Window.Type

Nested classes/interfaces inherited from class java.awt.Container

java.awt.Container.AccessibleAWTContainer

Nested classes/interfaces inherited from class java.awt.Component

java.awt.Component.AccessibleAWTComponent, java.awt.Component.BaselineResizeBehavior, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy

Field Summary

Fields

Modifier and Type	Field and Description
protected CanonicalSetConfig	Config
protected CanonicalSetConnectivity	Connection
java.util.Vector	reposListeners

Fields inherited from class javax.swing.JFrame

accessibleContext, EXIT_ON_CLOSE, rootPane, rootPaneCheckingEnabled

Fields inherited from class java.awt.Frame

CROSSHAIR_CURSOR, DEFAULT_CURSOR, E_RESIZE_CURSOR, HAND_CURSOR, ICONIFIED, MAXIMIZED_BOTH, MAXIMIZED_HORIZ, MAXIMIZED_VERT, MOVE_CURSOR, N_RESIZE_CURSOR, NE_RESIZE_CURSOR, NORMAL, NW_RESIZE_CURSOR, S_RESIZE_CURSOR, SE_RESIZE_CURSOR, SW_RESIZE_CURSOR, TEXT_CURSOR, W_RESIZE_CURSOR, WAIT_CURSOR

Fields inherited from class java.awt.Component

BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface javax.swing.WindowConstants

DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, HIDE_ON_CLOSE

Fields inherited from interface java.awt.image.ImageObserver

ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

Constructor Summary

Constructors

Constructor and Description
CanonicalSetFrame()

Method Summary

Methods

Modifier and Type	Method and Description
void	addElementsToSet(int j, java.util.Vector elems)
void	addElementToSet(int j, RepositoryElement elem)
boolean	addElementToSet(RepositoryElement elem)
void	addRepositoryListener(RepositoryListener listen) Adds a listener to the list that's notified each time a change to the repository occurs.
void	afterCopyStorage()
void	afterTransferStorage()
void	beforeCopyStorage()
void	beforeTransferStorage()
void	clearSet()
void	copyStorage(RepositoryStorage x)
void	copyStorageCommands(RepositoryStorage x)
void	executeTransfer()
void	fireRepositoryChanged(RepositoryEvent ev) Forwards the given notification event to all RepositoryListeners that registered themselves as listeners for this object.
java.lang.String	getComment() Gets the descriptive comment for this Wedge inverse problem as a whole.
java.lang.String	getCreatedBy()
java.lang.String	getCreatedOn()
java.lang.Class	getDefaultGraphicalEditorClass()
java.lang.Class	getDOMStorageClass()
RepositoryElement	getElement(int j)
java.util.Vector	getElementsFromSet(int i, int j) Return the elements of a trace from index i to index j inclusive.
java.lang.String	getEnabled() Gets the state of the (possibly remote) storage.
java.lang.String	getNickname() Gets the project name for this Wedge inverse problem.
java.lang.String	getRepository()
java.lang.Class	getStorageTransferAgentClass()
void	offer(RepositoryElement elem) Inserts the specified RepositoryElement at the end of this set.
RepositoryElement	poll() Retrieves and removes the first RepositoryElement in this set, or null if this queue is empty.
RepositoryElement	removeElement(int k)
void	removeRepositoryListener(RepositoryListener listen) Removes a listener from the list that's notified each time a change to the repository occurs.
void	repositoryUpdated()
void	setComment(java.lang.String s)
void	setCreatedBy(java.lang.String s)
void	setCreatedOn(java.lang.String s)
void	setEditable(boolean b)
void	setEditingSetEnabled(boolean x)
RepositoryElement	setElement(int k, RepositoryElement elem)
void	setEnabled(java.lang.String n) Sets the enabled state of the (possibly remote) storage instance.
void	setNickname(java.lang.String s) Sets the project name for this Wedge inverse problem.
void	setRepository(java.lang.String repos)
int	sizeOfSet()
void	transferStorage(RepositoryStorage that)
void	transferStorageCommands(RepositoryStorage x)
int	variableSetSize()

Methods inherited from class javax.swing.JFrame

addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getGraphics, getJMenuBar, getLayeredPane, getRootPane, getTransferHandler, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, repaint, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setIconImage, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, setTransferHandler, update

Methods inherited from class java.awt.Frame

addNotify, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setBackground, setCursor, setExtendedState, setMaximizedBounds, setMenuBar, setOpacity, setResizable, setShape, setState, setTitle, setUndecorated

Methods inherited from class java.awt.Window

addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBackground, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getIconImages, getInputContext, getListeners, getLocale, getModalExclusionType, getMostRecentFocusOwner, getOpacity, getOwnedWindows, getOwner, getOwnerlessWindows, getShape, getToolkit, getType, getWarningString, getWindowFocusListeners, getWindowListeners, getWindows, getWindowStateListeners, hide, isActive, isAlwaysOnTop, isAlwaysOnTopSupported, isAutoRequestFocus, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isOpaque, isShowing, isValidateRoot, pack, paint, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, reshape, setAlwaysOnTop, setAutoRequestFocus, setBounds, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setIconImages, setLocation, setLocation, setLocationByPlatform, setLocationRelativeTo, setMinimumSize, setModalExclusionType, setSize, setSize, setType, setVisible, show, toBack, toFront

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getMousePosition, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setFont, transferFocusDownCycle, validate, validateTree

Methods inherited from class java.awt.Component

action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBaseline, getBaselineResizeBehavior, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphicsConfiguration, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isDoubleBuffered, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processKeyEvent, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resize, resize, revalidate, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setMaximumSize, setName, setPreferredSize, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.awt.MenuContainer

getFont, postEvent

Field Detail

reposListeners

public java.util.Vector reposListeners

Config

protected CanonicalSetConfig Config

Connection

protected CanonicalSetConnectivity Connection

Constructor Detail

CanonicalSetFrame

public CanonicalSetFrame()

Method Detail

setEditable

public void setEditable(boolean b)

executeTransfer

public void executeTransfer()

beforeCopyStorage

public void beforeCopyStorage()

Specified by:

beforeCopyStorage in interface RepositoryStorageTransfer

afterCopyStorage

public void afterCopyStorage()

Specified by:

afterCopyStorage in interface RepositoryStorageTransfer

copyStorageCommands

public void copyStorageCommands(RepositoryStorage x)

Specified by:

copyStorageCommands in interface RepositoryStorageTransfer

copyStorage

public void copyStorage(RepositoryStorage x)

Specified by:

copyStorage in interface RepositoryStorageTransfer

addElementsToSet

public void addElementsToSet(int j,
                    java.util.Vector elems)

Specified by:

addElementsToSet in interface CanonicalSetStorage

setEditingSetEnabled

public void setEditingSetEnabled(boolean x)

afterTransferStorage

public void afterTransferStorage()

Specified by:

afterTransferStorage in interface RepositoryStorageTransfer

beforeTransferStorage

public void beforeTransferStorage()

Specified by:

beforeTransferStorage in interface RepositoryStorageTransfer

setRepository

public void setRepository(java.lang.String repos)

Specified by:

setRepository in interface ReposConfigurable

repositoryUpdated

public void repositoryUpdated()

getRepository

public java.lang.String getRepository()

transferStorage

public void transferStorage(RepositoryStorage that)

Specified by:

transferStorage in interface RepositoryStorageTransfer

transferStorageCommands

public void transferStorageCommands(RepositoryStorage x)

Specified by:

transferStorageCommands in interface RepositoryStorageTransfer

fireRepositoryChanged

public void fireRepositoryChanged(RepositoryEvent ev)

Description copied from interface: ReposConfigurable

Forwards the given notification event to all RepositoryListeners that registered themselves as listeners for this object.

Specified by:

fireRepositoryChanged in interface ReposConfigurable

getDOMStorageClass

public java.lang.Class getDOMStorageClass()

Specified by:

getDOMStorageClass in interface DOMStorable

getStorageTransferAgentClass

public java.lang.Class getStorageTransferAgentClass()

removeRepositoryListener

public void removeRepositoryListener(RepositoryListener listen)

Description copied from interface: ReposConfigurable

Removes a listener from the list that's notified each time a change to the repository occurs.

Specified by:

removeRepositoryListener in interface ReposConfigurable

Specified by:

removeRepositoryListener in interface RepositoryStorage

addRepositoryListener

public void addRepositoryListener(RepositoryListener listen)

Description copied from interface: ReposConfigurable

Adds a listener to the list that's notified each time a change to the repository occurs.

Specified by:

addRepositoryListener in interface ReposConfigurable

Specified by:

addRepositoryListener in interface RepositoryStorage

getDefaultGraphicalEditorClass

public java.lang.Class getDefaultGraphicalEditorClass()

Specified by:

getDefaultGraphicalEditorClass in interface RepositoryStorage

setEnabled

public void setEnabled(java.lang.String n)

Description copied from interface: RepositoryStorage

Sets the enabled state of the (possibly remote) storage instance. Typically a storage is backed by static information stored in a database.

Specified by:

setEnabled in interface RepositoryStorage

getEnabled

public java.lang.String getEnabled()

Description copied from interface: RepositoryStorage

Gets the state of the (possibly remote) storage. For example, dis-enabled storages may be slated for deletion from some repostories. Typically a storage is backed by static information stored in a database.

Specified by:

getEnabled in interface RepositoryStorage

setNickname

public void setNickname(java.lang.String s)

Description copied from interface: RepositoryStorage

Sets the project name for this Wedge inverse problem.

Specified by:

setNickname in interface RepositoryStorage

getNickname

public java.lang.String getNickname()

Description copied from interface: RepositoryStorage

Gets the project name for this Wedge inverse problem.

Specified by:

getNickname in interface RepositoryStorage

setComment

public void setComment(java.lang.String s)

Specified by:

setComment in interface RepositoryStorage

getComment

public java.lang.String getComment()

Description copied from interface: RepositoryStorage

Gets the descriptive comment for this Wedge inverse problem as a whole.

Specified by:

getComment in interface RepositoryStorage

clearSet

public void clearSet()

Specified by:

clearSet in interface CanonicalSetStorage

setCreatedOn

public void setCreatedOn(java.lang.String s)

Specified by:

setCreatedOn in interface RepositoryStorage

getCreatedOn

public java.lang.String getCreatedOn()

Specified by:

getCreatedOn in interface RepositoryStorage

setCreatedBy

public void setCreatedBy(java.lang.String s)

Specified by:

setCreatedBy in interface RepositoryStorage

getCreatedBy

public java.lang.String getCreatedBy()

Specified by:

getCreatedBy in interface RepositoryStorage

sizeOfSet

public int sizeOfSet()

Specified by:

sizeOfSet in interface CanonicalSetStorage

addElementToSet

public void addElementToSet(int j,
                   RepositoryElement elem)

Specified by:

addElementToSet in interface CanonicalSetStorage

addElementToSet

public boolean addElementToSet(RepositoryElement elem)

Specified by:

addElementToSet in interface CanonicalSetStorage

getElement

public RepositoryElement getElement(int j)

Specified by:

getElement in interface CanonicalSetStorage

removeElement

public RepositoryElement removeElement(int k)

Specified by:

removeElement in interface CanonicalSetStorage

variableSetSize

public int variableSetSize()

setElement

public RepositoryElement setElement(int k,
                           RepositoryElement elem)

Specified by:

setElement in interface CanonicalSetStorage

poll

public RepositoryElement poll()

Retrieves and removes the first RepositoryElement in this set, or null if this queue is empty.

Specified by:

poll in interface CanonicalSetStorage

offer

public void offer(RepositoryElement elem)

Inserts the specified RepositoryElement at the end of this set.

Specified by:

offer in interface CanonicalSetStorage

getElementsFromSet

public java.util.Vector getElementsFromSet(int i,
                                  int j)

Description copied from interface: CanonicalSetStorage

Return the elements of a trace from index i to index j inclusive.

Specified by:

getElementsFromSet in interface CanonicalSetStorage