blob: 96fd178f426f46db210e715091627cccbd4583eb (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
|
/.EntryInRegion_M0.java._trace
/.EntryInRegion_M1.java._trace
/.EntryInRegion_M2.java._trace
/.MultipleEntryInRegion_M0.java._trace
/.MultipleEntryInRegion_M1.java._trace
/.MultipleEntryInRegion_M2.java._trace
/.NoEntryInRegion_M0.java._trace
/.NoEntryInRegion_M1.java._trace
/.NoEntryInRegion_M2.java._trace
/.NoEntryInRegion_M3.java._trace
/.NoEntryInRegion_M4.java._trace
/.NoEntryInRegion_M5.java._trace
/.MultipleEntryInRegion_M3.java._trace
/.EntryInRegion.java._trace
/.MultipleEntryInRegion.java._trace
/.NoEntryInRegion.java._trace
/.Transition.java._trace
/.Child.java._trace
/.ChoiceHasNoIncoming.java._trace
/.ChoiceHasNoOutgoing.java._trace
/.HasMultipleIncomingTrainsition.java._trace
/.HasMultipleOutgoingTrainsition.java._trace
/.HasMultipleRegions.java._trace
/.IncomingToEntry.java._trace
/.MultipleTransitionFromEntry.java._trace
/.NoOutgoingTransitionFromEntry.java._trace
/.NoStateInRegion.java._trace
/.NotSynchronizingStates.java._trace
/.OutgoingFromExit.java._trace
/.OutgoingFromFinal.java._trace
/.StateInRegion.java._trace
/.SynchHasNoIncoming.java._trace
/.SynchHasNoOutgoing.java._trace
/.SynchThree.java._trace
/.SynchronizedIncomingInSameRegion.java._trace
/.SynchronizedRegionDoesNotHaveMultipleRegions.java._trace
/.SynchronizedRegionsAreNotSiblings.java._trace
/.TwoSynch.java._trace
/.YakinduPatterns.java._trace
/.ChoiceHasNoIncoming_M0.java._trace
/.ChoiceHasNoIncoming_M1.java._trace
/.ChoiceHasNoIncoming_M2.java._trace
/.ChoiceHasNoIncoming_M3.java._trace
/.ChoiceHasNoIncoming_M4.java._trace
/.ChoiceHasNoIncoming_M5.java._trace
/.ChoiceHasNoIncoming_M6.java._trace
/.ChoiceHasNoOutgoing_M0.java._trace
/.ChoiceHasNoOutgoing_M1.java._trace
/.ChoiceHasNoOutgoing_M2.java._trace
/.ChoiceHasNoOutgoing_M3.java._trace
/.ChoiceHasNoOutgoing_M4.java._trace
/.ChoiceHasNoOutgoing_M5.java._trace
/.ChoiceHasNoOutgoing_M6.java._trace
/.IncomingToEntry_1.java._trace
/.IncomingToEntry_2.java._trace
/.IncomingToEntry_3.java._trace
/.IncomingToEntry_4.java._trace
/.IncomingToEntry_5.java._trace
/.IncomingToEntry_M0.java._trace
/.MultipleEntryInRegion_M4.java._trace
/.MultipleEntryInRegion_M5.java._trace
/.MultipleTransitionFromEntry_M0.java._trace
/.MultipleTransitionFromEntry_M1.java._trace
/.MultipleTransitionFromEntry_M2.java._trace
/.MultipleTransitionFromEntry_M3.java._trace
/.MultipleTransitionFromEntry_M4.java._trace
/.NoOutgoingTransitionFromEntry_M0.java._trace
/.NoOutgoingTransitionFromEntry_M1.java._trace
/.NoOutgoingTransitionFromEntry_M2.java._trace
/.NoOutgoingTransitionFromEntry_M3.java._trace
/.NoOutgoingTransitionFromEntry_M4.java._trace
/.NoOutgoingTransitionFromEntry_M5.java._trace
/.NoStateInRegion_M0.java._trace
/.NoStateInRegion_M1.java._trace
/.NoStateInRegion_M2.java._trace
/.NoStateInRegion_M3.java._trace
/.OutgoingFromExit_M0.java._trace
/.OutgoingFromExit_M1.java._trace
/.OutgoingFromExit_M2.java._trace
/.OutgoingFromFinal_M0.java._trace
/.OutgoingFromFinal_M1.java._trace
/.OutgoingFromFinal_M2.java._trace
/.StateInRegion_M0.java._trace
/.StateInRegion_M1.java._trace
/.StateInRegion_M2.java._trace
/.Transition_M0.java._trace
/.Transition_M1.java._trace
/.Transition_M2.java._trace
/.Transition_M3.java._trace
/.Transition_M4.java._trace
/.YakinduMutatedPatterns.java._trace
/YakinduPatterns.java
/MultipleEntryInRegion.java
/ChoiceHasNoIncoming_M0.java
/ChoiceHasNoIncoming_M1.java
/ChoiceHasNoIncoming_M2.java
/ChoiceHasNoIncoming_M3.java
/ChoiceHasNoIncoming_M4.java
/ChoiceHasNoIncoming_M5.java
/ChoiceHasNoIncoming_M6.java
/ChoiceHasNoOutgoing_M0.java
/ChoiceHasNoOutgoing_M1.java
/ChoiceHasNoOutgoing_M2.java
/ChoiceHasNoOutgoing_M3.java
/ChoiceHasNoOutgoing_M4.java
/ChoiceHasNoOutgoing_M5.java
/ChoiceHasNoOutgoing_M6.java
/EntryInRegion_M0.java
/EntryInRegion_M1.java
/EntryInRegion_M2.java
/IncomingToEntry_1.java
/IncomingToEntry_2.java
/IncomingToEntry_3.java
/IncomingToEntry_4.java
/IncomingToEntry_5.java
/IncomingToEntry_M0.java
/MultipleEntryInRegion_M0.java
/MultipleEntryInRegion_M1.java
/MultipleEntryInRegion_M2.java
/MultipleEntryInRegion_M3.java
/MultipleEntryInRegion_M4.java
/MultipleEntryInRegion_M5.java
/MultipleTransitionFromEntry_M0.java
/MultipleTransitionFromEntry_M1.java
/MultipleTransitionFromEntry_M2.java
/MultipleTransitionFromEntry_M3.java
/MultipleTransitionFromEntry_M4.java
/NoEntryInRegion_M0.java
/NoEntryInRegion_M1.java
/NoEntryInRegion_M2.java
/NoEntryInRegion_M3.java
/NoEntryInRegion_M4.java
/NoEntryInRegion_M5.java
/NoOutgoingTransitionFromEntry_M0.java
/NoOutgoingTransitionFromEntry_M1.java
/NoOutgoingTransitionFromEntry_M2.java
/NoOutgoingTransitionFromEntry_M3.java
/NoOutgoingTransitionFromEntry_M4.java
/NoOutgoingTransitionFromEntry_M5.java
/NoStateInRegion_M0.java
/NoStateInRegion_M1.java
/NoStateInRegion_M2.java
/NoStateInRegion_M3.java
/OutgoingFromExit_M0.java
/OutgoingFromExit_M1.java
/OutgoingFromExit_M2.java
/OutgoingFromFinal_M0.java
/OutgoingFromFinal_M1.java
/OutgoingFromFinal_M2.java
/StateInRegion_M0.java
/StateInRegion_M1.java
/StateInRegion_M2.java
/Transition_M0.java
/Transition_M1.java
/Transition_M2.java
/Transition_M3.java
/Transition_M4.java
/YakinduMutatedPatterns.java
|
