keel.GraphInterKeel.experiments

Class DinamicDataset

java.lang.Object

java.awt.Component

java.awt.Container

javax.swing.JComponent

javax.swing.JPanel

keel.GraphInterKeel.experiments.DinamicDataset

All Implemented Interfaces:

java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible, javax.swing.Scrollable

public class DinamicDataset
extends javax.swing.JPanel
implements javax.swing.Scrollable

See Also:

Serialized Form

Nested Class Summary

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

javax.swing.JPanel.AccessibleJPanel

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

javax.swing.JComponent.AccessibleJComponent

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
java.util.Vector	edits

Fields inherited from class javax.swing.JComponent

listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW

Fields inherited from class java.awt.Component

accessibleContext, BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface java.awt.image.ImageObserver

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

Constructor Summary

Constructors

Constructor and Description
DinamicDataset() Builder
DinamicDataset(Experiments newParent) Builder

Method Summary

Modifier and Type	Method and Description
void	clear() Clear all data estructures, and allocates new memory for them
void	crisp_actionPerformed(java.awt.event.ActionEvent e) Crisp button
void	crisp_lqd_actionPerformed(java.awt.event.ActionEvent e) Crisp to LQD button
java.awt.Dimension	getPreferredScrollableViewportSize()
int	getScrollableBlockIncrement(java.awt.Rectangle visibleRect, int orientation, int direction)
boolean	getScrollableTracksViewportHeight()
boolean	getScrollableTracksViewportWidth()
int	getScrollableUnitIncrement(java.awt.Rectangle visibleRect, int orientation, int direction)
void	hideImportButton() Hides import button
void	import_actionPerformed(java.awt.event.ActionEvent e) Import button
void	insert(DatasetXML ds, java.lang.String path) Insert a new data set in the list, from an External Object Description
void	insertC_LQD(DatasetXML ds, java.lang.String path) Insert a new LQD data set in the list, from an External Object Description
void	insertC(DatasetXML ds, java.lang.String path) Insert a new C data set in the list, from an External Object Description
void	insertLQD_C(DatasetXML ds, java.lang.String path) Insert a new LQD data set in the list, from an External Object Description
void	invertSelection_actionPerformed(java.awt.event.ActionEvent e) Invert button
void	invertSelectionC_actionPerformed(java.awt.event.ActionEvent e) Invert button
void	invertSelectionC_LQD_actionPerformed(java.awt.event.ActionEvent e) Invert button
void	invertSelectionLQD_C_actionPerformed(java.awt.event.ActionEvent e) Invert button
void	invertSelectionUser_actionPerformed(java.awt.event.ActionEvent e) Invert button
boolean	isAnySelected() Checks if any of the data sets are selected in the list
boolean	isAnySelectedC_LQD() Checks if any of the data sets are selected in the list
boolean	isAnySelectedC() Checks if any of the data sets are selected in the list
boolean	isAnySelectedLQD_C() Checks if any of the data sets are selected in the list
void	lqd_crisp_actionPerformed(java.awt.event.ActionEvent e) LQD to Crisp button
int	reload_crisp_lqd() Reload LQD data sets
void	reload_crisp(int position) Reload LQD data sets
void	reload_lqd_crisp() Reload LQD data sets
void	reload(int type) Reload the data set list, given a type of experiment
void	reloadPreviousActiveDataSets() Once the Buttons has been loaded again, we must set their state as it was previously set by the user <- we take the state saved from saveSelected()
void	removeAllData() Clear the vectors which stores the list of data sets
void	saveSelected() Method for saving the selected data sets so we can restore them later
void	selectAll_actionPerformed(java.awt.event.ActionEvent e) Select all button
void	selectAllC_actionPerformed(java.awt.event.ActionEvent e) Select all button
void	selectAllC_LQD_actionPerformed(java.awt.event.ActionEvent e) Select all button
void	selectAllLQD_C_actionPerformed(java.awt.event.ActionEvent e) Select all button
void	selectAllUser_actionPerformed(java.awt.event.ActionEvent e) Select all button
void	setMaxUnitIncrement(int pixels)
void	some_active(java.util.Vector check, ExternalObjectDescription dsc, java.util.Vector List, int type_node, java.awt.Point punto) Updates status of active data sets
void	sortDatasetC_LQD() Sort the data sets list loaded from disc, so they appear in alphabetic order
void	sortDatasetC() Sort the data sets list loaded from disc, so they appear in alphabetic order
void	sortDatasetLQD_C() Sort the data sets list loaded from disc, so they appear in alphabetic order
void	sortDatasets() Sort the data sets list loaded from disc, so they appear in alphabetic order
void	update() Update data sets

