metricsOverlay.model.augmentation.other
Class ShapeManager

java.lang.Object
  extended by metricsOverlay.model.augmentation.other.ShapeManager

public final class ShapeManager
extends java.lang.Object

This class provides a set of shapes that can be used with a the SWT GC of the text widget used to display the java editor to render specific shapes.

Version:
9/7/2009
Author:
Matthew Harward

Constructor Summary
ShapeManager()
           
 
Method Summary
static java.util.Set<int[]> getShape(int lineHeight, ShapeType type, ShapeDirection dir)
          This method returns a set of the points required to render a polygon, this is centered within a provided line height.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ShapeManager

public ShapeManager()
Method Detail

getShape

public static java.util.Set<int[]> getShape(int lineHeight,
                                            ShapeType type,
                                            ShapeDirection dir)
This method returns a set of the points required to render a polygon, this is centered within a provided line height. Shapes will have a maximum width of 14 pixels.

Parameters:
lineHeight - the height of the line the shape is going to be rendered on.
shapeType - the defined enum of the shape.
dir - the defined directional enum of this shape.
Returns:
a set that holds all of the shape components, or null if the shape could not be found.