org.simantics.district.network.ui/src/org/simantics/district/network/ui/DNEdgeBuilder.java

   1 package org.simantics.district.network.ui;
   2
   3 import java.awt.geom.Rectangle2D;
   4 import java.util.Collection;
   5
   6 import org.simantics.databoard.Bindings;
   7 import org.simantics.db.Resource;
   8 import org.simantics.db.WriteGraph;
   9 import org.simantics.db.common.request.ObjectsWithType;
  10 import org.simantics.db.exception.DatabaseException;
  11 import org.simantics.db.layer0.util.Layer0Utils;
  12 import org.simantics.diagram.stubs.DiagramResource;
  13 import org.simantics.diagram.synchronization.IModifiableSynchronizationContext;
  14 import org.simantics.diagram.synchronization.SynchronizationHints;
  15 import org.simantics.diagram.synchronization.graph.AddElement;
  16 import org.simantics.diagram.synchronization.graph.GraphSynchronizationHints;
  17 import org.simantics.diagram.synchronization.graph.layer.GraphLayerManager;
  18 import org.simantics.district.network.DistrictNetworkUtil;
  19 import org.simantics.district.network.ontology.DistrictNetworkResource;
  20 import org.simantics.g2d.diagram.IDiagram;
  21 import org.simantics.layer0.Layer0;
  22
  23 public class DNEdgeBuilder {
  24
  25     private Resource diagramResource;
  26     private IDiagram diagram;
  27     private GraphLayerManager glm;
  28
  29     public DNEdgeBuilder(Resource diagramResource, IDiagram diagram) {
  30         this.diagramResource = diagramResource;
  31         this.diagram = diagram;
  32
  33         IModifiableSynchronizationContext context = diagram.getHint(SynchronizationHints.CONTEXT);
  34         glm = context.get(GraphSynchronizationHints.GRAPH_LAYER_MANAGER);
  35     }
  36
  37     public void create(WriteGraph graph, double[] start, double[] end, double padding) throws DatabaseException {
  38
  39         DistrictNetworkResource DN = DistrictNetworkResource.getInstance(graph);
  40
  41         // 1. Get diagram edge to construct
  42         Resource edge = getOrCreateEdge(graph);
  43
  44         // 1.1 Give running name to connection and increment the counter attached to the diagram.
  45         AddElement.claimFreshElementName(graph, diagramResource, edge);
  46
  47         // 2. Add vertices
  48         Collection<Resource> vertices = graph.syncRequest(new ObjectsWithType(diagramResource, Layer0.getInstance(graph).ConsistsOf, DistrictNetworkResource.getInstance(graph).Vertex));
  49         Resource startVertex = getOrCreateVertex(graph, vertices, start, padding);
  50         Resource endVertex = getOrCreateVertex(graph, vertices, end, padding);
  51
  52         graph.claim(edge, DN.HasStartVertex, startVertex);
  53         graph.claim(edge, DN.HasEndVertex, endVertex);
  54
  55         // 7. Put the element on all the currently active layers if possible.
  56         if (glm != null) {
  57             putOnActiveLayer(graph, edge);
  58             putOnActiveLayer(graph, startVertex);
  59             putOnActiveLayer(graph, endVertex);
  60         }
  61
  62         Layer0Utils.addCommentMetadata(graph, "Added edge " + edge);
  63         graph.markUndoPoint();
  64     }
  65
  66     private void putOnActiveLayer(WriteGraph graph, Resource res) throws DatabaseException {
  67         glm.removeFromAllLayers(graph, res);
  68         glm.putElementOnVisibleLayers(diagram, graph, res);
  69     }
  70
  71     private Resource getOrCreateVertex(WriteGraph graph, Collection<Resource> vertices, double[] coords, double padding) throws DatabaseException {
  72         Resource vertex = null;
  73         double halfPadding = padding / 2;
  74         for (Resource vertx : vertices) {
  75             double[] existingCoords = graph.getRelatedValue2(vertx, DiagramResource.getInstance(graph).HasLocation, Bindings.DOUBLE_ARRAY);
  76             Rectangle2D existing = new Rectangle2D.Double(existingCoords[0] - halfPadding, existingCoords[1] - halfPadding, padding, padding);
  77             Rectangle2D tobecreated = new Rectangle2D.Double(coords[0] - halfPadding, coords[1] - halfPadding, padding, padding);
  78             if (existing.intersects(tobecreated)) {
  79                 vertex = vertx;
  80                 break;
  81             }
  82         }
  83         if (vertex == null) {
  84             vertex = DistrictNetworkUtil.createVertex(graph, diagramResource, coords);
  85             AddElement.claimFreshElementName(graph, diagramResource, vertex);
  86         }
  87         return vertex;
  88     }
  89
  90     private Resource getOrCreateEdge(WriteGraph graph) throws DatabaseException {
  91         return DistrictNetworkUtil.createEdge(graph, diagramResource);
  92     }
  93
  94 }