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