Package org.jacop.constraints.geost
Class BoxDisplay
java.lang.Object
java.awt.Component
java.awt.Container
java.awt.Window
java.awt.Frame
javax.swing.JFrame
org.jacop.constraints.geost.BoxDisplay
- All Implemented Interfaces:
ImageObserver
,MenuContainer
,Serializable
,Accessible
,RootPaneContainer
,WindowConstants
- Version:
- 4.8
It specifies a simple functionality to graphically represent 2D geost. It was mostly used during development phase but it may be still useful if user is interested in visualizing Geost constraint.
- See Also:
-
Nested Class Summary
Nested classes/interfaces inherited from class javax.swing.JFrame
JFrame.AccessibleJFrame
Nested classes/interfaces inherited from class java.awt.Frame
Frame.AccessibleAWTFrame
Nested classes/interfaces inherited from class java.awt.Window
Window.AccessibleAWTWindow, Window.Type
Nested classes/interfaces inherited from class java.awt.Container
Container.AccessibleAWTContainer
Nested classes/interfaces inherited from class java.awt.Component
Component.AccessibleAWTComponent, Component.BaselineResizeBehavior, Component.BltBufferStrategy, Component.FlipBufferStrategy
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate Image
private Image
int
It specifies the number of pixels per unit of length.private static final long
It specifies the serial UID.int
It defines the shift in x dimension for drawing.int
It defines the shift in x dimension for drawing.Fields inherited from class javax.swing.JFrame
accessibleContext, rootPane, rootPaneCheckingEnabled
Fields inherited from class java.awt.Frame
CROSSHAIR_CURSOR, DEFAULT_CURSOR, E_RESIZE_CURSOR, HAND_CURSOR, ICONIFIED, MAXIMIZED_BOTH, MAXIMIZED_HORIZ, MAXIMIZED_VERT, MOVE_CURSOR, N_RESIZE_CURSOR, NE_RESIZE_CURSOR, NORMAL, NW_RESIZE_CURSOR, S_RESIZE_CURSOR, SE_RESIZE_CURSOR, SW_RESIZE_CURSOR, TEXT_CURSOR, W_RESIZE_CURSOR, WAIT_CURSOR
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
Fields inherited from interface javax.swing.WindowConstants
DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, EXIT_ON_CLOSE, HIDE_ON_CLOSE
-
Constructor Summary
ConstructorsConstructorDescriptionBoxDisplay
(int pixelsPerUnit) It constructs a display to visualize Geost objects/constraint.BoxDisplay
(int pixelsPerUnit, String name) It constructs a window given the parameters like pixels per unit shape, and name of the window. -
Method Summary
Modifier and TypeMethodDescriptionvoid
display2DBox
(DBox b) It displays a given dbox in a black color.void
display2DBox
(DBox b, Color color) It displays a given dbox using a given color.void
display2DBox
(DBox b, Color color, boolean fill) It draws dboxes given color.void
display2DGeostObject
(Geost geost, GeostObject o, Color c) It displays a 2D geost object.void
display2DObject
(GeostObject o, Shape s) It displays 2D Geost object given its shape.void
display2DPoint
(int[] point, Color color) It displays a 2D point given its coordinates and color.void
display3DGeostObjectSlice
(Geost geost, GeostObject o, Color c, int sliceHeight) It displays 3D geost by slicing 3rd dimension at given point and displaying the resulting slice.void
displayState
(int domainWidth, boolean groundedOnly, boolean withFrames, Geost geost) It displays the state of the geost constraint.void
displayState
(int pixelsPerUnit, String title, Geost geost) It creates a display to visualize 2D geost constraint.void
It draws the grid.void
eraseAll()
Clear the paint area so drawing can start on fresh canvas.void
flip()
flips images, making previous operations visiblevoid
paints all objects, repaint only if requested tovoid
same as paintMethods inherited from class javax.swing.JFrame
addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getGraphics, getJMenuBar, getLayeredPane, getRootPane, getTransferHandler, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, repaint, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setIconImage, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, setTransferHandler
Methods inherited from class java.awt.Frame
addNotify, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setBackground, setCursor, setExtendedState, setMaximizedBounds, setMenuBar, setOpacity, setResizable, setShape, setState, setTitle, setUndecorated
Methods inherited from class java.awt.Window
addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBackground, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getIconImages, getInputContext, getListeners, getLocale, getModalExclusionType, getMostRecentFocusOwner, getOpacity, getOwnedWindows, getOwner, getOwnerlessWindows, getShape, getToolkit, getType, getWarningString, getWindowFocusListeners, getWindowListeners, getWindows, getWindowStateListeners, hide, isActive, isAlwaysOnTop, isAlwaysOnTopSupported, isAutoRequestFocus, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isOpaque, isShowing, isValidateRoot, pack, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, reshape, setAlwaysOnTop, setAutoRequestFocus, setBounds, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setIconImages, setLocation, setLocation, setLocationByPlatform, setLocationRelativeTo, setMinimumSize, setModalExclusionType, setSize, setSize, setType, setVisible, show, toBack, toFront
Methods inherited from class java.awt.Container
add, add, add, add, add, addContainerListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getMousePosition, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setFont, 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, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBaseline, getBaselineResizeBehavior, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphicsConfiguration, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isDoubleBuffered, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processKeyEvent, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, requestFocus, requestFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, requestFocusInWindow, resize, resize, revalidate, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setMaximumSize, setMixingCutoutShape, setName, setPreferredSize, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
Methods inherited from interface java.awt.MenuContainer
getFont, postEvent
-
Field Details
-
serialVersionUID
private static final long serialVersionUIDIt specifies the serial UID.- See Also:
-
pixelsPerUnit
public int pixelsPerUnitIt specifies the number of pixels per unit of length. -
xCellsShift
public int xCellsShiftIt defines the shift in x dimension for drawing. -
yCellsShift
public int yCellsShiftIt defines the shift in x dimension for drawing. -
bufferImage
-
displayImgae
-
-
Constructor Details
-
BoxDisplay
public BoxDisplay(int pixelsPerUnit) It constructs a display to visualize Geost objects/constraint.- Parameters:
pixelsPerUnit
- number of pixels on our first mission.
-
BoxDisplay
It constructs a window given the parameters like pixels per unit shape, and name of the window.- Parameters:
pixelsPerUnit
- number of pixels per unit length.name
- window name.
-
-
Method Details
-
displayState
It creates a display to visualize 2D geost constraint.- Parameters:
pixelsPerUnit
- number of pixels per unit of object length.title
- the title of the displaygeost
- geost constraint to visualize
-
displayState
It displays the state of the geost constraint.- Parameters:
domainWidth
- the width of the domaingroundedOnly
- only grounded objects should be displayed.withFrames
- should frames describing non-overlapping constraint be displayed too?geost
- geost constraint being displayed.
-
display2DBox
It displays a given dbox in a black color.- Parameters:
b
- dbox to be displayed.
-
display2DBox
It displays a given dbox using a given color.- Parameters:
b
- dbox to be displayed.color
- color to be used to draw dbox.
-
display2DBox
It draws dboxes given color. If n-dimensional box supplied then its 2D projection will be drawn only if it cuts the plane.- Parameters:
b
- dbox to be displayed.color
- color to be used.fill
- should the object be filled.
-
drawGrid
It draws the grid.- Parameters:
color
- the color in which the grid should be drawn.
-
display2DGeostObject
It displays a 2D geost object.- Parameters:
geost
- Geost constraint containting information about object shapes.o
- geost object to be drawn.c
- color in which the remaining units should be painted with.
-
display3DGeostObjectSlice
It displays 3D geost by slicing 3rd dimension at given point and displaying the resulting slice.- Parameters:
geost
- Geost constraint containing information about shapes.o
- object to be displayed.c
- color the object should be painted with.sliceHeight
- the slice position in the third dimension.
-
display2DPoint
It displays a 2D point given its coordinates and color.- Parameters:
point
- point coordinates.color
- color the point should be painted with.
-
display2DObject
It displays 2D Geost object given its shape.- Parameters:
o
- geost object to be displayed.s
- the shape of the object to be displayed.
-
eraseAll
public void eraseAll()Clear the paint area so drawing can start on fresh canvas. -
paint
paints all objects, repaint only if requested to -
update
same as paint -
flip
public void flip()flips images, making previous operations visible
-