bundles/org.simantics.diagram/src/org/simantics/diagram/flag/FlagUtil.java

   1 /*******************************************************************************\r
   2  * Copyright (c) 2007, 2010 Association for Decentralized Information Management\r
   3  * in Industry THTH ry.\r
   4  * All rights reserved. This program and the accompanying materials\r
   5  * are made available under the terms of the Eclipse Public License v1.0\r
   6  * which accompanies this distribution, and is available at\r
   7  * http://www.eclipse.org/legal/epl-v10.html\r
   8  *\r
   9  * Contributors:\r
  10  *     VTT Technical Research Centre of Finland - initial API and implementation\r
  11  *******************************************************************************/\r
  12 package org.simantics.diagram.flag;\r
  13 \r
  14 import java.util.Collection;\r
  15 import java.util.Collections;\r
  16 import java.util.HashSet;\r
  17 import java.util.List;\r
  18 import java.util.Set;\r
  19 \r
  20 import org.simantics.db.ReadGraph;\r
  21 import org.simantics.db.Resource;\r
  22 import org.simantics.db.Statement;\r
  23 import org.simantics.db.WriteGraph;\r
  24 import org.simantics.db.common.procedure.adapter.TransientCacheListener;\r
  25 import org.simantics.db.common.request.PossibleObjectWithType;\r
  26 import org.simantics.db.common.request.TernaryRead;\r
  27 import org.simantics.db.common.utils.NameUtils;\r
  28 import org.simantics.db.common.utils.OrderedSetUtils;\r
  29 import org.simantics.db.exception.DatabaseException;\r
  30 import org.simantics.db.exception.ServiceException;\r
  31 import org.simantics.db.function.DbConsumer;\r
  32 import org.simantics.db.layer0.util.RemoverUtil;\r
  33 import org.simantics.db.layer0.variable.Variable;\r
  34 import org.simantics.diagram.content.ConnectionUtil;\r
  35 import org.simantics.diagram.flag.IFlagType.FlagInfo;\r
  36 import org.simantics.diagram.stubs.DiagramResource;\r
  37 import org.simantics.diagram.synchronization.graph.DiagramGraphUtil;\r
  38 import org.simantics.g2d.elementclass.FlagClass;\r
  39 import org.simantics.layer0.Layer0;\r
  40 import org.simantics.layer0.utils.triggers.IActivationManager;\r
  41 import org.simantics.modeling.ModelingResources;\r
  42 import org.simantics.structural.stubs.StructuralResource2;\r
  43 import org.simantics.structural2.modelingRules.IModelingRules;\r
  44 import org.simantics.structural2.queries.Terminal;\r
  45 import org.simantics.structural2.variables.ConnectionBrowser;\r
  46 import org.simantics.structural2.variables.ResourceWithContext;\r
  47 import org.simantics.utils.datastructures.Triple;\r
  48 \r
  49 import gnu.trove.set.hash.THashSet;\r
  50 \r
  51 /**\r
  52  * @author Tuukka Lehtonen\r
  53  */\r
  54 public final class FlagUtil {\r
  55 \r
  56     public static boolean isDisconnected(ReadGraph graph, Resource flag) throws DatabaseException {\r
  57         return !isJoined(graph, flag) && !isMarkedExternal(graph, flag);\r
  58     }\r
  59 \r
  60     private static boolean isMarkedExternal(ReadGraph graph, Resource flag) throws DatabaseException {\r
  61         return graph.hasStatement(flag, DiagramResource.getInstance(graph).ExternalFlag);\r
  62     }\r
  63 \r
  64     public static boolean isExternal(ReadGraph graph, Resource flag) throws DatabaseException {\r
  65         return isMarkedExternal(graph, flag) && !isJoined(graph, flag);\r
  66     }\r
  67 \r
  68     public static boolean isJoined(ReadGraph graph, Resource flag) throws DatabaseException {\r
  69         return countCounterparts(graph, flag) > 0;\r
  70     }\r
  71 \r
  72     public static boolean isLifted(ReadGraph graph, Resource flag) throws DatabaseException {\r
  73         Resource cp = getPossibleConnectionPoint(graph, flag);\r
  74         return cp == null ? false : graph.isInstanceOf(cp, StructuralResource2.getInstance(graph).ConnectionRelation);\r
  75     }\r
  76 \r
  77     public static Resource getPossibleConnectionPoint(ReadGraph graph, Resource flag) throws DatabaseException {\r
  78         DiagramResource DIA = DiagramResource.getInstance(graph);\r
  79         return graph.getPossibleObject(flag, DIA.IsLiftedAs);\r
  80     }\r
  81 \r
  82     public static Resource getPossibleCounterpart(ReadGraph graph, Resource flag) throws DatabaseException {\r
  83         DiagramResource DIA = DiagramResource.getInstance(graph);\r
  84         for (Resource connectionJoin : graph.getObjects(flag, DIA.FlagIsJoinedBy)) {\r
  85             for (Resource otherFlag : graph.getObjects(connectionJoin, DIA.JoinsFlag)) {\r
  86                 if (flag.equals(otherFlag))\r
  87                     continue;\r
  88                 return otherFlag;\r
  89             }\r
  90         }\r
  91         return null;\r
  92     }\r
  93 \r
  94     public static int countCounterparts(ReadGraph graph, Resource flag) throws DatabaseException {\r
  95         DiagramResource DIA = DiagramResource.getInstance(graph);\r
  96         int result = 0;\r
  97         for (Resource connectionJoin : graph.getObjects(flag, DIA.FlagIsJoinedBy)) {\r
  98             for (Resource otherFlag : graph.getObjects(connectionJoin, DIA.JoinsFlag)) {\r
  99                 if (flag.equals(otherFlag))\r
 100                     continue;\r
 101                 ++result;\r
 102             }\r
 103         }\r
 104         return result;\r
 105     }\r
 106 \r
 107     public static Set<Resource> getCounterparts(ReadGraph graph, Resource flag, Set<Resource> result) throws DatabaseException {\r
 108         DiagramResource DIA = DiagramResource.getInstance(graph);\r
 109         for (Resource connectionJoin : graph.getObjects(flag, DIA.FlagIsJoinedBy)) {\r
 110             for (Resource otherFlag : graph.getObjects(connectionJoin, DIA.JoinsFlag)) {\r
 111                 if (flag.equals(otherFlag))\r
 112                     continue;\r
 113                 result.add(otherFlag);\r
 114             }\r
 115         }\r
 116         return result;\r
 117     }\r
 118 \r
 119     public static int forCounterparts(ReadGraph graph, Resource flag, DbConsumer<Resource> procedure) throws DatabaseException {\r
 120         DiagramResource DIA = DiagramResource.getInstance(graph);\r
 121         int count = 0;\r
 122         for (Resource connectionJoin : graph.getObjects(flag, DIA.FlagIsJoinedBy)) {\r
 123             for (Resource otherFlag : graph.getObjects(connectionJoin, DIA.JoinsFlag)) {\r
 124                 if (!flag.equals(otherFlag)) {\r
 125                     procedure.accept(otherFlag);\r
 126                     ++count;\r
 127                 }\r
 128             }\r
 129         }\r
 130         return count;\r
 131     }\r
 132 \r
 133     /**\r
 134      * Returns all flags that are joined with the given flag including the flag given as parameter.\r
 135      */\r
 136     public static Set<Resource> getCounterparts(ReadGraph graph, Resource flag) throws DatabaseException {\r
 137         return getCounterparts(graph, flag, new HashSet<Resource>(8));\r
 138     }\r
 139 \r
 140     public static Set<Resource> getCounterpartsAndSelf(ReadGraph graph, Resource flag, Set<Resource> result) throws DatabaseException {\r
 141         DiagramResource DIA = DiagramResource.getInstance(graph);\r
 142         for (Resource connectionJoin : graph.getObjects(flag, DIA.FlagIsJoinedBy)) {\r
 143             for (Resource otherFlag : graph.getObjects(connectionJoin, DIA.JoinsFlag)) {\r
 144                 result.add(otherFlag);\r
 145             }\r
 146         }\r
 147         if (result.size() == 0)\r
 148                 result.add(flag);\r
 149         return result;\r
 150     }\r
 151 \r
 152     public static Set<Resource> getCounterpartsAndSelf(ReadGraph graph, Resource flag) throws DatabaseException {\r
 153         return getCounterpartsAndSelf(graph, flag, new HashSet<Resource>(8));\r
 154     }\r
 155     /**\r
 156      * @param g\r
 157      * @param flag\r
 158      * @param otherFlag\r
 159      * @return the created DIA.ConnectionJoin instance\r
 160      * @throws DatabaseException\r
 161      */\r
 162     public static Resource join(WriteGraph g, Resource flag, Resource otherFlag) throws DatabaseException {\r
 163         DiagramResource DIA = DiagramResource.getInstance(g);\r
 164         StructuralResource2 STR = StructuralResource2.getInstance(g);\r
 165         Resource connectionJoin = g.newResource();\r
 166         Layer0 L0 = Layer0.getInstance(g);\r
 167         g.claim(connectionJoin, L0.InstanceOf, null, STR.ConnectionJoin);\r
 168         g.claim(connectionJoin, DIA.JoinsFlag, flag);\r
 169         g.claim(connectionJoin, DIA.JoinsFlag, otherFlag);\r
 170 \r
 171         IActivationManager manager = g.getService(IActivationManager.class);\r
 172         for(Resource diagram : OrderedSetUtils.getSubjects(g, flag))\r
 173             manager.activateOnce(diagram);\r
 174         for(Resource diagram : OrderedSetUtils.getSubjects(g, otherFlag))\r
 175             manager.activateOnce(diagram);\r
 176         return connectionJoin;\r
 177     }\r
 178 \r
 179     public static void disconnectFlag(WriteGraph graph, Resource flag) throws DatabaseException {\r
 180         // Remove any :ConnectionJoin's this flag is joined by\r
 181         // if there's less than two flags joined by the join.\r
 182         DiagramResource DIA = DiagramResource.getInstance(graph);\r
 183         StructuralResource2 STR = StructuralResource2.getInstance(graph);\r
 184         THashSet<Resource> affectedConnections = new THashSet<Resource>(4); \r
 185         for (Resource connectionJoin : graph.getObjects(flag, DIA.FlagIsJoinedBy)) {\r
 186             affectedConnections.addAll(graph.getObjects(connectionJoin, STR.Joins));\r
 187             graph.deny(flag, DIA.FlagIsJoinedBy, connectionJoin);\r
 188             if (graph.getObjects(connectionJoin, DIA.JoinsFlag).size() < 2) {\r
 189                 RemoverUtil.remove(graph, connectionJoin);\r
 190             }\r
 191         }\r
 192         fixBindsStatements(graph, STR, DIA, affectedConnections);\r
 193     }\r
 194 \r
 195     private static boolean isBindsStatementLegimite(ReadGraph graph,\r
 196             DiagramResource DIA,\r
 197             Resource connection,\r
 198             Resource connectionRelation) throws DatabaseException {\r
 199         ModelingResources MOD = ModelingResources.getInstance(graph);\r
 200         for(Resource diagramConnection : graph.getObjects(connection, MOD.ConnectionToDiagramConnection))\r
 201             for(Resource connector : graph.getObjects(diagramConnection, DIA.HasConnector))\r
 202                 for(Resource flag : graph.getObjects(connector, DIA.Flag_ConnectionPoint_Inverse))\r
 203                     if(graph.hasStatement(flag, DIA.IsLiftedAs, connectionRelation))\r
 204                         return true;\r
 205         return false;\r
 206     }\r
 207     \r
 208     private static void fixBindsStatements(WriteGraph graph, StructuralResource2 STR, DiagramResource DIA, Collection<Resource> connections) throws DatabaseException {\r
 209         for(Resource connection : connections)\r
 210             for(Resource connectionRelation : graph.getObjects(connection, STR.Binds))\r
 211                 if(!isBindsStatementLegimite(graph, DIA, connection, connectionRelation))\r
 212                     graph.denyStatement(connection, STR.Binds, connectionRelation);\r
 213     }\r
 214     \r
 215     public static void fixBindsStatements(WriteGraph graph, Resource connection) throws DatabaseException {\r
 216         if(connection == null)\r
 217             return;\r
 218         DiagramResource DIA = DiagramResource.getInstance(graph);\r
 219         StructuralResource2 STR = StructuralResource2.getInstance(graph);\r
 220         for(Resource connectionRelation : graph.getObjects(connection, STR.Binds))\r
 221             if(!isBindsStatementLegimite(graph, DIA, connection, connectionRelation))\r
 222                 graph.denyStatement(connection, STR.Binds, connectionRelation);\r
 223     }\r
 224 \r
 225     public static void disconnectFlag(WriteGraph graph, Resource flag, Resource fromFlag) throws DatabaseException {\r
 226         DiagramResource DIA = DiagramResource.getInstance(graph);\r
 227         StructuralResource2 STR = StructuralResource2.getInstance(graph);\r
 228         THashSet<Resource> affectedConnections = new THashSet<Resource>(4); \r
 229         for (Resource connectionJoin : graph.getObjects(flag, DIA.FlagIsJoinedBy)) {\r
 230             affectedConnections.addAll(graph.getObjects(connectionJoin, STR.Joins));\r
 231             for (Resource otherFlag : graph.getObjects(connectionJoin, DIA.JoinsFlag)) {\r
 232                 if (flag.equals(otherFlag))\r
 233                     continue;\r
 234                 if (otherFlag.equals(fromFlag)) {\r
 235                     graph.deny(connectionJoin, DIA.JoinsFlag, DIA.FlagIsJoinedBy, flag);\r
 236                     if (graph.getObjects(connectionJoin, DIA.JoinsFlag).size() < 2) {\r
 237                         RemoverUtil.remove(graph, connectionJoin);\r
 238                     }\r
 239                 }\r
 240             }\r
 241         }\r
 242         fixBindsStatements(graph, STR, DIA, affectedConnections);\r
 243     }\r
 244 \r
 245     public static void removeFlag(WriteGraph graph, Resource flag) throws DatabaseException {\r
 246         disconnectFlag(graph, flag);\r
 247         RemoverUtil.remove(graph, flag);\r
 248     }\r
 249 \r
 250     /**\r
 251      * @param graph\r
 252      * @param flag\r
 253      * @return <code>true</code> only if the specified flag is joined only\r
 254      *         within the single diagram it resides in\r
 255      * @throws DatabaseException\r
 256      */\r
 257     public static boolean isJoinedInSingleDiagram(ReadGraph graph, Resource flag) throws DatabaseException {\r
 258         Collection<Resource> counterparts = getCounterparts(graph, flag);\r
 259         if (counterparts.isEmpty())\r
 260             return false;\r
 261         DiagramResource DIA = DiagramResource.getInstance(graph);\r
 262         Collection<Resource> flagDiagrams = OrderedSetUtils.getOwnerLists(graph, flag, DIA.Diagram);\r
 263         for (Resource counterpart : counterparts) {\r
 264             if (Collections.disjoint(flagDiagrams,\r
 265                     OrderedSetUtils.getOwnerLists(graph, counterpart, DIA.Diagram)))\r
 266                 return false;\r
 267         }\r
 268         return true;\r
 269     }\r
 270 \r
 271     public static boolean isJoinedBetweenDiagrams(ReadGraph graph, Resource flag) throws DatabaseException {\r
 272         DiagramResource DIA = DiagramResource.getInstance(graph);\r
 273         Collection<Resource> counterparts = getCounterparts(graph, flag);\r
 274         if (counterparts.isEmpty())\r
 275             return false;\r
 276         Collection<Resource> flagDiagrams = OrderedSetUtils.getOwnerLists(graph, flag, DIA.Diagram);\r
 277         for (Resource counterpart : counterparts)\r
 278             if (Collections.disjoint(\r
 279                     flagDiagrams,\r
 280                     OrderedSetUtils.getOwnerLists(graph, counterpart, DIA.Diagram)))\r
 281                 return true;\r
 282         return false;\r
 283     }\r
 284 \r
 285     /**\r
 286      * @return\r
 287      * @throws DatabaseException\r
 288      */\r
 289     public static FlagClass.Type getFlagType(ReadGraph graph, Resource flag) throws DatabaseException {\r
 290         return getFlagType(graph, flag, null);\r
 291     }\r
 292 \r
 293     /**\r
 294      * @return\r
 295      * @throws DatabaseException\r
 296      */\r
 297     public static FlagClass.Type getFlagType(ReadGraph graph, Resource flag, FlagClass.Type defaultFlagType) throws DatabaseException {\r
 298         DiagramResource DIA = DiagramResource.getInstance(graph);\r
 299         Resource type = graph.getPossibleObject(flag, DIA.HasFlagType);\r
 300         return DiagramGraphUtil.toFlagType(DIA, type, defaultFlagType);\r
 301     }\r
 302 \r
 303     /**\r
 304      * @return\r
 305      * @throws DatabaseException\r
 306      */\r
 307     public static void setFlagType(WriteGraph graph, Resource flag, FlagClass.Type type) throws DatabaseException {\r
 308         DiagramResource DIA = DiagramResource.getInstance(graph);\r
 309         Resource flagType = DiagramGraphUtil.toFlagTypeResource(DIA, type);\r
 310         Resource existingFlagType = graph.getPossibleObject(flag, DIA.HasFlagType);\r
 311         if (flagType.equals(existingFlagType))\r
 312             return;\r
 313         graph.deny(flag, DIA.HasFlagType);\r
 314 //        Resource defaultFlagType = graph.getPossibleObject(flag, DIA.HasFlagType);\r
 315 //        if (flagType.equals(defaultFlagType))\r
 316 //            return;\r
 317         graph.claim(flag, DIA.HasFlagType, null, flagType);\r
 318     }\r
 319 \r
 320     public static Set<Resource> findDirectlyConnectedComponents(ReadGraph graph, Resource flag) throws DatabaseException {\r
 321         StructuralResource2 STR = StructuralResource2.getInstance(graph);\r
 322         ModelingResources MOD = ModelingResources.getInstance(graph);\r
 323 \r
 324         for (Resource connector : graph.getObjects(flag, STR.IsConnectedTo)) {\r
 325             Resource diagramConnection = ConnectionUtil.tryGetConnection(graph, connector);\r
 326             if (diagramConnection == null)\r
 327                 continue;\r
 328 \r
 329             Resource connection = graph.getPossibleObject(diagramConnection, MOD.DiagramConnectionToConnection);\r
 330             if (connection == null)\r
 331                 continue;\r
 332 \r
 333             return new HashSet<Resource>(graph.getObjects(connection, STR.Connects));\r
 334         }\r
 335         return Collections.emptySet();\r
 336     }\r
 337 \r
 338     public static Set<Terminal> findDirectlyConnectedTerminals(ReadGraph graph, Resource flag) throws DatabaseException {\r
 339         StructuralResource2 STR = StructuralResource2.getInstance(graph);\r
 340         ModelingResources MOD = ModelingResources.getInstance(graph);\r
 341 \r
 342         for (Resource connector : graph.getObjects(flag, STR.IsConnectedTo)) {\r
 343             Resource diagramConnection = ConnectionUtil.tryGetConnection(graph, connector);\r
 344             if (diagramConnection == null)\r
 345                 continue;\r
 346 \r
 347             Resource connection = graph.getPossibleObject(diagramConnection, MOD.DiagramConnectionToConnection);\r
 348             if (connection == null)\r
 349                 continue;\r
 350 \r
 351             Set<Terminal> terminals = new HashSet<Terminal>();\r
 352             for (Statement stm : graph.getStatements(connection, STR.Connects)) {\r
 353                 terminals.add(new Terminal(stm.getObject(), graph.getInverse(stm.getPredicate())));\r
 354             }\r
 355             return terminals;\r
 356         }\r
 357         return Collections.emptySet();\r
 358     }\r
 359 \r
 360     /**\r
 361      * @param graph\r
 362      * @param flag\r
 363      * @return set of (module, terminal relation, attachment relation) triples\r
 364      * @throws DatabaseException\r
 365      */\r
 366     public static Set<Triple<Resource,Resource,Resource>> findDirectlyConnectedElementTerminals(ReadGraph graph, Resource toElement) throws DatabaseException {\r
 367         StructuralResource2 STR = StructuralResource2.getInstance(graph);\r
 368         DiagramResource DIA = DiagramResource.getInstance(graph);\r
 369 \r
 370         Set<Triple<Resource, Resource, Resource>> result = new HashSet<Triple<Resource, Resource, Resource>>();\r
 371 \r
 372         for (Resource connector : graph.getObjects(toElement, STR.IsConnectedTo)) {\r
 373             Resource diagramConnection = ConnectionUtil.tryGetConnection(graph, connector);\r
 374             if (diagramConnection == null)\r
 375                 continue;\r
 376 \r
 377            //System.out.println("DC: " + NameUtils.getSafeName(graph, diagramConnection, true));\r
 378 \r
 379             for (Statement connectionToConnector : graph.getStatements(diagramConnection, DIA.HasConnector)) {\r
 380                 Resource connector2 = connectionToConnector.getObject();\r
 381                 if (connector.equals(connector2))\r
 382                     continue;\r
 383 \r
 384                 Resource attachmentRelation = connectionToConnector.getPredicate();\r
 385 \r
 386                 // Get element + terminal relation\r
 387                 for (Statement connectorToElement : graph.getStatements(connector2, STR.Connects)) {\r
 388                     Resource element = connectorToElement.getObject();\r
 389                     if (diagramConnection.equals(element))\r
 390                         continue;\r
 391                     Resource terminalRelation = graph.getPossibleInverse(connectorToElement.getPredicate());\r
 392                     if (terminalRelation == null)\r
 393                         continue;\r
 394                     result.add(Triple.make(element, terminalRelation, attachmentRelation));\r
 395                 }\r
 396             }\r
 397         }\r
 398 \r
 399         return result;\r
 400     }\r
 401     \r
 402     public static Variable getPossibleFlagSignal(ReadGraph graph, Variable configuration, Resource flag, Resource type) throws DatabaseException {\r
 403 \r
 404         DiagramResource DIA = DiagramResource.getInstance(graph);\r
 405         ModelingResources MOD = ModelingResources.getInstance(graph);\r
 406 \r
 407         Resource component = graph.getPossibleObject(flag, MOD.ElementToComponent);\r
 408         if (component != null && graph.isInstanceOf(component, type)) {\r
 409             Variable v = configuration.browsePossible(graph, component);\r
 410             if (v != null)\r
 411                 return v;\r
 412         }\r
 413 \r
 414         Resource connector = graph.getPossibleObject(flag, DIA.Flag_ConnectionPoint);\r
 415         if(connector == null) return null;\r
 416         \r
 417         Resource connection = graph.sync(new PossibleObjectWithType(connector, DIA.IsConnectorOf, DIA.Connection));\r
 418         if(connection == null) return null;\r
 419         \r
 420         return getPossibleConnectionSignal(graph, configuration, connection, type);\r
 421 \r
 422     }\r
 423     \r
 424     public static Variable getPossibleConnectionSignal(ReadGraph graph, Variable configuration, Resource connection, Resource type) throws DatabaseException {\r
 425         \r
 426         return graph.syncRequest(new PossibleConnectionSignal(configuration, connection, type), TransientCacheListener.<Variable>instance());\r
 427         \r
 428     }\r
 429     \r
 430     public static class PossibleConnectionSignal extends TernaryRead<Variable, Resource, Resource, Variable> {\r
 431 \r
 432                 public PossibleConnectionSignal(Variable configuration, Resource connection, Resource type) {\r
 433                         super(configuration, connection, type);\r
 434                 }\r
 435 \r
 436                 @Override\r
 437                 public Variable perform(ReadGraph graph) throws DatabaseException {\r
 438                         \r
 439                 ModelingResources MOD = ModelingResources.getInstance(graph);\r
 440                 DiagramResource DIA = DiagramResource.getInstance(graph);\r
 441 \r
 442                 Resource connection = parameter2;\r
 443                 Resource mapped = graph.getPossibleObject(connection, MOD.DiagramConnectionToConnection);\r
 444                 if(mapped != null) connection = mapped;\r
 445 \r
 446                 for (ResourceWithContext module : ConnectionBrowser.findConnectedComponents(graph, connection, parameter)) {\r
 447                         if (graph.isInstanceOf(module.getResource(), parameter3)) {\r
 448                                 Resource element = graph.getPossibleObject(module.getResource(), MOD.ComponentToElement);\r
 449                                 if(element != null) {\r
 450                                         if(graph.isInstanceOf(element, DIA.Flag) || graph.isInstanceOf(element, DIA.Connection))\r
 451                                                 return module.getContext();\r
 452                                 } else {\r
 453                                         System.err.println("no element for " + NameUtils.getSafeName(graph, module.getResource()));\r
 454                                 }\r
 455                         }\r
 456                 }\r
 457                 \r
 458                 return null;\r
 459                         \r
 460                 }\r
 461         \r
 462     }\r
 463 \r
 464     /**\r
 465      * Verifies that the specified flag has the correct flag type as resolved\r
 466      * through {@link IFlagType}. Please note that using this method assumes\r
 467      * that the diagram mapping has been executed and the configuration is in\r
 468      * sync with the diagram.\r
 469      * \r
 470      * @param graph\r
 471      * @param modelingRules\r
 472      *            modeling rules for getting the connection type of the flag for\r
 473      *            retrieving {@link IFlagTypeReader} and {@link IFlagType}\r
 474      * @param flag\r
 475      *            the flag for to verify type\r
 476      * @param flagType\r
 477      *            the current type of the flag\r
 478      * @throws DatabaseException\r
 479      */\r
 480     public static void verifyFlagType(WriteGraph graph, IModelingRules modelingRules, Resource flag, FlagClass.Type flagType) throws DatabaseException {\r
 481         if (modelingRules != null) {\r
 482             // Follows the flag loading logic in FlagClassFactory.\r
 483             IFlagTypeReader ftr = null;\r
 484             Resource connectionType = DiagramGraphUtil.getConnectionTypeForFlag(graph, flag);\r
 485             if (connectionType != null) {\r
 486                 //System.out.println("FLAG " + NameUtils.getSafeName(g, flag) + ", CONNECTION TYPE " + NameUtils.getSafeName(g, connectionType));\r
 487                 ftr = graph.getPossibleAdapter(connectionType, IFlagTypeReader.class);\r
 488             }\r
 489             if (ftr == null) {\r
 490                 //System.out.println("FLAG " + NameUtils.getSafeName(g, flag) + ", NO CONNECTION TYPE");\r
 491                 ftr = graph.getPossibleAdapter(flag, IFlagTypeReader.class);\r
 492             }\r
 493 \r
 494             if (ftr != null) {\r
 495                 IFlagType ft = ftr.read(graph, flag, modelingRules);\r
 496                 if (ft != null) {\r
 497                     FlagInfo info = ft.getInfo(graph);\r
 498                     if (flagType != info.getType()) {\r
 499                         FlagUtil.setFlagType(graph, flag, info.getType());\r
 500                     }\r
 501                 }\r
 502             }\r
 503         }\r
 504     }\r
 505     \r
 506     public static List<Resource> setFlagExternal (WriteGraph graph, List<Resource> flags, boolean external) throws ServiceException {\r
 507         \r
 508         DiagramResource DIA = DiagramResource.getInstance(graph);\r
 509         for (Resource flag : flags) {\r
 510                 if (external)\r
 511                         graph.claim(flag, DIA.ExternalFlag, DIA.ExternalFlag, flag);\r
 512                 else\r
 513                         graph.deny(flag, DIA.ExternalFlag);\r
 514         }\r
 515         return flags;\r
 516     }\r
 517 \r
 518 \r
 519 }\r