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