Skip to content
This repository was archived by the owner on Oct 7, 2025. It is now read-only.

Commit 1ec07c9

Browse files
EntenwilliEntenwilli
committed
feat(dfd-models): implement expected violations for dfd models
1 parent dfc296a commit 1ec07c9

31 files changed

+234
-212
lines changed

bundles/org.dataflowanalysis.examplemodels/models/dfd/Branching/BranchingTest.datadictionary renamed to bundles/org.dataflowanalysis.examplemodels/models/dfd/Branching/default.datadictionary

File renamed without changes.

bundles/org.dataflowanalysis.examplemodels/models/dfd/Branching/BranchingTest.dataflowdiagram renamed to bundles/org.dataflowanalysis.examplemodels/models/dfd/Branching/default.dataflowdiagram

Lines changed: 22 additions & 22 deletions
Original file line numberDiff line numberDiff line change
@@ -1,47 +1,47 @@
11
<?xml version="1.0" encoding="UTF-8"?>
22
<dataflowdiagram:DataFlowDiagram xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:dataflowdiagram="http://dataflowanalysis.org/dfd/dataflowdiagram" id="_qEHQgKwKEe6UwqXXdLN7uw">
33
<flows id="_ToxPYKwLEe6UwqXXdLN7uw" entityName="in2branch1.1" sourceNode="_t3XfsawKEe6UwqXXdLN7uw" destinationNode="_8Jb3I6wKEe6UwqXXdLN7uw">
4-
<destinationPin href="BranchingTest.datadictionary#_bwK-4KwMEe6UwqXXdLN7uw"/>
5-
<sourcePin href="BranchingTest.datadictionary#_IZmy0awMEe6UwqXXdLN7uw"/>
4+
<destinationPin href="default.datadictionary#_bwK-4KwMEe6UwqXXdLN7uw"/>
5+
<sourcePin href="default.datadictionary#_IZmy0awMEe6UwqXXdLN7uw"/>
66
</flows>
77
<flows id="_UGXKUKwLEe6UwqXXdLN7uw" entityName="in2branch1.2" sourceNode="_t3XfsawKEe6UwqXXdLN7uw" destinationNode="_9l0Vk6wKEe6UwqXXdLN7uw">
8-
<destinationPin href="BranchingTest.datadictionary#_lwkFwKwMEe6UwqXXdLN7uw"/>
9-
<sourcePin href="BranchingTest.datadictionary#_IZmy0awMEe6UwqXXdLN7uw"/>
8+
<destinationPin href="default.datadictionary#_lwkFwKwMEe6UwqXXdLN7uw"/>
9+
<sourcePin href="default.datadictionary#_IZmy0awMEe6UwqXXdLN7uw"/>
1010
</flows>
1111
<flows id="_UiV7sKwLEe6UwqXXdLN7uw" entityName="branch1.22branchCombined" sourceNode="_9l0Vk6wKEe6UwqXXdLN7uw" destinationNode="_-GvRU6wKEe6UwqXXdLN7uw">
12-
<destinationPin href="BranchingTest.datadictionary#_tvaysKwMEe6UwqXXdLN7uw"/>
13-
<sourcePin href="BranchingTest.datadictionary#_naPZUawMEe6UwqXXdLN7uw"/>
12+
<destinationPin href="default.datadictionary#_tvaysKwMEe6UwqXXdLN7uw"/>
13+
<sourcePin href="default.datadictionary#_naPZUawMEe6UwqXXdLN7uw"/>
1414
</flows>
1515
<flows id="_U6FtUKwLEe6UwqXXdLN7uw" entityName="branch1.12branchCombined" sourceNode="_8Jb3I6wKEe6UwqXXdLN7uw" destinationNode="_-GvRU6wKEe6UwqXXdLN7uw">
16-
<destinationPin href="BranchingTest.datadictionary#_sdTDgKwMEe6UwqXXdLN7uw"/>
17-
<sourcePin href="BranchingTest.datadictionary#_eH7gcawMEe6UwqXXdLN7uw"/>
16+
<destinationPin href="default.datadictionary#_sdTDgKwMEe6UwqXXdLN7uw"/>
17+
<sourcePin href="default.datadictionary#_eH7gcawMEe6UwqXXdLN7uw"/>
1818
</flows>
1919
<flows id="_VkzeQKwLEe6UwqXXdLN7uw" entityName="in22branchCombinedPin1" sourceNode="_OEFe0awLEe6UwqXXdLN7uw" destinationNode="_-GvRU6wKEe6UwqXXdLN7uw">
20-
<destinationPin href="BranchingTest.datadictionary#_tvaysKwMEe6UwqXXdLN7uw"/>
21-
<sourcePin href="BranchingTest.datadictionary#_02EsUawMEe6UwqXXdLN7uw"/>
20+
<destinationPin href="default.datadictionary#_tvaysKwMEe6UwqXXdLN7uw"/>
21+
<sourcePin href="default.datadictionary#_02EsUawMEe6UwqXXdLN7uw"/>
2222
</flows>
2323
<flows id="_d0v7MKwLEe6UwqXXdLN7uw" entityName="in22branchCombinedPin2" sourceNode="_OEFe0awLEe6UwqXXdLN7uw" destinationNode="_-GvRU6wKEe6UwqXXdLN7uw">
24-
<destinationPin href="BranchingTest.datadictionary#_sdTDgKwMEe6UwqXXdLN7uw"/>
25-
<sourcePin href="BranchingTest.datadictionary#_02EsUawMEe6UwqXXdLN7uw"/>
24+
<destinationPin href="default.datadictionary#_sdTDgKwMEe6UwqXXdLN7uw"/>
25+
<sourcePin href="default.datadictionary#_02EsUawMEe6UwqXXdLN7uw"/>
2626
</flows>
2727
<nodes xsi:type="dataflowdiagram:External" id="_t3XfsawKEe6UwqXXdLN7uw" entityName="in">
28-
<behavior href="BranchingTest.datadictionary#_4Jbv8awLEe6UwqXXdLN7uw"/>
29-
<properties href="BranchingTest.datadictionary#_RpAZsLCCEe6ZXOD4RpC-KQ"/>
28+
<behavior href="default.datadictionary#_4Jbv8awLEe6UwqXXdLN7uw"/>
29+
<properties href="default.datadictionary#_RpAZsLCCEe6ZXOD4RpC-KQ"/>
3030
</nodes>
3131
<nodes xsi:type="dataflowdiagram:Process" id="_8Jb3I6wKEe6UwqXXdLN7uw" entityName="branch1.1">
32-
<behavior href="BranchingTest.datadictionary#_4rR4wawLEe6UwqXXdLN7uw"/>
33-
<properties href="BranchingTest.datadictionary#_RpAZsLCCEe6ZXOD4RpC-KQ"/>
32+
<behavior href="default.datadictionary#_4rR4wawLEe6UwqXXdLN7uw"/>
33+
<properties href="default.datadictionary#_RpAZsLCCEe6ZXOD4RpC-KQ"/>
3434
</nodes>
3535
<nodes xsi:type="dataflowdiagram:Process" id="_9l0Vk6wKEe6UwqXXdLN7uw" entityName="branch1.2">
36-
<behavior href="BranchingTest.datadictionary#_5TfvUawLEe6UwqXXdLN7uw"/>
37-
<properties href="BranchingTest.datadictionary#_RpAZsLCCEe6ZXOD4RpC-KQ"/>
36+
<behavior href="default.datadictionary#_5TfvUawLEe6UwqXXdLN7uw"/>
37+
<properties href="default.datadictionary#_RpAZsLCCEe6ZXOD4RpC-KQ"/>
3838
</nodes>
3939
<nodes xsi:type="dataflowdiagram:Process" id="_-GvRU6wKEe6UwqXXdLN7uw" entityName="branchCombined">
40-
<behavior href="BranchingTest.datadictionary#_59RsIawLEe6UwqXXdLN7uw"/>
41-
<properties href="BranchingTest.datadictionary#_RpAZsLCCEe6ZXOD4RpC-KQ"/>
40+
<behavior href="default.datadictionary#_59RsIawLEe6UwqXXdLN7uw"/>
41+
<properties href="default.datadictionary#_RpAZsLCCEe6ZXOD4RpC-KQ"/>
4242
</nodes>
4343
<nodes xsi:type="dataflowdiagram:External" id="_OEFe0awLEe6UwqXXdLN7uw" entityName="in2">
44-
<behavior href="BranchingTest.datadictionary#_6ZSSsawLEe6UwqXXdLN7uw"/>
45-
<properties href="BranchingTest.datadictionary#_RpAZsLCCEe6ZXOD4RpC-KQ"/>
44+
<behavior href="default.datadictionary#_6ZSSsawLEe6UwqXXdLN7uw"/>
45+
<properties href="default.datadictionary#_RpAZsLCCEe6ZXOD4RpC-KQ"/>
4646
</nodes>
4747
</dataflowdiagram:DataFlowDiagram>