Methods inherited from class javax.swing.JPanel

getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI

Methods inherited from class javax.swing.JComponent

addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBaseline, getBaselineResizeBehavior, getBorder, getBounds, getClientProperty, getComponentGraphics, getComponentPopupMenu, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getFontMetrics, getGraphics, getHeight, getInheritsPopupMenu, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPopupLocation, getPreferredSize, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, hide, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingOrigin, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setComponentPopupMenu, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFocusTraversalKeys, setFont, setForeground, setInheritsPopupMenu, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, addImpl, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, 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, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle

Methods inherited from class java.lang.Object

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

Field Detail

edits

public java.util.Vector edits

Constructor Detail

DinamicDataset

public DinamicDataset()

Builder

DinamicDataset

public DinamicDataset(Experiments newParent)

Builder

Parameters:

newParent - Parent frame

Method Detail

insert

public void insert(DatasetXML ds,
                   java.lang.String path)

Insert a new data set in the list, from an External Object Description

Parameters:

ds - The external object description which contains the data set(s)

path - the path to the file(s) of this data set

insertLQD_C

public void insertLQD_C(DatasetXML ds,
                        java.lang.String path)

Insert a new LQD data set in the list, from an External Object Description

Parameters:

ds - The external object description which contains the data set(s)

path - the path to the file(s) of this data set

insertC_LQD

public void insertC_LQD(DatasetXML ds,
                        java.lang.String path)

Insert a new LQD data set in the list, from an External Object Description

Parameters:

ds - The external object description which contains the data set(s)

path - the path to the file(s) of this data set

insertC

public void insertC(DatasetXML ds,
                    java.lang.String path)

Insert a new C data set in the list, from an External Object Description

Parameters:

ds - The external object description which contains the data set(s)

path - the path to the file(s) of this data set

removeAllData

public void removeAllData()

Clear the vectors which stores the list of data sets

isAnySelected

public boolean isAnySelected()

Checks if any of the data sets are selected in the list

Returns:

If any of the data sets are selected in the list

isAnySelectedLQD_C

public boolean isAnySelectedLQD_C()

Checks if any of the data sets are selected in the list

Returns:

If any of the data sets are selected in the list

isAnySelectedC_LQD

public boolean isAnySelectedC_LQD()

Checks if any of the data sets are selected in the list

Returns:

If any of the data sets are selected in the list

isAnySelectedC

public boolean isAnySelectedC()

Checks if any of the data sets are selected in the list

Returns:

If any of the data sets are selected in the list

saveSelected

public void saveSelected()

Method for saving the selected data sets so we can restore them later

clear

public void clear()

Clear all data estructures, and allocates new memory for them

reload

public void reload(int type)

Reload the data set list, given a type of experiment

Parameters:

type - The type of experiment

reload_lqd_crisp

public void reload_lqd_crisp()

Reload LQD data sets

reload_crisp_lqd

public int reload_crisp_lqd()

Reload LQD data sets

reload_crisp

public void reload_crisp(int position)

Reload LQD data sets

Parameters:

position - Position in the list

reloadPreviousActiveDataSets

public void reloadPreviousActiveDataSets()

Once the Buttons has been loaded again, we must set their state as it was previously set by the user <- we take the state saved from saveSelected()

getPreferredScrollableViewportSize

public java.awt.Dimension getPreferredScrollableViewportSize()

Specified by:

getPreferredScrollableViewportSize in interface javax.swing.Scrollable

getScrollableUnitIncrement

