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