bundles/org.dataflowanalysis.examplemodels/models/dfd/ComplexPseudoCycle/complexPseudoCycle.datadictionary renamed to bundles/org.dataflowanalysis.examplemodels/models/dfd/ComplexPseudoCycle/default.datadictionary

File renamed without changes.

bundles/org.dataflowanalysis.examplemodels/models/dfd/ComplexPseudoCycle/complexPseudoCycle.dataflowdiagram renamed to bundles/org.dataflowanalysis.examplemodels/models/dfd/ComplexPseudoCycle/default.dataflowdiagram

Lines changed: 17 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -1,42 +1,42 @@
11
<?xml version="1.0" encoding="ASCII"?>
22
<dataflowdiagram:DataFlowDiagram xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:dataflowdiagram="http://dataflowanalysis.org/dfd/dataflowdiagram" id="_g1DwgHjdEe-E8p4P7-IlcA">
33
<flows id="b9rh1v" entityName="f1" sourceNode="x93g98" destinationNode="jfgq27">
4-
<destinationPin href="complexPseudoCycle.datadictionary#e0fxv8"/>
5-
<sourcePin href="complexPseudoCycle.datadictionary#eq8j4"/>
4+
<destinationPin href="default.datadictionary#e0fxv8"/>
5+
<sourcePin href="default.datadictionary#eq8j4"/>
66
</flows>
77
<flows id="f9zuy8" entityName="f2" sourceNode="jfgq27" destinationNode="svgex9">
8-
<destinationPin href="complexPseudoCycle.datadictionary#cyiv7q"/>
9-
<sourcePin href="complexPseudoCycle.datadictionary#6i23z"/>
8+
<destinationPin href="default.datadictionary#cyiv7q"/>
9+
<sourcePin href="default.datadictionary#6i23z"/>
1010
</flows>
1111
<flows id="baj4p7" entityName="f3" sourceNode="svgex9" destinationNode="4fd1d4">
12-
<destinationPin href="complexPseudoCycle.datadictionary#y852wl"/>
13-
<sourcePin href="complexPseudoCycle.datadictionary#1zk9w"/>
12+
<destinationPin href="default.datadictionary#y852wl"/>
13+
<sourcePin href="default.datadictionary#1zk9w"/>
1414
</flows>
1515
<flows id="de602" entityName="f4" sourceNode="4fd1d4" destinationNode="jfgq27">
16-
<destinationPin href="complexPseudoCycle.datadictionary#6da8tn"/>
17-
<sourcePin href="complexPseudoCycle.datadictionary#zgf8mf"/>
16+
<destinationPin href="default.datadictionary#6da8tn"/>
17+
<sourcePin href="default.datadictionary#zgf8mf"/>
1818
</flows>
1919
<flows id="vpi28i" entityName="f6" sourceNode="svgex9" destinationNode="n07e9">
20-
<destinationPin href="complexPseudoCycle.datadictionary#foyro"/>
21-
<sourcePin href="complexPseudoCycle.datadictionary#uz2bu6"/>
20+
<destinationPin href="default.datadictionary#foyro"/>
21+
<sourcePin href="default.datadictionary#uz2bu6"/>
2222
</flows>
2323
<flows id="ryjf3b" entityName="f5" sourceNode="jfgq27" destinationNode="svgex9">
24-
<destinationPin href="complexPseudoCycle.datadictionary#7bviym"/>
25-
<sourcePin href="complexPseudoCycle.datadictionary#y9m0qi"/>
24+
<destinationPin href="default.datadictionary#7bviym"/>
25+
<sourcePin href="default.datadictionary#y9m0qi"/>
2626
</flows>
2727
<nodes xsi:type="dataflowdiagram:Process" id="jfgq27" entityName="Function">
28-
<behavior href="complexPseudoCycle.datadictionary#_g13BwHjdEe-E8p4P7-IlcA"/>
28+
<behavior href="default.datadictionary#_g13BwHjdEe-E8p4P7-IlcA"/>
2929
</nodes>
3030
<nodes xsi:type="dataflowdiagram:Process" id="svgex9" entityName="Function">
31-
<behavior href="complexPseudoCycle.datadictionary#_g1428XjdEe-E8p4P7-IlcA"/>
31+
<behavior href="default.datadictionary#_g1428XjdEe-E8p4P7-IlcA"/>
3232
</nodes>
3333
<nodes xsi:type="dataflowdiagram:Process" id="4fd1d4" entityName="Function">
34-
<behavior href="complexPseudoCycle.datadictionary#_g14293jdEe-E8p4P7-IlcA"/>
34+
<behavior href="default.datadictionary#_g14293jdEe-E8p4P7-IlcA"/>
3535
</nodes>
3636
<nodes xsi:type="dataflowdiagram:External" id="x93g98" entityName="Input-output">
37-
<behavior href="complexPseudoCycle.datadictionary#_g15eAXjdEe-E8p4P7-IlcA"/>
37+
<behavior href="default.datadictionary#_g15eAXjdEe-E8p4P7-IlcA"/>
3838
</nodes>
3939
<nodes xsi:type="dataflowdiagram:Store" id="n07e9" entityName="Storage">
40-
<behavior href="complexPseudoCycle.datadictionary#_g16FEXjdEe-E8p4P7-IlcA"/>
40+
<behavior href="default.datadictionary#_g16FEXjdEe-E8p4P7-IlcA"/>
4141
</nodes>
4242
</dataflowdiagram:DataFlowDiagram>

