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
public class BoxDisplay extends JFrame
Version:
4.10

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:

  • Field Details

    • serialVersionUID

      private static final long serialVersionUID
      It specifies the serial UID.
      See Also:

    • 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 Image bufferImage

    • displayImgae

      private Image 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

      public BoxDisplay(int pixelsPerUnit, 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 Details

    • displayState

      public void displayState(int pixelsPerUnit, 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 display
      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 - the width of the domain
      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, 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, 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(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, 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, 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, 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(Graphics g)
      paints all objects, repaint only if requested to
      Overrides:
      paint in class Window

    • update

      public void update(Graphics g)
      same as paint
      Overrides:
      update in class JFrame

    • flip

      public void flip()
      flips images, making previous operations visible