vocleditor.figures
Class ClassifierFigure.CompartmentFigure.CompartmentFigureBorder

java.lang.Object
  extended by org.eclipse.draw2d.AbstractBorder
      extended by vocleditor.figures.ClassifierFigure.CompartmentFigure.CompartmentFigureBorder
All Implemented Interfaces:
org.eclipse.draw2d.Border
Enclosing class:
ClassifierFigure.CompartmentFigure

public class ClassifierFigure.CompartmentFigure.CompartmentFigureBorder
extends org.eclipse.draw2d.AbstractBorder

a border for the CompartmentFigure


Constructor Summary
ClassifierFigure.CompartmentFigure.CompartmentFigureBorder()
           
 
Method Summary
 org.eclipse.draw2d.geometry.Insets getInsets(org.eclipse.draw2d.IFigure figure)
          returns the insets of this border
 void paint(org.eclipse.draw2d.IFigure figure, org.eclipse.draw2d.Graphics graphics, org.eclipse.draw2d.geometry.Insets insets)
          paints the border line
 
Methods inherited from class org.eclipse.draw2d.AbstractBorder
getPreferredSize, isOpaque
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ClassifierFigure.CompartmentFigure.CompartmentFigureBorder

public ClassifierFigure.CompartmentFigure.CompartmentFigureBorder()
Method Detail

getInsets

public org.eclipse.draw2d.geometry.Insets getInsets(org.eclipse.draw2d.IFigure figure)
returns the insets of this border

Parameters:
figure - the figure to calculate the insets for
Returns:
the insets of this border

paint

public void paint(org.eclipse.draw2d.IFigure figure,
                  org.eclipse.draw2d.Graphics graphics,
                  org.eclipse.draw2d.geometry.Insets insets)
paints the border line

Parameters:
figure - the figure to paint this border onto
graphics - a graphics object used to draw
insets - formerly calclated insets