bundles/org.dataflowanalysis.examplemodels/models/dfd/DeadOutPin/DeadOutPin.datadictionary renamed to bundles/org.dataflowanalysis.examplemodels/models/dfd/DeadOutPin/default.datadictionary

File renamed without changes.

bundles/org.dataflowanalysis.examplemodels/models/dfd/DeadOutPin/DeadOutPin.dataflowdiagram renamed to bundles/org.dataflowanalysis.examplemodels/models/dfd/DeadOutPin/default.dataflowdiagram

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,13 @@
11
<?xml version="1.0" encoding="UTF-8"?>
22
<dataflowdiagram:DataFlowDiagram xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:dataflowdiagram="http://dataflowanalysis.org/dfd/dataflowdiagram" id="_kHhEUG9cEe-tyf2ezWC1bw">
33
<flows id="_yekCYG9cEe-tyf2ezWC1bw" sourceNode="_o8VeMW9cEe-tyf2ezWC1bw" destinationNode="_qFISQm9cEe-tyf2ezWC1bw">
4-
<destinationPin href="DeadOutPin.datadictionary#_r-QXEG9cEe-tyf2ezWC1bw"/>
5-
<sourcePin href="DeadOutPin.datadictionary#_svhb8W9cEe-tyf2ezWC1bw"/>
4+
<destinationPin href="default.datadictionary#_r-QXEG9cEe-tyf2ezWC1bw"/>
5+
<sourcePin href="default.datadictionary#_svhb8W9cEe-tyf2ezWC1bw"/>
66
</flows>
77
<nodes xsi:type="dataflowdiagram:External" id="_o8VeMW9cEe-tyf2ezWC1bw">
8-
<behavior href="DeadOutPin.datadictionary#_odEIQW9cEe-tyf2ezWC1bw"/>
8+
<behavior href="default.datadictionary#_odEIQW9cEe-tyf2ezWC1bw"/>
99
</nodes>
1010
<nodes xsi:type="dataflowdiagram:Store" id="_qFISQm9cEe-tyf2ezWC1bw">
11-
<behavior href="DeadOutPin.datadictionary#_rFlpsW9cEe-tyf2ezWC1bw"/>
11+
<behavior href="default.datadictionary#_rFlpsW9cEe-tyf2ezWC1bw"/>
1212
</nodes>
1313
</dataflowdiagram:DataFlowDiagram>

