org.uacalc.nbui

Class LatDrawer

java.lang.Object

java.awt.Component

java.awt.Container

javax.swing.JComponent

javax.swing.JPanel

org.uacalc.nbui.LatDrawer

All Implemented Interfaces:

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

public class LatDrawer
extends javax.swing.JPanel

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	LatDrawer.RadioButtonType

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
static java.awt.Color	ABOVE_COLOR
static java.awt.Color	BELOW_COLOR
static java.awt.Color	BOTH_COLOR
static java.awt.Color	GENERATED_ELEMS_COLOR
static java.awt.Color	SELECTED_LIST_COLOR

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
LatDrawer(UACalc uacalc)

Method Summary

Modifier and Type	Method and Description
void	addToSelectedElemList(org.latdraw.diagram.Vertex v)
java.util.List<org.latdraw.diagram.Vertex>	filter(org.latdraw.diagram.Vertex v)
LatDrawer.RadioButtonType	getAboveType()
BasicLattice	getBasicLattice()
LatDrawer.RadioButtonType	getBelowType()
org.latdraw.diagram.Diagram	getDiagram()
org.latdraw.beans.DrawPanel	getDrawPanel()
org.latdraw.diagram.Vertex	getSelectedElem()
java.util.List<org.latdraw.diagram.Vertex>	getSelectedElemList()
javax.swing.JToolBar	getToolBar()
UACalc	getUACalc()
java.util.List<org.latdraw.diagram.Vertex>	ideal(org.latdraw.diagram.Vertex v)
java.util.List<org.latdraw.diagram.Vertex>	irredundantJoinDecomposition(org.latdraw.diagram.Vertex v)
java.util.List<org.latdraw.diagram.Vertex>	irredundantMeetDecomposition(org.latdraw.diagram.Vertex v)
java.util.List<org.latdraw.diagram.Vertex>	joinIrredsBelow(org.latdraw.diagram.Vertex v)
java.util.List<org.latdraw.diagram.Vertex>	lowerCovers(org.latdraw.diagram.Vertex v)
static org.latdraw.orderedset.OrderedSet	makeExampleLat() Make a sample lattice.
javax.swing.JToolBar	makeToolBar()
java.util.List<org.latdraw.diagram.Vertex>	meetIrredsAbove(org.latdraw.diagram.Vertex v)
org.latdraw.diagram.Vertex	one()
void	resetSelectedElemList()
void	resetVertexColors()
void	setAboveType(LatDrawer.RadioButtonType aboveType)
void	setBasicLattice(BasicLattice lat)
void	setBelowType(LatDrawer.RadioButtonType belowType)
void	setDiagram(org.latdraw.diagram.Diagram d)
void	setLabels(boolean numbers)
void	setSelectedElem(org.latdraw.diagram.Vertex selectedElem)
void	setSelectedElemList(java.util.List<org.latdraw.diagram.Vertex> vertexList)
void	showClosure(boolean keepAlg) In Congruence panel this will show the closure (all congruences respected by all operations respecting the given ones; just the sublattice generated otherwise.
void	showSublattice()
java.util.List<org.latdraw.diagram.Vertex>	upperCovers(org.latdraw.diagram.Vertex v)
org.latdraw.diagram.Vertex	vertexOfObject(java.lang.Object obj) Find the Vertex which has obj as its underlying object.
org.latdraw.diagram.Vertex	zero()

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

BELOW_COLOR

public static final java.awt.Color BELOW_COLOR

ABOVE_COLOR

public static final java.awt.Color ABOVE_COLOR

BOTH_COLOR

public static final java.awt.Color BOTH_COLOR

SELECTED_LIST_COLOR

public static final java.awt.Color SELECTED_LIST_COLOR

GENERATED_ELEMS_COLOR

public static final java.awt.Color GENERATED_ELEMS_COLOR

Constructor Detail

LatDrawer

public LatDrawer(UACalc uacalc)

Method Detail

getUACalc

public UACalc getUACalc()

getDiagram

public org.latdraw.diagram.Diagram getDiagram()

setDiagram

public void setDiagram(org.latdraw.diagram.Diagram d)

getBasicLattice

public BasicLattice getBasicLattice()

setBasicLattice

public void setBasicLattice(BasicLattice lat)

getDrawPanel

public org.latdraw.beans.DrawPanel getDrawPanel()

getToolBar

public javax.swing.JToolBar getToolBar()

showSublattice

public void showSublattice()

showClosure

public void showClosure(boolean keepAlg)

In Congruence panel this will show the closure (all congruences respected by all operations respecting the given ones; just the sublattice generated otherwise.

vertexOfObject

public org.latdraw.diagram.Vertex vertexOfObject(java.lang.Object obj)

Find the Vertex which has obj as its underlying object. This assumes getDiagram() is not null.

Parameters:

obj -

Returns:

addToSelectedElemList

public void addToSelectedElemList(org.latdraw.diagram.Vertex v)

resetSelectedElemList

public void resetSelectedElemList()

getSelectedElemList

public java.util.List<org.latdraw.diagram.Vertex> getSelectedElemList()

setSelectedElemList

public void setSelectedElemList(java.util.List<org.latdraw.diagram.Vertex> vertexList)

setSelectedElem

public void setSelectedElem(org.latdraw.diagram.Vertex selectedElem)

getSelectedElem

public org.latdraw.diagram.Vertex getSelectedElem()

resetVertexColors

public void resetVertexColors()

setBelowType

public void setBelowType(LatDrawer.RadioButtonType belowType)

getBelowType

public LatDrawer.RadioButtonType getBelowType()

setAboveType

public void setAboveType(LatDrawer.RadioButtonType aboveType)

getAboveType

public LatDrawer.RadioButtonType getAboveType()

joinIrredsBelow

public java.util.List<org.latdraw.diagram.Vertex> joinIrredsBelow(org.latdraw.diagram.Vertex v)

meetIrredsAbove

public java.util.List<org.latdraw.diagram.Vertex> meetIrredsAbove(org.latdraw.diagram.Vertex v)

ideal

public java.util.List<org.latdraw.diagram.Vertex> ideal(org.latdraw.diagram.Vertex v)

filter

public java.util.List<org.latdraw.diagram.Vertex> filter(org.latdraw.diagram.Vertex v)

lowerCovers

public java.util.List<org.latdraw.diagram.Vertex> lowerCovers(org.latdraw.diagram.Vertex v)

upperCovers

public java.util.List<org.latdraw.diagram.Vertex> upperCovers(org.latdraw.diagram.Vertex v)

irredundantMeetDecomposition

public java.util.List<org.latdraw.diagram.Vertex> irredundantMeetDecomposition(org.latdraw.diagram.Vertex v)

irredundantJoinDecomposition

public java.util.List<org.latdraw.diagram.Vertex> irredundantJoinDecomposition(org.latdraw.diagram.Vertex v)

setLabels

public void setLabels(boolean numbers)

makeToolBar

public javax.swing.JToolBar makeToolBar()

zero

public org.latdraw.diagram.Vertex zero()

one

public org.latdraw.diagram.Vertex one()

makeExampleLat

public static org.latdraw.orderedset.OrderedSet makeExampleLat()
                                                        throws org.latdraw.orderedset.NonOrderedSetException

Make a sample lattice.

Throws:

org.latdraw.orderedset.NonOrderedSetException