aboutsummaryrefslogtreecommitdiffstats
path: root/Metrics/Metrics-Calculation/SocialNetwork_plugin/github.vsconfig
diff options
context:
space:
mode:
Diffstat (limited to 'Metrics/Metrics-Calculation/SocialNetwork_plugin/github.vsconfig')
-rw-r--r--Metrics/Metrics-Calculation/SocialNetwork_plugin/github.vsconfig333
1 files changed, 167 insertions, 166 deletions
diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/github.vsconfig b/Metrics/Metrics-Calculation/SocialNetwork_plugin/github.vsconfig
index 1e1ee05a..e9f9a8d5 100644
--- a/Metrics/Metrics-Calculation/SocialNetwork_plugin/github.vsconfig
+++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/github.vsconfig
@@ -12,7 +12,7 @@ generate {
12 solver = ViatraSolver 12 solver = ViatraSolver
13 13
14 scope = { 14 scope = {
15 #node = 10 15 #node = 30
16 } 16 }
17 17
18 number = 1 18 number = 1
@@ -20,10 +20,11 @@ generate {
20 config = { 20 config = {
21 log-level = none, 21 log-level = none,
22 runtime = 300, 22 runtime = 300,
23 "optional-wf" = "true", 23 "optional-wf" = "false",
24 "realistic-guidance" = "Composite", 24 "realistic-guidance" = "Composite",
25 "allow-must-violations" = "true", 25 "allow-must-violations" = "false",
26 "domain" = "Github" 26 "domain" = "Github",
27 "scopePropagator" = "typeHierarchy"
27 } 28 }
28 29
29 debug = "debug" 30 debug = "debug"
@@ -31,182 +32,182 @@ generate {
31 output = "output/Github/Composite" 32 output = "output/Github/Composite"
32} 33}
33 34
34generate { 35// generate {
35 metamodel = {package github excluding{ Project.creatd_at, Project.updated_at, Project.url, User.name, User.url, 36// metamodel = {package github excluding{ Project.creatd_at, Project.updated_at, Project.url, User.name, User.url,
36 Commit.created_at, Commit.sha, Commit.parents_sha, Issue.created_at, Issue.url, PullRequest.url, IssueEvent.created_at, 37// Commit.created_at, Commit.sha, Commit.parents_sha, Issue.created_at, Issue.url, PullRequest.url, IssueEvent.created_at,
37 IssueEvent.actor_url, Action, IssueEvent.action, Project.deleted}} 38// IssueEvent.actor_url, Action, IssueEvent.action, Project.deleted}}
38 partial-model = { "inputs/github.xmi"} 39// partial-model = { "inputs/github.xmi"}
39 constraints = { package queries } 40// constraints = { package queries }
40 41
41 42
42 solver = ViatraSolver 43// solver = ViatraSolver
43 44
44 scope = { 45// scope = {
45 #node = 30 46// #node = 30
46 } 47// }
47 48
48 number = 1 49// number = 1
49 runs = 20 50// runs = 20
50 config = { 51// config = {
51 log-level = none, 52// log-level = none,
52 runtime = 300, 53// runtime = 300,
53 "optional-wf" = "true", 54// "optional-wf" = "true",
54 "realistic-guidance" = "Composite", 55// "realistic-guidance" = "Composite",
55 "allow-must-violations" = "true", 56// "allow-must-violations" = "true",
56 "domain" = "Github" 57// "domain" = "Github"
57 } 58// }
58 59
59 debug = "debug" 60// debug = "debug"
60 statistics = "statistics/Github/30.csv" 61// statistics = "statistics/Github/30.csv"
61 output = "output/Github/Composite" 62// output = "output/Github/Composite"
62} 63// }
63 64
64generate { 65// generate {
65 metamodel = {package github excluding{ Project.creatd_at, Project.updated_at, Project.url, User.name, User.url, 66// metamodel = {package github excluding{ Project.creatd_at, Project.updated_at, Project.url, User.name, User.url,
66 Commit.created_at, Commit.sha, Commit.parents_sha, Issue.created_at, Issue.url, PullRequest.url, IssueEvent.created_at, 67// Commit.created_at, Commit.sha, Commit.parents_sha, Issue.created_at, Issue.url, PullRequest.url, IssueEvent.created_at,
67 IssueEvent.actor_url, Action, IssueEvent.action, Project.deleted}} 68// IssueEvent.actor_url, Action, IssueEvent.action, Project.deleted}}
68 partial-model = { "inputs/github.xmi"} 69// partial-model = { "inputs/github.xmi"}
69 constraints = { package queries } 70// constraints = { package queries }
70 71
71 72
72 solver = ViatraSolver 73// solver = ViatraSolver
73 74
74 scope = { 75// scope = {
75 #node = 50 76// #node = 50
76 } 77// }
77 78
78 number = 1 79// number = 1
79 runs = 20 80// runs = 20
80 config = { 81// config = {
81 log-level = none, 82// log-level = none,
82 runtime = 300, 83// runtime = 300,
83 "optional-wf" = "true", 84// "optional-wf" = "true",
84 "realistic-guidance" = "Composite", 85// "realistic-guidance" = "Composite",
85 "allow-must-violations" = "true", 86// "allow-must-violations" = "true",
86 "domain" = "Github" 87// "domain" = "Github"
87 } 88// }
88 89
89 debug = "debug" 90// debug = "debug"
90 statistics = "statistics/Github/50.csv" 91// statistics = "statistics/Github/50.csv"
91 output = "output/Github/Composite" 92// output = "output/Github/Composite"
92} 93// }
93 94
94generate { 95// generate {
95 metamodel = {package github excluding{ Project.creatd_at, Project.updated_at, Project.url, User.name, User.url, 96// metamodel = {package github excluding{ Project.creatd_at, Project.updated_at, Project.url, User.name, User.url,
96 Commit.created_at, Commit.sha, Commit.parents_sha, Issue.created_at, Issue.url, PullRequest.url, IssueEvent.created_at, 97// Commit.created_at, Commit.sha, Commit.parents_sha, Issue.created_at, Issue.url, PullRequest.url, IssueEvent.created_at,
97 IssueEvent.actor_url, Action, IssueEvent.action, Project.deleted}} 98// IssueEvent.actor_url, Action, IssueEvent.action, Project.deleted}}
98 partial-model = { "inputs/github.xmi"} 99// partial-model = { "inputs/github.xmi"}
99 constraints = { package queries } 100// constraints = { package queries }
100 101
101 102
102 solver = ViatraSolver 103// solver = ViatraSolver
103 104
104 scope = { 105// scope = {
105 #node = 80 106// #node = 80
106 } 107// }
107 108
108 number = 1 109// number = 1
109 runs = 20 110// runs = 20
110 config = { 111// config = {
111 log-level = none, 112// log-level = none,
112 runtime = 300, 113// runtime = 300,
113 "optional-wf" = "true", 114// "optional-wf" = "true",
114 "realistic-guidance" = "Composite", 115// "realistic-guidance" = "Composite",
115 "allow-must-violations" = "true", 116// "allow-must-violations" = "true",
116 "domain" = "Github" 117// "domain" = "Github"
117 } 118// }
118 119
119 debug = "debug" 120// debug = "debug"
120 statistics = "statistics/Github/80.csv" 121// statistics = "statistics/Github/80.csv"
121 output = "output/Github/Composite" 122// output = "output/Github/Composite"
122} 123// }
123 124
124generate { 125// generate {
125 metamodel = {package github excluding{ Project.creatd_at, Project.updated_at, Project.url, User.name, User.url, 126// metamodel = {package github excluding{ Project.creatd_at, Project.updated_at, Project.url, User.name, User.url,
126 Commit.created_at, Commit.sha, Commit.parents_sha, Issue.created_at, Issue.url, PullRequest.url, IssueEvent.created_at, 127// Commit.created_at, Commit.sha, Commit.parents_sha, Issue.created_at, Issue.url, PullRequest.url, IssueEvent.created_at,
127 IssueEvent.actor_url, Action, IssueEvent.action, Project.deleted}} 128// IssueEvent.actor_url, Action, IssueEvent.action, Project.deleted}}
128 partial-model = { "inputs/github.xmi"} 129// partial-model = { "inputs/github.xmi"}
129 constraints = { package queries } 130// constraints = { package queries }
130 131
131 132
132 solver = ViatraSolver 133// solver = ViatraSolver
133 134
134 scope = { 135// scope = {
135 #node = 100 136// #node = 100
136 } 137// }
137 138
138 number = 1 139// number = 1
139 runs = 20 140// runs = 20
140 config = { 141// config = {
141 log-level = none, 142// log-level = none,
142 runtime = 300, 143// runtime = 300,
143 "optional-wf" = "true", 144// "optional-wf" = "true",
144 "realistic-guidance" = "Composite", 145// "realistic-guidance" = "Composite",
145 "allow-must-violations" = "true", 146// "allow-must-violations" = "true",
146 "domain" = "Github" 147// "domain" = "Github"
147 } 148// }
148 149
149 debug = "debug" 150// debug = "debug"
150 statistics = "statistics/Github/100.csv" 151// statistics = "statistics/Github/100.csv"
151 output = "output/Github/Composite" 152// output = "output/Github/Composite"
152} 153// }
153 154
154generate { 155// generate {
155 metamodel = {package github excluding{ Project.creatd_at, Project.updated_at, Project.url, User.name, User.url, 156// metamodel = {package github excluding{ Project.creatd_at, Project.updated_at, Project.url, User.name, User.url,
156 Commit.created_at, Commit.sha, Commit.parents_sha, Issue.created_at, Issue.url, PullRequest.url, IssueEvent.created_at, 157// Commit.created_at, Commit.sha, Commit.parents_sha, Issue.created_at, Issue.url, PullRequest.url, IssueEvent.created_at,
157 IssueEvent.actor_url, Action, IssueEvent.action, Project.deleted}} 158// IssueEvent.actor_url, Action, IssueEvent.action, Project.deleted}}
158 partial-model = { "inputs/github.xmi"} 159// partial-model = { "inputs/github.xmi"}
159 constraints = { package queries } 160// constraints = { package queries }
160 161
161 162
162 solver = ViatraSolver 163// solver = ViatraSolver
163 164
164 scope = { 165// scope = {
165 #node = 120 166// #node = 120
166 } 167// }
167 168
168 number = 1 169// number = 1
169 runs = 20 170// runs = 20
170 config = { 171// config = {
171 log-level = none, 172// log-level = none,
172 runtime = 300, 173// runtime = 300,
173 "optional-wf" = "true", 174// "optional-wf" = "true",
174 "realistic-guidance" = "Composite", 175// "realistic-guidance" = "Composite",
175 "allow-must-violations" = "true", 176// "allow-must-violations" = "true",
176 "domain" = "Github" 177// "domain" = "Github"
177 } 178// }
178 179
179 debug = "debug" 180// debug = "debug"
180 statistics = "statistics/Github/120.csv" 181// statistics = "statistics/Github/120.csv"
181 output = "output/Github/Composite" 182// output = "output/Github/Composite"
182} 183// }
183 184
184generate { 185// generate {
185 metamodel = {package github excluding{ Project.creatd_at, Project.updated_at, Project.url, User.name, User.url, 186// metamodel = {package github excluding{ Project.creatd_at, Project.updated_at, Project.url, User.name, User.url,
186 Commit.created_at, Commit.sha, Commit.parents_sha, Issue.created_at, Issue.url, PullRequest.url, IssueEvent.created_at, 187// Commit.created_at, Commit.sha, Commit.parents_sha, Issue.created_at, Issue.url, PullRequest.url, IssueEvent.created_at,
187 IssueEvent.actor_url, Action, IssueEvent.action, Project.deleted}} 188// IssueEvent.actor_url, Action, IssueEvent.action, Project.deleted}}
188 partial-model = { "inputs/github.xmi"} 189// partial-model = { "inputs/github.xmi"}
189 constraints = { package queries } 190// constraints = { package queries }
190 191
191 192
192 solver = ViatraSolver 193// solver = ViatraSolver
193 194
194 scope = { 195// scope = {
195 #node = 140 196// #node = 140
196 } 197// }
197 198
198 number = 1 199// number = 1
199 runs = 20 200// runs = 20
200 config = { 201// config = {
201 log-level = none, 202// log-level = none,
202 runtime = 300, 203// runtime = 300,
203 "optional-wf" = "true", 204// "optional-wf" = "true",
204 "realistic-guidance" = "Composite", 205// "realistic-guidance" = "Composite",
205 "allow-must-violations" = "true", 206// "allow-must-violations" = "true",
206 "domain" = "Github" 207// "domain" = "Github"
207 } 208// }
208 209
209 debug = "debug" 210// debug = "debug"
210 statistics = "statistics/Github/140.csv" 211// statistics = "statistics/Github/140.csv"
211 output = "output/Github/Composite" 212// output = "output/Github/Composite"
212} \ No newline at end of file 213// } \ No newline at end of file
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-29 10:17:03 +0000