bundles/org.dataflowanalysis.examplemodels/models/dfd/Minimal/minimal.datadictionary renamed to bundles/org.dataflowanalysis.examplemodels/models/dfd/Minimal/default.datadictionary

File renamed without changes.

bundles/org.dataflowanalysis.examplemodels/models/dfd/Minimal/minimal.dataflowdiagram renamed to bundles/org.dataflowanalysis.examplemodels/models/dfd/Minimal/default.dataflowdiagram

Lines changed: 18 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -1,39 +1,39 @@
11
<?xml version="1.0" encoding="UTF-8"?>
22
<dataflowdiagram:DataFlowDiagram xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:dataflowdiagram="http://dataflowanalysis.org/dfd/dataflowdiagram" id="_oDSowGtSEe6z7vxuhUjpHQ">
33
<flows id="_dIwGcGtVEe6z7vxuhUjpHQ" sourceNode="_W9DZMWtVEe6z7vxuhUjpHQ" destinationNode="_bU_Cw2tVEe6z7vxuhUjpHQ">
4-
<destinationPin href="minimal.datadictionary#_fecA4GtUEe6z7vxuhUjpHQ"/>
5-
<sourcePin href="minimal.datadictionary#_dLrUEWtUEe6z7vxuhUjpHQ"/>
4+
<destinationPin href="default.datadictionary#_fecA4GtUEe6z7vxuhUjpHQ"/>
5+
<sourcePin href="default.datadictionary#_dLrUEWtUEe6z7vxuhUjpHQ"/>
66
</flows>
77
<flows id="_dbDXYGtVEe6z7vxuhUjpHQ" sourceNode="_W9DZMWtVEe6z7vxuhUjpHQ" destinationNode="_b69do2tVEe6z7vxuhUjpHQ">
8-
<destinationPin href="minimal.datadictionary#_huHkgGtUEe6z7vxuhUjpHQ"/>
9-
<sourcePin href="minimal.datadictionary#_yizpsWtUEe6z7vxuhUjpHQ"/>
8+
<destinationPin href="default.datadictionary#_huHkgGtUEe6z7vxuhUjpHQ"/>
9+
<sourcePin href="default.datadictionary#_yizpsWtUEe6z7vxuhUjpHQ"/>
1010
</flows>
1111
<flows id="_dsRDMGtVEe6z7vxuhUjpHQ" sourceNode="_bU_Cw2tVEe6z7vxuhUjpHQ" destinationNode="_cSl6gmtVEe6z7vxuhUjpHQ">
12-
<destinationPin href="minimal.datadictionary#_l-UOYGtUEe6z7vxuhUjpHQ"/>
13-
<sourcePin href="minimal.datadictionary#_gkjUYWtUEe6z7vxuhUjpHQ"/>
12+
<destinationPin href="default.datadictionary#_l-UOYGtUEe6z7vxuhUjpHQ"/>
13+
<sourcePin href="default.datadictionary#_gkjUYWtUEe6z7vxuhUjpHQ"/>
1414
</flows>
1515
<flows id="_d6vkEGtVEe6z7vxuhUjpHQ" sourceNode="_b69do2tVEe6z7vxuhUjpHQ" destinationNode="_cy7ncmtVEe6z7vxuhUjpHQ">
16-
<destinationPin href="minimal.datadictionary#_nR254GtUEe6z7vxuhUjpHQ"/>
17-
<sourcePin href="minimal.datadictionary#_jgUh8WtUEe6z7vxuhUjpHQ"/>
16+
<destinationPin href="default.datadictionary#_nR254GtUEe6z7vxuhUjpHQ"/>
17+
<sourcePin href="default.datadictionary#_jgUh8WtUEe6z7vxuhUjpHQ"/>
1818
</flows>
1919
<nodes xsi:type="dataflowdiagram:External" id="_W9DZMWtVEe6z7vxuhUjpHQ" entityName="in">
20-
<behavior href="minimal.datadictionary#_W3sC8WtTEe6z7vxuhUjpHQ"/>
21-
<properties href="minimal.datadictionary#_ZMdQAGtVEe6z7vxuhUjpHQ"/>
20+
<behavior href="default.datadictionary#_W3sC8WtTEe6z7vxuhUjpHQ"/>
21+
<properties href="default.datadictionary#_ZMdQAGtVEe6z7vxuhUjpHQ"/>
2222
</nodes>
2323
<nodes xsi:type="dataflowdiagram:Process" id="_bU_Cw2tVEe6z7vxuhUjpHQ" entityName="pro1">
24-
<behavior href="minimal.datadictionary#_YZLD0WtTEe6z7vxuhUjpHQ"/>
25-
<properties href="minimal.datadictionary#_ZMdQAGtVEe6z7vxuhUjpHQ"/>
24+
<behavior href="default.datadictionary#_YZLD0WtTEe6z7vxuhUjpHQ"/>
25+
<properties href="default.datadictionary#_ZMdQAGtVEe6z7vxuhUjpHQ"/>
2626
</nodes>
2727
<nodes xsi:type="dataflowdiagram:Process" id="_b69do2tVEe6z7vxuhUjpHQ" entityName="pro2">
28-
<behavior href="minimal.datadictionary#_HQq1UWtUEe6z7vxuhUjpHQ"/>
29-
<properties href="minimal.datadictionary#_ZMdQAGtVEe6z7vxuhUjpHQ"/>
28+
<behavior href="default.datadictionary#_HQq1UWtUEe6z7vxuhUjpHQ"/>
29+
<properties href="default.datadictionary#_ZMdQAGtVEe6z7vxuhUjpHQ"/>
3030
</nodes>
3131
<nodes xsi:type="dataflowdiagram:Store" id="_cSl6gmtVEe6z7vxuhUjpHQ" entityName="st1">
32-
<behavior href="minimal.datadictionary#_Z1IPAWtUEe6z7vxuhUjpHQ"/>
33-
<properties href="minimal.datadictionary#_ZMdQAGtVEe6z7vxuhUjpHQ"/>
32+
<behavior href="default.datadictionary#_Z1IPAWtUEe6z7vxuhUjpHQ"/>
33+
<properties href="default.datadictionary#_ZMdQAGtVEe6z7vxuhUjpHQ"/>
3434
</nodes>
3535
<nodes xsi:type="dataflowdiagram:Store" id="_cy7ncmtVEe6z7vxuhUjpHQ" entityName="st2">
36-
<behavior href="minimal.datadictionary#_b97ukWtUEe6z7vxuhUjpHQ"/>
37-
<properties href="minimal.datadictionary#_ZMdQAGtVEe6z7vxuhUjpHQ"/>
36+
<behavior href="default.datadictionary#_b97ukWtUEe6z7vxuhUjpHQ"/>
37+
<properties href="default.datadictionary#_ZMdQAGtVEe6z7vxuhUjpHQ"/>
3838
</nodes>
3939
</dataflowdiagram:DataFlowDiagram>

‎bundles/org.dataflowanalysis.examplemodels/models/dfd/OnlineShop/.project‎

Lines changed: 0 additions & 18 deletions
This file was deleted.

bundles/org.dataflowanalysis.examplemodels/models/dfd/OnlineShop/onlineshop.datadictionary renamed to bundles/org.dataflowanalysis.examplemodels/models/dfd/OnlineShop/default.datadictionary

File renamed without changes.

0 commit comments

Comments
 (0)