JaCoP.constraints.geost
Class BoxDisplay

java.lang.Object
  java.awt.Component
      java.awt.Container
          java.awt.Window
              java.awt.Frame
                  javax.swing.JFrame
                      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

Author:

Marc-Olivier Fleury and Radoslaw Szymanek 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 java.awt.Component

java.awt.Component.BaselineResizeBehavior

Field Summary

int	pixelsPerUnit It specifies the number of pixels per unit of length.
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 javax.swing.JFrame

EXIT_ON_CLOSE

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 javax.swing.WindowConstants

DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, HIDE_ON_CLOSE

Fields inherited from interface java.awt.image.ImageObserver

ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

Constructor Summary

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

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 visible
void	paint(java.awt.Graphics g) paints all objects, repaint only if requested to
void	update(java.awt.Graphics g) same as paint

Methods inherited from class javax.swing.JFrame

getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getGraphics, getJMenuBar, getLayeredPane, getRootPane, getTransferHandler, isDefaultLookAndFeelDecorated, remove, repaint, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setIconImage, setJMenuBar, setLayeredPane, setLayout, setTransferHandler

Methods inherited from class java.awt.Frame

addNotify, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setCursor, setExtendedState, setMaximizedBounds, setMenuBar, setResizable, setState, setTitle, setUndecorated

Methods inherited from class java.awt.Window

addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getGraphicsConfiguration, getIconImages, getInputContext, getListeners, getLocale, getModalExclusionType, getMostRecentFocusOwner, getOwnedWindows, getOwner, getOwnerlessWindows, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindows, getWindowStateListeners, hide, isActive, isAlwaysOnTop, isAlwaysOnTopSupported, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isShowing, pack, postEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, reshape, setAlwaysOnTop, setBounds, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setIconImages, setLocationByPlatform, setLocationRelativeTo, setMinimumSize, setModalExclusionType, setSize, setSize, 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, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setFont, transferFocusBackward, transferFocusDownCycle, validate

Methods inherited from class java.awt.Component

action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, contains, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, dispatchEvent, enable, enable, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBaseline, getBaselineResizeBehavior, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, 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, isOpaque, isPreferredSizeSet, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, prepareImage, prepareImage, printAll, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, requestFocus, requestFocusInWindow, resize, resize, setBackground, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setMaximumSize, setName, setPreferredSize, show, size, toString, transferFocus, transferFocusUpCycle

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.awt.MenuContainer

getFont, postEvent

Field Detail

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.

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 -

geost - 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 -

groundedOnly - 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 class java.awt.Window

update

public void update(java.awt.Graphics g)

same as paint

Overrides:

update in class javax.swing.JFrame

flip

public void flip()

flips images, making previous operations visible