public class EncodingView extends mxGraphComponent implements EncodingPrinter
VisualGraph
to visualize encodings.VisualGraph
,
BDDEncoding
,
Serialized FormmxGraphComponent.mxGraphControl, mxGraphComponent.mxMouseRedirector
JComponent.AccessibleJComponent
Component.BaselineResizeBehavior
DEFAULT_COLLAPSED_ICON, DEFAULT_EXPANDED_ICON, DEFAULT_PAGESCALE, DEFAULT_WARNING_ICON, GRID_STYLE_CROSS, GRID_STYLE_DASHED, GRID_STYLE_DOT, GRID_STYLE_LINE, showDirtyRectangle, ZOOM_POLICY_NONE, ZOOM_POLICY_PAGE, ZOOM_POLICY_WIDTH
TOOL_TIP_TEXT_KEY, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT
NO_SUCH_PAGE, PAGE_EXISTS
COLUMN_HEADER, HORIZONTAL_SCROLLBAR, HORIZONTAL_SCROLLBAR_ALWAYS, HORIZONTAL_SCROLLBAR_AS_NEEDED, HORIZONTAL_SCROLLBAR_NEVER, HORIZONTAL_SCROLLBAR_POLICY, LOWER_LEADING_CORNER, LOWER_LEFT_CORNER, LOWER_RIGHT_CORNER, LOWER_TRAILING_CORNER, ROW_HEADER, UPPER_LEADING_CORNER, UPPER_LEFT_CORNER, UPPER_RIGHT_CORNER, UPPER_TRAILING_CORNER, VERTICAL_SCROLLBAR, VERTICAL_SCROLLBAR_ALWAYS, VERTICAL_SCROLLBAR_AS_NEEDED, VERTICAL_SCROLLBAR_NEVER, VERTICAL_SCROLLBAR_POLICY, VIEWPORT
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH
Constructor and Description |
---|
EncodingView()
Creates a new
EncodingView . |
Modifier and Type | Method and Description |
---|---|
void |
print(BDDEncoding encoding)
Prints an encoding to this printer.
|
addCellOverlay, addListener, canExportCell, canImportCell, checkTripleBuffer, clearCellOverlays, clearCellOverlays, createCanvas, createComponents, createHandler, destroyTripleBuffer, escape, getBackgroundImage, getCanvas, getCellAt, getCellAt, getCellAt, getCellEditor, getCellOverlays, getCells, getCells, getConnectionHandler, getEditingValue, getExportableCells, getFoldingIcon, getFoldingIconBounds, getGraph, getGraphControl, getGraphHandler, getGridColor, getGridStyle, getHorizontalPageBorder, getHorizontalPageCount, getImportableCells, getLayoutAreaSize, getPageBackgroundColor, getPageBorderColor, getPageBreakColor, getPageFormat, getPageScale, getPageShadowColor, getPanningHandler, getPointForEvent, getPointForEvent, getPreviewAlpha, getSelectionCellsHandler, getTolerance, getTripleBuffer, getVerticalPageBorder, getVerticalPageCount, getZoomFactor, getZoomPolicy, hitFoldingIcon, importCells, insertComponent, isAntiAlias, isAutoExtend, isAutoScroll, isCenterPage, isCenterZoom, isCloneEvent, isConnectable, isConstrainedEvent, isDragEnabled, isEditEvent, isEditing, isEnterStopsCellEditing, isEscapeEnabled, isEventsEnabled, isExportEnabled, isFoldingEnabled, isForceMarqueeEvent, isForceTripleBuffered, isGridEnabledEvent, isGridVisible, isImportEnabled, isInvokesStopCellEditing, isKeepSelectionVisibleOnZoom, isPageBreaksVisible, isPageVisible, isPanning, isPanningEvent, isPreferPageSize, isSignificant, isSwimlaneSelectionEnabled, isTextAntiAlias, isToggleEvent, isTripleBuffered, labelChanged, print, redraw, refresh, removeAllComponents, removeAllOverlays, removeCellOverlay, removeCellOverlays, removeComponent, removeListener, removeListener, repaintTripleBuffer, scrollCellToVisible, scrollCellToVisible, scrollToCenter, selectCellForEvent, selectCellsForEvent, selectRegion, setAntiAlias, setAutoExtend, setAutoScroll, setBackgroundImage, setCellEditor, setCellWarning, setCellWarning, setCellWarning, setCenterPage, setCenterZoom, setConnectable, setDragEnabled, setEnterStopsCellEditing, setEscapeEnabled, setEventsEnabled, setExportEnabled, setFoldingEnabled, setGraph, setGridColor, setGridStyle, setGridVisible, setHorizontalPageCount, setImportEnabled, setInvokesStopCellEditing, setKeepSelectionVisibleOnZoom, setPageBackgroundColor, setPageBorderColor, setPageBreakColor, setPageBreaksVisible, setPageFormat, setPageScale, setPageShadowColor, setPageVisible, setPanning, setPreferPageSize, setPreviewAlpha, setSwimlaneSelectionEnabled, setTextAntiAlias, setTolerance, setToolTips, setTripleBuffered, setVerticalPageCount, setZoomFactor, setZoomPolicy, snapScaledPoint, snapScaledPoint, startEditing, startEditingAtCell, startEditingAtCell, stopEditing, updateCellOverlays, updateComponent, updateComponents, updateComponents, validateGraph, validateGraph, zoom, zoom, zoomActual, zoomAndCenter, zoomIn, zoomOut, zoomTo
createHorizontalScrollBar, createVerticalScrollBar, getAccessibleContext, getColumnHeader, getCorner, getHorizontalScrollBar, getHorizontalScrollBarPolicy, getRowHeader, getUI, getUIClassID, getVerticalScrollBar, getVerticalScrollBarPolicy, getViewport, getViewportBorder, getViewportBorderBounds, isValidateRoot, isWheelScrollingEnabled, setColumnHeader, setColumnHeaderView, setComponentOrientation, setCorner, setHorizontalScrollBar, setHorizontalScrollBarPolicy, setLayout, setRowHeader, setRowHeaderView, setUI, setVerticalScrollBar, setVerticalScrollBarPolicy, setViewport, setViewportBorder, setViewportView, setWheelScrollingEnabled, updateUI
addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBaseline, getBaselineResizeBehavior, getBorder, getBounds, getClientProperty, 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, paint, paintImmediately, paintImmediately, print, printAll, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, 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, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update
add, add, add, add, add, addContainerListener, 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, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, transferFocusDownCycle, validate
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, contains, createImage, createImage, createVolatileImage, createVolatileImage, dispatchEvent, enable, enableInputMethods, 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, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle
public void print(BDDEncoding encoding)
EncodingPrinter
print
in interface EncodingPrinter
encoding
- the BDD encoding to be printed