|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectmetricsOverlay.model.augmentation.other.ShapeManager
public final class ShapeManager
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.
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 |
---|
public ShapeManager()
Method Detail |
---|
public static java.util.Set<int[]> getShape(int lineHeight, ShapeType type, ShapeDirection dir)
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.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |