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:
java.awt.image.ImageObserver
,java.awt.MenuContainer
,java.io.Serializable
,javax.accessibility.Accessible
,javax.swing.RootPaneContainer
,javax.swing.WindowConstants
public class BoxDisplay extends javax.swing.JFrame
- 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:
- Serialized Form
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class javax.swing.JFrame
javax.swing.JFrame.AccessibleJFrame
-
Nested classes/interfaces inherited from class java.awt.Window
java.awt.Window.AccessibleAWTWindow, java.awt.Window.Type
-
-
Field Summary
Fields Modifier and Type Field Description private java.awt.Image
bufferImage
private java.awt.Image
displayImgae
int
pixelsPerUnit
It specifies the number of pixels per unit of length.private static long
serialVersionUID
It specifies the serial UID.int
xCellsShift
It defines the shift in x dimension for drawing.int
yCellsShift
It defines the shift in x dimension for drawing.-
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
-
-
Constructor Summary
Constructors Constructor Description BoxDisplay(int pixelsPerUnit)
It constructs a display to visualize Geost objects/constraint.BoxDisplay(int pixelsPerUnit, java.lang.String name)
It constructs a window given the parameters like pixels per unit shape, and name of the window.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
display2DBox(DBox b)
It displays a given dbox in a black color.void
display2DBox(DBox b, java.awt.Color color)
It displays a given dbox using a given color.void
display2DBox(DBox b, java.awt.Color color, boolean fill)
It draws dboxes given color.void
display2DGeostObject(Geost geost, GeostObject o, java.awt.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, java.awt.Color color)
It displays a 2D point given its coordinates and color.void
display3DGeostObjectSlice(Geost geost, GeostObject o, java.awt.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, java.lang.String title, Geost geost)
It creates a display to visualize 2D geost constraint.void
drawGrid(java.awt.Color color)
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
paint(java.awt.Graphics g)
paints all objects, repaint only if requested tovoid
update(java.awt.Graphics g)
same as paint-
Methods 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
-
-
-
-
Field Detail
-
serialVersionUID
private static final long serialVersionUID
It specifies the serial UID.- See Also:
- Constant Field Values
-
pixelsPerUnit
public int pixelsPerUnit
It specifies the number of pixels per unit of length.
-
xCellsShift
public int xCellsShift
It defines the shift in x dimension for drawing.
-
yCellsShift
public int yCellsShift
It defines the shift in x dimension for drawing.
-
bufferImage
private java.awt.Image bufferImage
-
displayImgae
private java.awt.Image displayImgae
-
-
Constructor Detail
-
BoxDisplay
public BoxDisplay(int pixelsPerUnit)
It constructs a display to visualize Geost objects/constraint.- Parameters:
pixelsPerUnit
- number of pixels on our first mission.
-
BoxDisplay
public BoxDisplay(int pixelsPerUnit, java.lang.String name)
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 Detail
-
displayState
public void displayState(int pixelsPerUnit, java.lang.String title, Geost geost)
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
public void displayState(int domainWidth, boolean groundedOnly, boolean withFrames, Geost geost)
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
public void display2DBox(DBox b)
It displays a given dbox in a black color.- Parameters:
b
- dbox to be displayed.
-
display2DBox
public void display2DBox(DBox b, java.awt.Color color)
It displays a given dbox using a given color.- Parameters:
b
- dbox to be displayed.color
- color to be used to draw dbox.
-
display2DBox
public void display2DBox(DBox b, java.awt.Color color, boolean fill)
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
public void drawGrid(java.awt.Color color)
It draws the grid.- Parameters:
color
- the color in which the grid should be drawn.
-
display2DGeostObject
public void display2DGeostObject(Geost geost, GeostObject o, java.awt.Color c)
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
public void display3DGeostObjectSlice(Geost geost, GeostObject o, java.awt.Color c, int sliceHeight)
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
public void display2DPoint(int[] point, java.awt.Color color)
It displays a 2D point given its coordinates and color.- Parameters:
point
- point coordinates.color
- color the point should be painted with.
-
display2DObject
public void display2DObject(GeostObject o, Shape s)
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
public void paint(java.awt.Graphics g)
paints all objects, repaint only if requested to- Overrides:
paint
in classjava.awt.Window
-
update
public void update(java.awt.Graphics g)
same as paint- Overrides:
update
in classjavax.swing.JFrame
-
flip
public void flip()
flips images, making previous operations visible
-
-