org.latdraw.sample.posetdrawer
Class PosetDrawer

java.lang.Object
  java.awt.Component
      java.awt.Container
          javax.swing.JComponent
              javax.swing.JPanel
                  org.latdraw.sample.posetdrawer.PosetDrawer

All Implemented Interfaces:

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

public class PosetDrawer
extends javax.swing.JPanel

See Also:

Serialized Form

Nested Class Summary

static class

PosetDrawer.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.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

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

PosetDrawer(javax.swing.JFrame frame)

Method Summary

java.util.List<Vertex>	filter(Vertex v)
PosetDrawer.RadioButtonType	getAboveType()
PosetDrawer.RadioButtonType	getBelowType()
Diagram	getDiagram()
DrawPanel	getDrawPanel()
OrderedSet	getPoset()
Vertex	getSelectedElem()
javax.swing.JToolBar	getToolBar()
java.util.List<Vertex>	ideal(Vertex v)
java.util.List<Vertex>	joinIrredsBelow(Vertex v)
java.util.List<Vertex>	lowerCovers(Vertex v)
static void	main(java.lang.String[] args)
static OrderedSet	makeExampleLat() Make a sample lattice.
javax.swing.JToolBar	makeToolBar()
java.util.List<Vertex>	meetIrredsAbove(Vertex v)
Vertex	one()
void	open()
void	resetVertexColors()
void	setAboveType(PosetDrawer.RadioButtonType aboveType)
void	setBelowType(PosetDrawer.RadioButtonType belowType)
void	setDiagram(Diagram d)
void	setLabels(boolean numbers)
void	setPoset(OrderedSet p)
void	setSelectedElem(Vertex selectedElem)
java.util.List<Vertex>	upperCovers(Vertex v)
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, 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, 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

Constructor Detail

PosetDrawer

public PosetDrawer(javax.swing.JFrame frame)

Method Detail

getPoset

public OrderedSet getPoset()

setPoset

public void setPoset(OrderedSet p)

getDiagram

public Diagram getDiagram()

setDiagram

public void setDiagram(Diagram d)

getDrawPanel

public DrawPanel getDrawPanel()

getToolBar

public javax.swing.JToolBar getToolBar()

setSelectedElem

public void setSelectedElem(Vertex selectedElem)

getSelectedElem

public Vertex getSelectedElem()

resetVertexColors

public void resetVertexColors()

setBelowType

public void setBelowType(PosetDrawer.RadioButtonType belowType)

getBelowType

public PosetDrawer.RadioButtonType getBelowType()

setAboveType

public void setAboveType(PosetDrawer.RadioButtonType aboveType)

getAboveType

public PosetDrawer.RadioButtonType getAboveType()

joinIrredsBelow

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

meetIrredsAbove

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

ideal

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

filter

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

lowerCovers

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

upperCovers

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

setLabels

public void setLabels(boolean numbers)

makeToolBar

public javax.swing.JToolBar makeToolBar()

zero

public Vertex zero()

one

public Vertex one()

open

public void open()
          throws java.io.IOException

Throws:

java.io.IOException

makeExampleLat

public static OrderedSet makeExampleLat()
                                 throws NonOrderedSetException

Make a sample lattice.

Throws:

NonOrderedSetException

main

public static void main(java.lang.String[] args)