diff options
Diffstat (limited to 'Metrics/Metrics-Calculation/SocialNetwork_plugin')
-rw-r--r-- | Metrics/Metrics-Calculation/SocialNetwork_plugin/src/ca/mcgill/ecse/socialnetwork/runner/Main.java | 39 | ||||
-rw-r--r-- | Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduum/info.csv | 150 |
2 files changed, 18 insertions, 171 deletions
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/src/ca/mcgill/ecse/socialnetwork/runner/Main.java b/Metrics/Metrics-Calculation/SocialNetwork_plugin/src/ca/mcgill/ecse/socialnetwork/runner/Main.java index e1698e5b..261f32cc 100644 --- a/Metrics/Metrics-Calculation/SocialNetwork_plugin/src/ca/mcgill/ecse/socialnetwork/runner/Main.java +++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/src/ca/mcgill/ecse/socialnetwork/runner/Main.java | |||
@@ -4,11 +4,8 @@ import java.io.File; | |||
4 | import java.io.FileNotFoundException; | 4 | import java.io.FileNotFoundException; |
5 | import java.io.PrintStream; | 5 | import java.io.PrintStream; |
6 | import java.util.ArrayList; | 6 | import java.util.ArrayList; |
7 | import java.util.List; | ||
8 | import java.util.Map; | 7 | import java.util.Map; |
9 | 8 | ||
10 | import org.eclipse.viatra.query.runtime.matchers.aggregators.count; | ||
11 | |||
12 | import ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator.app.Domain; | 9 | import ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator.app.Domain; |
13 | import ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator.distance.KSDistance; | 10 | import ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator.distance.KSDistance; |
14 | import ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator.graph.EMFGraph; | 11 | import ca.mcgill.ecse.dslreasoner.realistic.metrics.calculator.graph.EMFGraph; |
@@ -27,16 +24,16 @@ public class Main { | |||
27 | return message; | 24 | return message; |
28 | } | 25 | } |
29 | 26 | ||
30 | private static String configFolder = "yakinduum/"; | 27 | private static String configFolder = "yakinduum/config15/"; |
31 | private static String configFileName = configFolder + "info.csv"; | 28 | private static String configFileName = configFolder + "info_new_metric.csv"; |
32 | private static String aggregateViolationMeasureFileName = configFolder + "aggregateInfo2.csv"; | 29 | private static String aggregateViolationMeasureFileName = configFolder + "aggregateInfo.csv"; |
30 | private static String fileReadFolder = "output/Viatra_100/"; | ||
33 | 31 | ||
34 | public static void main(String args[]) { | 32 | public static void main(String args[]) { |
35 | // try { | ||
36 | 33 | ||
37 | 34 | ||
38 | long begin = System.currentTimeMillis(); | 35 | long begin = System.currentTimeMillis(); |
39 | String message = null;//runWithPath("yakinduGeneration.vsconfig"); | 36 | String message = runWithPath("yakinduGeneration.vsconfig"); |
40 | long elapsed = System.currentTimeMillis() - begin; | 37 | long elapsed = System.currentTimeMillis() - begin; |
41 | 38 | ||
42 | if(message != null) { | 39 | if(message != null) { |
@@ -48,17 +45,17 @@ public class Main { | |||
48 | infoOutput.add(time); | 45 | infoOutput.add(time); |
49 | output.add(infoOutput); | 46 | output.add(infoOutput); |
50 | System.out.println(time); | 47 | System.out.println(time); |
51 | //CsvFileWriter.write(output, configFileName); | 48 | CsvFileWriter.write(output, configFileName); |
52 | 49 | ||
53 | 50 | ||
54 | output = new ArrayList<ArrayList<String>>(); | 51 | output = new ArrayList<ArrayList<String>>(); |
55 | output.add(prepareInfo()); | 52 | output.add(prepareInfo()); |
56 | //CsvFileWriter.append(output, configFileName); | 53 | CsvFileWriter.append(output, configFileName); |
57 | 54 | ||
58 | // for(int i = 0; i < 50; i++) { | 55 | for(int i = 0; i < 50; i++) { |
59 | // singleModelViolationMeasure(i+1); | 56 | generateModel(i+1); |
60 | // } | 57 | } |
61 | aggregateViolationMeasure(50); | 58 | //aggregateViolationMeasure(50); |
62 | System.out.println("Finished"); | 59 | System.out.println("Finished"); |
63 | } | 60 | } |
64 | 61 | ||
@@ -70,7 +67,7 @@ public class Main { | |||
70 | infoOutput.add(run+ ""); | 67 | infoOutput.add(run+ ""); |
71 | infoOutput.addAll(calculateMetric(run)); | 68 | infoOutput.addAll(calculateMetric(run)); |
72 | 69 | ||
73 | YakinduumModel model = new YakinduumModel("output/Viatra_100/run"+run+"/"+ filename); | 70 | YakinduumModel model = new YakinduumModel(fileReadFolder +"run" +run + "/" + filename); |
74 | int violationCount = ViolationCheck.calculateViolationCounts(model.yakinduum); | 71 | int violationCount = ViolationCheck.calculateViolationCounts(model.yakinduum); |
75 | infoOutput.add(violationCount + ""); | 72 | infoOutput.add(violationCount + ""); |
76 | 73 | ||
@@ -78,18 +75,18 @@ public class Main { | |||
78 | 75 | ||
79 | //save model to another directory | 76 | //save model to another directory |
80 | model.save(configFolder + run + ".xmi"); | 77 | model.save(configFolder + run + ".xmi"); |
81 | 78 | output.add(infoOutput); | |
82 | CsvFileWriter.append(output, configFileName); | 79 | CsvFileWriter.append(output, configFileName); |
83 | } | 80 | } |
84 | 81 | ||
85 | public static void singleModelViolationMeasure(int run) { | 82 | public static void singleModelViolationMeasure(int run) { |
86 | String filename = run+".xmi"; | 83 | String filename = run+"_1.xmi"; |
87 | //prepare initial info | 84 | //prepare initial info |
88 | ArrayList<ArrayList<String>> output = new ArrayList<ArrayList<String>>(); | 85 | ArrayList<ArrayList<String>> output = new ArrayList<ArrayList<String>>(); |
89 | ArrayList<String> infoOutput = new ArrayList<String>(); | 86 | ArrayList<String> infoOutput = new ArrayList<String>(); |
90 | infoOutput.add(run+ ""); | 87 | infoOutput.add(run+ ""); |
91 | 88 | ||
92 | YakinduumModel model = new YakinduumModel("yakinduum\\config8\\"+ filename); | 89 | YakinduumModel model = new YakinduumModel("output/Viatra_100/run"+run+"/"+ filename); |
93 | 90 | ||
94 | //parse map of violation counts to two list and add them to the result list | 91 | //parse map of violation counts to two list and add them to the result list |
95 | Map<String, Integer> map = ViolationCheck.violationMaps(model.yakinduum); | 92 | Map<String, Integer> map = ViolationCheck.violationMaps(model.yakinduum); |
@@ -112,8 +109,8 @@ public class Main { | |||
112 | ArrayList<String> counts = new ArrayList<String>(); | 109 | ArrayList<String> counts = new ArrayList<String>(); |
113 | ArrayList<String> violationNames = null; | 110 | ArrayList<String> violationNames = null; |
114 | for(int run = 1; run < size+1; run++) { | 111 | for(int run = 1; run < size+1; run++) { |
115 | String filename = run+".xmi"; | 112 | String filename = run+"_1.xmi"; |
116 | YakinduumModel model = new YakinduumModel("yakinduum\\config8\\"+ filename); | 113 | YakinduumModel model = new YakinduumModel("output/Viatra_100/run"+run+"/"+ filename); |
117 | 114 | ||
118 | Map<String, Integer> map = ViolationCheck.violationMaps(model.yakinduum); | 115 | Map<String, Integer> map = ViolationCheck.violationMaps(model.yakinduum); |
119 | if(run == 1) { | 116 | if(run == 1) { |
@@ -147,7 +144,7 @@ public class Main { | |||
147 | //read model and metric | 144 | //read model and metric |
148 | ArrayList<String> output = new ArrayList<String>(); | 145 | ArrayList<String> output = new ArrayList<String>(); |
149 | GraphReader reader = new GraphReader(YakindummPackage.eINSTANCE); | 146 | GraphReader reader = new GraphReader(YakindummPackage.eINSTANCE); |
150 | EMFGraph graph = reader.readModels("output/Viatra_100/run"+run+"/").get(0); | 147 | EMFGraph graph = reader.readModel(fileReadFolder+"/run"+run, run + "_1.xmi"); |
151 | 148 | ||
152 | //KS distance | 149 | //KS distance |
153 | KSDistance ks = new KSDistance(Domain.Yakinduum); | 150 | KSDistance ks = new KSDistance(Domain.Yakinduum); |
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduum/info.csv b/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduum/info.csv deleted file mode 100644 index c79bc07f..00000000 --- a/Metrics/Metrics-Calculation/SocialNetwork_plugin/yakinduum/info.csv +++ /dev/null | |||
@@ -1,150 +0,0 @@ | |||
1 | 1 | ||
2 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
3 | 0,0,4,0,12,6,0,0,0,8 | ||
4 | 2 | ||
5 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
6 | 0,0,5,0,12,13,4,0,0,2 | ||
7 | 3 | ||
8 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
9 | 0,0,3,1,4,9,3,0,0,0 | ||
10 | 4 | ||
11 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
12 | 0,0,1,0,7,12,3,0,0,2 | ||
13 | 5 | ||
14 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
15 | 0,0,1,0,8,7,6,0,0,2 | ||
16 | 6 | ||
17 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
18 | 0,0,5,0,11,6,4,0,1,6 | ||
19 | 7 | ||
20 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
21 | 0,0,4,2,9,10,4,1,0,2 | ||
22 | 8 | ||
23 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
24 | 0,0,3,0,9,7,5,0,0,0 | ||
25 | 9 | ||
26 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
27 | 0,0,6,0,13,8,4,0,0,10 | ||
28 | 10 | ||
29 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
30 | 0,0,2,0,7,8,2,0,0,4 | ||
31 | 11 | ||
32 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
33 | 0,0,2,0,8,7,3,0,0,2 | ||
34 | 12 | ||
35 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
36 | 0,0,5,0,13,4,1,0,0,2 | ||
37 | 13 | ||
38 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
39 | 0,0,3,1,12,20,2,0,0,2 | ||
40 | 14 | ||
41 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
42 | 0,0,6,0,13,7,2,0,0,0 | ||
43 | 15 | ||
44 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
45 | 0,0,2,0,15,12,3,0,2,2 | ||
46 | 16 | ||
47 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
48 | 0,0,3,0,6,10,1,0,0,2 | ||
49 | 17 | ||
50 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
51 | 0,0,4,1,9,7,2,0,0,4 | ||
52 | 18 | ||
53 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
54 | 0,0,1,0,8,12,4,0,0,0 | ||
55 | 19 | ||
56 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
57 | 0,0,4,0,10,10,1,0,0,0 | ||
58 | 20 | ||
59 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
60 | 0,0,4,2,11,11,6,0,0,2 | ||
61 | 21 | ||
62 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
63 | 0,0,3,1,15,12,4,1,0,2 | ||
64 | 22 | ||
65 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
66 | 0,0,5,0,14,4,1,0,0,4 | ||
67 | 23 | ||
68 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
69 | 0,0,3,1,8,11,4,0,0,2 | ||
70 | 24 | ||
71 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
72 | 0,0,1,0,12,10,4,0,0,0 | ||
73 | 25 | ||
74 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
75 | 0,0,1,1,9,1,4,0,0,2 | ||
76 | 26 | ||
77 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
78 | 0,0,5,0,9,4,7,1,0,2 | ||
79 | 27 | ||
80 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
81 | 0,0,3,0,11,31,0,0,0,2 | ||
82 | 28 | ||
83 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
84 | 0,0,5,0,6,12,0,1,0,2 | ||
85 | 29 | ||
86 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
87 | 0,0,3,1,10,10,3,0,0,0 | ||
88 | 30 | ||
89 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
90 | 0,0,1,0,10,23,4,0,0,2 | ||
91 | 31 | ||
92 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
93 | 0,0,4,0,4,8,3,0,0,2 | ||
94 | 32 | ||
95 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
96 | 0,0,3,0,20,3,1,0,0,2 | ||
97 | 33 | ||
98 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
99 | 0,0,1,1,9,11,7,0,0,2 | ||
100 | 34 | ||
101 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
102 | 0,0,3,3,1,11,7,0,0,2 | ||
103 | 35 | ||
104 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
105 | 0,0,2,0,7,14,6,0,0,0 | ||
106 | 36 | ||
107 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
108 | 0,0,4,0,7,10,1,0,0,0 | ||
109 | 37 | ||
110 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
111 | 0,0,1,0,13,8,3,0,1,2 | ||
112 | 38 | ||
113 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
114 | 0,0,4,0,10,2,5,0,0,4 | ||
115 | 39 | ||
116 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
117 | 0,0,3,1,11,8,5,0,0,2 | ||
118 | 40 | ||
119 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
120 | 0,0,3,0,12,19,4,0,0,6 | ||
121 | 41 | ||
122 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
123 | 0,0,7,0,2,14,1,2,0,2 | ||
124 | 42 | ||
125 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
126 | 0,0,3,1,17,5,2,0,0,0 | ||
127 | 43 | ||
128 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
129 | 0,0,4,0,10,6,2,0,0,0 | ||
130 | 44 | ||
131 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
132 | 0,0,4,0,9,5,4,0,0,0 | ||
133 | 45 | ||
134 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
135 | 0,0,1,0,7,13,4,0,0,2 | ||
136 | 46 | ||
137 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
138 | 0,0,4,0,8,6,1,1,0,4 | ||
139 | 47 | ||
140 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
141 | 0,0,5,0,8,11,6,0,0,0 | ||
142 | 48 | ||
143 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
144 | 0,0,2,0,22,4,3,1,0,4 | ||
145 | 49 | ||
146 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
147 | 0,0,4,0,10,5,2,0,0,2 | ||
148 | 50 | ||
149 | choiceHasNoOutgoing,choiceHasNoIncoming,incomingToEntry,noStateInRegion,outgoingFromFinal,outgoingFromExit,noEntryInRegion,multipleEntryInRegion,noOutgoingTransitionFromEntry,multipleTransitionFromEntry | ||
150 | 0,0,3,0,13,11,2,0,0,6 | ||