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

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

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

accessibleContext, 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

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

LatDrawer(UACalculatorUI uacalc)

Method Summary

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()
UACalculatorUI	getUACalculatorUI()
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	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	showSublattice()
java.util.List<org.latdraw.diagram.Vertex>	upperCovers(org.latdraw.diagram.Vertex v)
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, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, 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, transferFocusBackward, 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, hide, 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, 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(UACalculatorUI uacalc)

Method Detail

getUACalculatorUI

public UACalculatorUI getUACalculatorUI()

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()

getSelectedElemList

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

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