public class CanonicalSetFrame extends javax.swing.JFrame implements CanonicalSetStorage, GraphicalRepositoryEditor
Modifier and Type | Class and Description |
---|---|
class |
CanonicalSetFrame.CanonicalSetFrameRepsitoryChangeListener |
class |
CanonicalSetFrame.CanonicalSetTableModel |
class |
CanonicalSetFrame.SetCopyRow |
javax.swing.JFrame.AccessibleJFrame
java.awt.Window.AccessibleAWTWindow, java.awt.Window.Type
Modifier and Type | Field and Description |
---|---|
protected CanonicalSetConfig |
Config |
protected CanonicalSetConnectivity |
Connection |
java.util.Vector |
reposListeners |
accessibleContext, EXIT_ON_CLOSE, rootPane, rootPaneCheckingEnabled
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
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT
Constructor and Description |
---|
CanonicalSetFrame() |
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() |
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
addNotify, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setBackground, setCursor, setExtendedState, setMaximizedBounds, setMenuBar, setOpacity, setResizable, setShape, setState, setTitle, setUndecorated
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
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
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
public java.util.Vector reposListeners
protected CanonicalSetConfig Config
protected CanonicalSetConnectivity Connection
public void setEditable(boolean b)
public void executeTransfer()
public void beforeCopyStorage()
beforeCopyStorage
in interface RepositoryStorageTransfer
public void afterCopyStorage()
afterCopyStorage
in interface RepositoryStorageTransfer
public void copyStorageCommands(RepositoryStorage x)
copyStorageCommands
in interface RepositoryStorageTransfer
public void copyStorage(RepositoryStorage x)
copyStorage
in interface RepositoryStorageTransfer
public void addElementsToSet(int j, java.util.Vector elems)
addElementsToSet
in interface CanonicalSetStorage
public void setEditingSetEnabled(boolean x)
public void afterTransferStorage()
afterTransferStorage
in interface RepositoryStorageTransfer
public void beforeTransferStorage()
beforeTransferStorage
in interface RepositoryStorageTransfer
public void setRepository(java.lang.String repos)
setRepository
in interface ReposConfigurable
public void repositoryUpdated()
public java.lang.String getRepository()
public void transferStorage(RepositoryStorage that)
transferStorage
in interface RepositoryStorageTransfer
public void transferStorageCommands(RepositoryStorage x)
transferStorageCommands
in interface RepositoryStorageTransfer
public void fireRepositoryChanged(RepositoryEvent ev)
ReposConfigurable
fireRepositoryChanged
in interface ReposConfigurable
public java.lang.Class getDOMStorageClass()
getDOMStorageClass
in interface DOMStorable
public java.lang.Class getStorageTransferAgentClass()
public void removeRepositoryListener(RepositoryListener listen)
ReposConfigurable
removeRepositoryListener
in interface ReposConfigurable
removeRepositoryListener
in interface RepositoryStorage
public void addRepositoryListener(RepositoryListener listen)
ReposConfigurable
addRepositoryListener
in interface ReposConfigurable
addRepositoryListener
in interface RepositoryStorage
public java.lang.Class getDefaultGraphicalEditorClass()
getDefaultGraphicalEditorClass
in interface RepositoryStorage
public void setEnabled(java.lang.String n)
RepositoryStorage
setEnabled
in interface RepositoryStorage
public java.lang.String getEnabled()
RepositoryStorage
getEnabled
in interface RepositoryStorage
public void setNickname(java.lang.String s)
RepositoryStorage
setNickname
in interface RepositoryStorage
public java.lang.String getNickname()
RepositoryStorage
getNickname
in interface RepositoryStorage
public void setComment(java.lang.String s)
setComment
in interface RepositoryStorage
public java.lang.String getComment()
RepositoryStorage
getComment
in interface RepositoryStorage
public void clearSet()
clearSet
in interface CanonicalSetStorage
public void setCreatedOn(java.lang.String s)
setCreatedOn
in interface RepositoryStorage
public java.lang.String getCreatedOn()
getCreatedOn
in interface RepositoryStorage
public void setCreatedBy(java.lang.String s)
setCreatedBy
in interface RepositoryStorage
public java.lang.String getCreatedBy()
getCreatedBy
in interface RepositoryStorage
public int sizeOfSet()
sizeOfSet
in interface CanonicalSetStorage
public void addElementToSet(int j, RepositoryElement elem)
addElementToSet
in interface CanonicalSetStorage
public boolean addElementToSet(RepositoryElement elem)
addElementToSet
in interface CanonicalSetStorage
public RepositoryElement getElement(int j)
getElement
in interface CanonicalSetStorage
public RepositoryElement removeElement(int k)
removeElement
in interface CanonicalSetStorage
public int variableSetSize()
public RepositoryElement setElement(int k, RepositoryElement elem)
setElement
in interface CanonicalSetStorage
public RepositoryElement poll()
poll
in interface CanonicalSetStorage
public void offer(RepositoryElement elem)
offer
in interface CanonicalSetStorage
public java.util.Vector getElementsFromSet(int i, int j)
CanonicalSetStorage
getElementsFromSet
in interface CanonicalSetStorage
Copyright © 2011, 2013. Daniel P. Dougherty