diff options
| author | Andrew Branson <andrew.branson@cern.ch> | 2012-06-26 20:57:01 +0200 |
|---|---|---|
| committer | Andrew Branson <andrew.branson@cern.ch> | 2012-06-26 20:57:01 +0200 |
| commit | bc4d8f9fca275eceee86e38c52975461ca504d07 (patch) | |
| tree | 9e60e5ecba29f76b069f7c17a6b4d1b19775f4cf /src/main/java/com/c2kernel/lifecycle/WfVertexDefOutlineCreator.java | |
| parent | 6d8c74f97fe4289a984bdc6bd635c71653d5421c (diff) | |
More GUI refactoring
Diffstat (limited to 'src/main/java/com/c2kernel/lifecycle/WfVertexDefOutlineCreator.java')
| -rw-r--r-- | src/main/java/com/c2kernel/lifecycle/WfVertexDefOutlineCreator.java | 50 |
1 files changed, 50 insertions, 0 deletions
diff --git a/src/main/java/com/c2kernel/lifecycle/WfVertexDefOutlineCreator.java b/src/main/java/com/c2kernel/lifecycle/WfVertexDefOutlineCreator.java new file mode 100644 index 0000000..a63a0a8 --- /dev/null +++ b/src/main/java/com/c2kernel/lifecycle/WfVertexDefOutlineCreator.java @@ -0,0 +1,50 @@ +package com.c2kernel.lifecycle;
+
+import com.c2kernel.graph.model.GraphPoint;
+import com.c2kernel.graph.model.Vertex;
+import com.c2kernel.graph.model.VertexOutlineCreator;
+
+public class WfVertexDefOutlineCreator implements VertexOutlineCreator
+{
+ private final int mActivityWidth = 130;
+ private final int mActivityHeight = 60;
+ private final int mSplitJoinWidth = 60;
+ private final int mSplitJoinHeight = 25;
+
+ @Override
+ public void setOutline(Vertex vertex)
+ {
+ GraphPoint centrePoint = vertex.getCentrePoint();
+ GraphPoint[] outlinePoints = new GraphPoint[ 4 ];
+ int vertexWidth = 0;
+ int vertexHeight = 0;
+
+
+ if ( vertex instanceof ActivitySlotDef )
+ {
+ vertexWidth = mActivityWidth;
+ vertexHeight = mActivityHeight;
+ }
+ else
+ {
+ vertexWidth = mSplitJoinWidth;
+ vertexHeight = mSplitJoinHeight;
+ }
+
+ outlinePoints[ 0 ] = new GraphPoint();
+ outlinePoints[ 0 ].x = centrePoint.x - vertexWidth / 2;
+ outlinePoints[ 0 ].y = centrePoint.y - vertexHeight / 2;
+ outlinePoints[ 1 ] = new GraphPoint();
+ outlinePoints[ 1 ].x = centrePoint.x + vertexWidth / 2;
+ outlinePoints[ 1 ].y = centrePoint.y - vertexHeight / 2;
+ outlinePoints[ 2 ] = new GraphPoint();
+ outlinePoints[ 2 ].x = centrePoint.x + vertexWidth / 2;
+ outlinePoints[ 2 ].y = centrePoint.y + vertexHeight / 2;
+ outlinePoints[ 3 ] = new GraphPoint();
+ outlinePoints[ 3 ].x = centrePoint.x - vertexWidth / 2;
+ outlinePoints[ 3 ].y = centrePoint.y + vertexHeight / 2;
+
+ vertex.setOutlinePoints( outlinePoints );
+ }
+}
+
|