public int getScrollableUnitIncrement(java.awt.Rectangle visibleRect,
                                      int orientation,
                                      int direction)

Specified by:

getScrollableUnitIncrement in interface javax.swing.Scrollable

getScrollableBlockIncrement

public int getScrollableBlockIncrement(java.awt.Rectangle visibleRect,
                                       int orientation,
                                       int direction)

Specified by:

getScrollableBlockIncrement in interface javax.swing.Scrollable

getScrollableTracksViewportWidth

public boolean getScrollableTracksViewportWidth()

Specified by:

getScrollableTracksViewportWidth in interface javax.swing.Scrollable

getScrollableTracksViewportHeight

public boolean getScrollableTracksViewportHeight()

Specified by:

getScrollableTracksViewportHeight in interface javax.swing.Scrollable

setMaxUnitIncrement

public void setMaxUnitIncrement(int pixels)

update

public void update()

Update data sets

import_actionPerformed

public void import_actionPerformed(java.awt.event.ActionEvent e)

Import button

Parameters:

e - Event

sortDatasets

public void sortDatasets()

Sort the data sets list loaded from disc, so they appear in alphabetic order

sortDatasetLQD_C

public void sortDatasetLQD_C()

Sort the data sets list loaded from disc, so they appear in alphabetic order

sortDatasetC_LQD

public void sortDatasetC_LQD()

Sort the data sets list loaded from disc, so they appear in alphabetic order

sortDatasetC

public void sortDatasetC()

Sort the data sets list loaded from disc, so they appear in alphabetic order

some_active

public void some_active(java.util.Vector check,
                        ExternalObjectDescription dsc,
                        java.util.Vector List,
                        int type_node,
                        java.awt.Point punto)

Updates status of active data sets

Parameters:

check - Check list

dsc - Parent dsc

List - List of data sets

type_node - Type of node

punto - Parent point

selectAll_actionPerformed

public void selectAll_actionPerformed(java.awt.event.ActionEvent e)

Select all button

Parameters:

e - Event

invertSelection_actionPerformed

public void invertSelection_actionPerformed(java.awt.event.ActionEvent e)

Invert button

Parameters:

e - Event

selectAllUser_actionPerformed

public void selectAllUser_actionPerformed(java.awt.event.ActionEvent e)

Select all button

Parameters:

e - Event

selectAllLQD_C_actionPerformed

public void selectAllLQD_C_actionPerformed(java.awt.event.ActionEvent e)

Select all button

Parameters:

e - Event

selectAllC_LQD_actionPerformed

public void selectAllC_LQD_actionPerformed(java.awt.event.ActionEvent e)

Select all button

Parameters:

e - Event

selectAllC_actionPerformed

public void selectAllC_actionPerformed(java.awt.event.ActionEvent e)

Select all button

Parameters:

e - Event

invertSelectionLQD_C_actionPerformed

public void invertSelectionLQD_C_actionPerformed(java.awt.event.ActionEvent e)

Invert button

Parameters:

e - Event

invertSelectionC_LQD_actionPerformed

public void invertSelectionC_LQD_actionPerformed(java.awt.event.ActionEvent e)

Invert button

Parameters:

e - Event

invertSelectionC_actionPerformed

public void invertSelectionC_actionPerformed(java.awt.event.ActionEvent e)

Invert button

Parameters:

e - Event

lqd_crisp_actionPerformed

public void lqd_crisp_actionPerformed(java.awt.event.ActionEvent e)

LQD to Crisp button

Parameters:

e - Event

crisp_actionPerformed

public void crisp_actionPerformed(java.awt.event.ActionEvent e)

Crisp button

Parameters:

e - Event

crisp_lqd_actionPerformed

public void crisp_lqd_actionPerformed(java.awt.event.ActionEvent e)

Crisp to LQD button

Parameters:

e - Event

invertSelectionUser_actionPerformed

public void invertSelectionUser_actionPerformed(java.awt.event.ActionEvent e)

Invert button

Parameters:

e - Event

hideImportButton

public void hideImportButton()

Hides import button