diff options
Diffstat (limited to 'org.eclipse.viatra.coding/build')
14 files changed, 885 insertions, 0 deletions
diff --git a/org.eclipse.viatra.coding/build/publications/mavenJava/module.json b/org.eclipse.viatra.coding/build/publications/mavenJava/module.json new file mode 100644 index 00000000..28186456 --- /dev/null +++ b/org.eclipse.viatra.coding/build/publications/mavenJava/module.json | |||
@@ -0,0 +1,61 @@ | |||
1 | { | ||
2 | "formatVersion": "1.1", | ||
3 | "component": { | ||
4 | "group": "org.eclipse.viatra", | ||
5 | "module": "org.eclipse.viatra.coding", | ||
6 | "version": "0.0.1", | ||
7 | "attributes": { | ||
8 | "org.gradle.status": "release" | ||
9 | } | ||
10 | }, | ||
11 | "createdBy": { | ||
12 | "gradle": { | ||
13 | "version": "6.1", | ||
14 | "buildId": "glqdqz76vna6nc2pgh6jxpbene" | ||
15 | } | ||
16 | }, | ||
17 | "variants": [ | ||
18 | { | ||
19 | "name": "apiElements", | ||
20 | "attributes": { | ||
21 | "org.gradle.category": "library", | ||
22 | "org.gradle.dependency.bundling": "external", | ||
23 | "org.gradle.jvm.version": 8, | ||
24 | "org.gradle.libraryelements": "jar", | ||
25 | "org.gradle.usage": "java-api" | ||
26 | }, | ||
27 | "files": [ | ||
28 | { | ||
29 | "name": "org.eclipse.viatra.coding-0.0.1.jar", | ||
30 | "url": "org.eclipse.viatra.coding-0.0.1.jar", | ||
31 | "size": 15736, | ||
32 | "sha512": "0d0481a2a0ad7d13209bb08dab93fcb622263e5aa72a9cfbce692cb40ba1fa52da28dd769581602518ef043dd2478f22ac54e94be49547d7952e96cda76cad1d", | ||
33 | "sha256": "d1dab31948bef224a75674a7ed4ced0080a8a59e9c41935ddbcd4556ee97f849", | ||
34 | "sha1": "6f9192cf8105539931e5d03579aef3226029a80c", | ||
35 | "md5": "784d4b5a60b73a91811a3a56b0b5c6d7" | ||
36 | } | ||
37 | ] | ||
38 | }, | ||
39 | { | ||
40 | "name": "runtimeElements", | ||
41 | "attributes": { | ||
42 | "org.gradle.category": "library", | ||
43 | "org.gradle.dependency.bundling": "external", | ||
44 | "org.gradle.jvm.version": 8, | ||
45 | "org.gradle.libraryelements": "jar", | ||
46 | "org.gradle.usage": "java-runtime" | ||
47 | }, | ||
48 | "files": [ | ||
49 | { | ||
50 | "name": "org.eclipse.viatra.coding-0.0.1.jar", | ||
51 | "url": "org.eclipse.viatra.coding-0.0.1.jar", | ||
52 | "size": 15736, | ||
53 | "sha512": "0d0481a2a0ad7d13209bb08dab93fcb622263e5aa72a9cfbce692cb40ba1fa52da28dd769581602518ef043dd2478f22ac54e94be49547d7952e96cda76cad1d", | ||
54 | "sha256": "d1dab31948bef224a75674a7ed4ced0080a8a59e9c41935ddbcd4556ee97f849", | ||
55 | "sha1": "6f9192cf8105539931e5d03579aef3226029a80c", | ||
56 | "md5": "784d4b5a60b73a91811a3a56b0b5c6d7" | ||
57 | } | ||
58 | ] | ||
59 | } | ||
60 | ] | ||
61 | } | ||
diff --git a/org.eclipse.viatra.coding/build/publications/mavenJava/pom-default.xml b/org.eclipse.viatra.coding/build/publications/mavenJava/pom-default.xml new file mode 100644 index 00000000..780c0d84 --- /dev/null +++ b/org.eclipse.viatra.coding/build/publications/mavenJava/pom-default.xml | |||
@@ -0,0 +1,13 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <project xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd" xmlns="http://maven.apache.org/POM/4.0.0" | ||
3 | xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"> | ||
4 | <!-- This module was also published with a richer model, Gradle metadata, --> | ||
5 | <!-- which should be used instead. Do not delete the following line which --> | ||
6 | <!-- is to indicate to Gradle or any Gradle module metadata file consumer --> | ||
7 | <!-- that they should prefer consuming it instead. --> | ||
8 | <!-- do_not_remove: published-with-gradle-metadata --> | ||
9 | <modelVersion>4.0.0</modelVersion> | ||
10 | <groupId>org.eclipse.viatra</groupId> | ||
11 | <artifactId>org.eclipse.viatra.coding</artifactId> | ||
12 | <version>0.0.1</version> | ||
13 | </project> | ||
diff --git a/org.eclipse.viatra.coding/build/reports/tests/test/classes/org.eclipse.viatra.coding.GraphPermutationTest.html b/org.eclipse.viatra.coding/build/reports/tests/test/classes/org.eclipse.viatra.coding.GraphPermutationTest.html new file mode 100644 index 00000000..f118ca08 --- /dev/null +++ b/org.eclipse.viatra.coding/build/reports/tests/test/classes/org.eclipse.viatra.coding.GraphPermutationTest.html | |||
@@ -0,0 +1,96 @@ | |||
1 | <!DOCTYPE html> | ||
2 | <html> | ||
3 | <head> | ||
4 | <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> | ||
5 | <meta http-equiv="x-ua-compatible" content="IE=edge"/> | ||
6 | <title>Test results - Class org.eclipse.viatra.coding.GraphPermutationTest</title> | ||
7 | <link href="../css/base-style.css" rel="stylesheet" type="text/css"/> | ||
8 | <link href="../css/style.css" rel="stylesheet" type="text/css"/> | ||
9 | <script src="../js/report.js" type="text/javascript"></script> | ||
10 | </head> | ||
11 | <body> | ||
12 | <div id="content"> | ||
13 | <h1>Class org.eclipse.viatra.coding.GraphPermutationTest</h1> | ||
14 | <div class="breadcrumbs"> | ||
15 | <a href="../index.html">all</a> > | ||
16 | <a href="../packages/org.eclipse.viatra.coding.html">org.eclipse.viatra.coding</a> > GraphPermutationTest</div> | ||
17 | <div id="summary"> | ||
18 | <table> | ||
19 | <tr> | ||
20 | <td> | ||
21 | <div class="summaryGroup"> | ||
22 | <table> | ||
23 | <tr> | ||
24 | <td> | ||
25 | <div class="infoBox" id="tests"> | ||
26 | <div class="counter">1</div> | ||
27 | <p>tests</p> | ||
28 | </div> | ||
29 | </td> | ||
30 | <td> | ||
31 | <div class="infoBox" id="failures"> | ||
32 | <div class="counter">0</div> | ||
33 | <p>failures</p> | ||
34 | </div> | ||
35 | </td> | ||
36 | <td> | ||
37 | <div class="infoBox" id="ignored"> | ||
38 | <div class="counter">0</div> | ||
39 | <p>ignored</p> | ||
40 | </div> | ||
41 | </td> | ||
42 | <td> | ||
43 | <div class="infoBox" id="duration"> | ||
44 | <div class="counter">0.098s</div> | ||
45 | <p>duration</p> | ||
46 | </div> | ||
47 | </td> | ||
48 | </tr> | ||
49 | </table> | ||
50 | </div> | ||
51 | </td> | ||
52 | <td> | ||
53 | <div class="infoBox success" id="successRate"> | ||
54 | <div class="percent">100%</div> | ||
55 | <p>successful</p> | ||
56 | </div> | ||
57 | </td> | ||
58 | </tr> | ||
59 | </table> | ||
60 | </div> | ||
61 | <div id="tabs"> | ||
62 | <ul class="tabLinks"> | ||
63 | <li> | ||
64 | <a href="#tab0">Tests</a> | ||
65 | </li> | ||
66 | </ul> | ||
67 | <div id="tab0" class="tab"> | ||
68 | <h2>Tests</h2> | ||
69 | <table> | ||
70 | <thead> | ||
71 | <tr> | ||
72 | <th>Test</th> | ||
73 | <th>Duration</th> | ||
74 | <th>Result</th> | ||
75 | </tr> | ||
76 | </thead> | ||
77 | <tr> | ||
78 | <td class="success">testUniqueStateCodes</td> | ||
79 | <td class="success">0.098s</td> | ||
80 | <td class="success">passed</td> | ||
81 | </tr> | ||
82 | </table> | ||
83 | </div> | ||
84 | </div> | ||
85 | <div id="footer"> | ||
86 | <p> | ||
87 | <div> | ||
88 | <label class="hidden" id="label-for-line-wrapping-toggle" for="line-wrapping-toggle">Wrap lines | ||
89 | <input id="line-wrapping-toggle" type="checkbox" autocomplete="off"/> | ||
90 | </label> | ||
91 | </div>Generated by | ||
92 | <a href="http://www.gradle.org">Gradle 6.1</a> at Oct 26, 2020, 12:09:38 AM</p> | ||
93 | </div> | ||
94 | </div> | ||
95 | </body> | ||
96 | </html> | ||
diff --git a/org.eclipse.viatra.coding/build/reports/tests/test/css/base-style.css b/org.eclipse.viatra.coding/build/reports/tests/test/css/base-style.css new file mode 100644 index 00000000..4afa73e3 --- /dev/null +++ b/org.eclipse.viatra.coding/build/reports/tests/test/css/base-style.css | |||
@@ -0,0 +1,179 @@ | |||
1 | |||
2 | body { | ||
3 | margin: 0; | ||
4 | padding: 0; | ||
5 | font-family: sans-serif; | ||
6 | font-size: 12pt; | ||
7 | } | ||
8 | |||
9 | body, a, a:visited { | ||
10 | color: #303030; | ||
11 | } | ||
12 | |||
13 | #content { | ||
14 | padding-left: 50px; | ||
15 | padding-right: 50px; | ||
16 | padding-top: 30px; | ||
17 | padding-bottom: 30px; | ||
18 | } | ||
19 | |||
20 | #content h1 { | ||
21 | font-size: 160%; | ||
22 | margin-bottom: 10px; | ||
23 | } | ||
24 | |||
25 | #footer { | ||
26 | margin-top: 100px; | ||
27 | font-size: 80%; | ||
28 | white-space: nowrap; | ||
29 | } | ||
30 | |||
31 | #footer, #footer a { | ||
32 | color: #a0a0a0; | ||
33 | } | ||
34 | |||
35 | #line-wrapping-toggle { | ||
36 | vertical-align: middle; | ||
37 | } | ||
38 | |||
39 | #label-for-line-wrapping-toggle { | ||
40 | vertical-align: middle; | ||
41 | } | ||
42 | |||
43 | ul { | ||
44 | margin-left: 0; | ||
45 | } | ||
46 | |||
47 | h1, h2, h3 { | ||
48 | white-space: nowrap; | ||
49 | } | ||
50 | |||
51 | h2 { | ||
52 | font-size: 120%; | ||
53 | } | ||
54 | |||
55 | ul.tabLinks { | ||
56 | padding-left: 0; | ||
57 | padding-top: 10px; | ||
58 | padding-bottom: 10px; | ||
59 | overflow: auto; | ||
60 | min-width: 800px; | ||
61 | width: auto !important; | ||
62 | width: 800px; | ||
63 | } | ||
64 | |||
65 | ul.tabLinks li { | ||
66 | float: left; | ||
67 | height: 100%; | ||
68 | list-style: none; | ||
69 | padding-left: 10px; | ||
70 | padding-right: 10px; | ||
71 | padding-top: 5px; | ||
72 | padding-bottom: 5px; | ||
73 | margin-bottom: 0; | ||
74 | -moz-border-radius: 7px; | ||
75 | border-radius: 7px; | ||
76 | margin-right: 25px; | ||
77 | border: solid 1px #d4d4d4; | ||
78 | background-color: #f0f0f0; | ||
79 | } | ||
80 | |||
81 | ul.tabLinks li:hover { | ||
82 | background-color: #fafafa; | ||
83 | } | ||
84 | |||
85 | ul.tabLinks li.selected { | ||
86 | background-color: #c5f0f5; | ||
87 | border-color: #c5f0f5; | ||
88 | } | ||
89 | |||
90 | ul.tabLinks a { | ||
91 | font-size: 120%; | ||
92 | display: block; | ||
93 | outline: none; | ||
94 | text-decoration: none; | ||
95 | margin: 0; | ||
96 | padding: 0; | ||
97 | } | ||
98 | |||
99 | ul.tabLinks li h2 { | ||
100 | margin: 0; | ||
101 | padding: 0; | ||
102 | } | ||
103 | |||
104 | div.tab { | ||
105 | } | ||
106 | |||
107 | div.selected { | ||
108 | display: block; | ||
109 | } | ||
110 | |||
111 | div.deselected { | ||
112 | display: none; | ||
113 | } | ||
114 | |||
115 | div.tab table { | ||
116 | min-width: 350px; | ||
117 | width: auto !important; | ||
118 | width: 350px; | ||
119 | border-collapse: collapse; | ||
120 | } | ||
121 | |||
122 | div.tab th, div.tab table { | ||
123 | border-bottom: solid #d0d0d0 1px; | ||
124 | } | ||
125 | |||
126 | div.tab th { | ||
127 | text-align: left; | ||
128 | white-space: nowrap; | ||
129 | padding-left: 6em; | ||
130 | } | ||
131 | |||
132 | div.tab th:first-child { | ||
133 | padding-left: 0; | ||
134 | } | ||
135 | |||
136 | div.tab td { | ||
137 | white-space: nowrap; | ||
138 | padding-left: 6em; | ||
139 | padding-top: 5px; | ||
140 | padding-bottom: 5px; | ||
141 | } | ||
142 | |||
143 | div.tab td:first-child { | ||
144 | padding-left: 0; | ||
145 | } | ||
146 | |||
147 | div.tab td.numeric, div.tab th.numeric { | ||
148 | text-align: right; | ||
149 | } | ||
150 | |||
151 | span.code { | ||
152 | display: inline-block; | ||
153 | margin-top: 0em; | ||
154 | margin-bottom: 1em; | ||
155 | } | ||
156 | |||
157 | span.code pre { | ||
158 | font-size: 11pt; | ||
159 | padding-top: 10px; | ||
160 | padding-bottom: 10px; | ||
161 | padding-left: 10px; | ||
162 | padding-right: 10px; | ||
163 | margin: 0; | ||
164 | background-color: #f7f7f7; | ||
165 | border: solid 1px #d0d0d0; | ||
166 | min-width: 700px; | ||
167 | width: auto !important; | ||
168 | width: 700px; | ||
169 | } | ||
170 | |||
171 | span.wrapped pre { | ||
172 | word-wrap: break-word; | ||
173 | white-space: pre-wrap; | ||
174 | word-break: break-all; | ||
175 | } | ||
176 | |||
177 | label.hidden { | ||
178 | display: none; | ||
179 | } \ No newline at end of file | ||
diff --git a/org.eclipse.viatra.coding/build/reports/tests/test/css/style.css b/org.eclipse.viatra.coding/build/reports/tests/test/css/style.css new file mode 100644 index 00000000..3dc4913e --- /dev/null +++ b/org.eclipse.viatra.coding/build/reports/tests/test/css/style.css | |||
@@ -0,0 +1,84 @@ | |||
1 | |||
2 | #summary { | ||
3 | margin-top: 30px; | ||
4 | margin-bottom: 40px; | ||
5 | } | ||
6 | |||
7 | #summary table { | ||
8 | border-collapse: collapse; | ||
9 | } | ||
10 | |||
11 | #summary td { | ||
12 | vertical-align: top; | ||
13 | } | ||
14 | |||
15 | .breadcrumbs, .breadcrumbs a { | ||
16 | color: #606060; | ||
17 | } | ||
18 | |||
19 | .infoBox { | ||
20 | width: 110px; | ||
21 | padding-top: 15px; | ||
22 | padding-bottom: 15px; | ||
23 | text-align: center; | ||
24 | } | ||
25 | |||
26 | .infoBox p { | ||
27 | margin: 0; | ||
28 | } | ||
29 | |||
30 | .counter, .percent { | ||
31 | font-size: 120%; | ||
32 | font-weight: bold; | ||
33 | margin-bottom: 8px; | ||
34 | } | ||
35 | |||
36 | #duration { | ||
37 | width: 125px; | ||
38 | } | ||
39 | |||
40 | #successRate, .summaryGroup { | ||
41 | border: solid 2px #d0d0d0; | ||
42 | -moz-border-radius: 10px; | ||
43 | border-radius: 10px; | ||
44 | } | ||
45 | |||
46 | #successRate { | ||
47 | width: 140px; | ||
48 | margin-left: 35px; | ||
49 | } | ||
50 | |||
51 | #successRate .percent { | ||
52 | font-size: 180%; | ||
53 | } | ||
54 | |||
55 | .success, .success a { | ||
56 | color: #008000; | ||
57 | } | ||
58 | |||
59 | div.success, #successRate.success { | ||
60 | background-color: #bbd9bb; | ||
61 | border-color: #008000; | ||
62 | } | ||
63 | |||
64 | .failures, .failures a { | ||
65 | color: #b60808; | ||
66 | } | ||
67 | |||
68 | .skipped, .skipped a { | ||
69 | color: #c09853; | ||
70 | } | ||
71 | |||
72 | div.failures, #successRate.failures { | ||
73 | background-color: #ecdada; | ||
74 | border-color: #b60808; | ||
75 | } | ||
76 | |||
77 | ul.linkList { | ||
78 | padding-left: 0; | ||
79 | } | ||
80 | |||
81 | ul.linkList li { | ||
82 | list-style: none; | ||
83 | margin-bottom: 5px; | ||
84 | } | ||
diff --git a/org.eclipse.viatra.coding/build/reports/tests/test/index.html b/org.eclipse.viatra.coding/build/reports/tests/test/index.html new file mode 100644 index 00000000..c628c6fd --- /dev/null +++ b/org.eclipse.viatra.coding/build/reports/tests/test/index.html | |||
@@ -0,0 +1,133 @@ | |||
1 | <!DOCTYPE html> | ||
2 | <html> | ||
3 | <head> | ||
4 | <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> | ||
5 | <meta http-equiv="x-ua-compatible" content="IE=edge"/> | ||
6 | <title>Test results - Test Summary</title> | ||
7 | <link href="css/base-style.css" rel="stylesheet" type="text/css"/> | ||
8 | <link href="css/style.css" rel="stylesheet" type="text/css"/> | ||
9 | <script src="js/report.js" type="text/javascript"></script> | ||
10 | </head> | ||
11 | <body> | ||
12 | <div id="content"> | ||
13 | <h1>Test Summary</h1> | ||
14 | <div id="summary"> | ||
15 | <table> | ||
16 | <tr> | ||
17 | <td> | ||
18 | <div class="summaryGroup"> | ||
19 | <table> | ||
20 | <tr> | ||
21 | <td> | ||
22 | <div class="infoBox" id="tests"> | ||
23 | <div class="counter">1</div> | ||
24 | <p>tests</p> | ||
25 | </div> | ||
26 | </td> | ||
27 | <td> | ||
28 | <div class="infoBox" id="failures"> | ||
29 | <div class="counter">0</div> | ||
30 | <p>failures</p> | ||
31 | </div> | ||
32 | </td> | ||
33 | <td> | ||
34 | <div class="infoBox" id="ignored"> | ||
35 | <div class="counter">0</div> | ||
36 | <p>ignored</p> | ||
37 | </div> | ||
38 | </td> | ||
39 | <td> | ||
40 | <div class="infoBox" id="duration"> | ||
41 | <div class="counter">0.098s</div> | ||
42 | <p>duration</p> | ||
43 | </div> | ||
44 | </td> | ||
45 | </tr> | ||
46 | </table> | ||
47 | </div> | ||
48 | </td> | ||
49 | <td> | ||
50 | <div class="infoBox success" id="successRate"> | ||
51 | <div class="percent">100%</div> | ||
52 | <p>successful</p> | ||
53 | </div> | ||
54 | </td> | ||
55 | </tr> | ||
56 | </table> | ||
57 | </div> | ||
58 | <div id="tabs"> | ||
59 | <ul class="tabLinks"> | ||
60 | <li> | ||
61 | <a href="#tab0">Packages</a> | ||
62 | </li> | ||
63 | <li> | ||
64 | <a href="#tab1">Classes</a> | ||
65 | </li> | ||
66 | </ul> | ||
67 | <div id="tab0" class="tab"> | ||
68 | <h2>Packages</h2> | ||
69 | <table> | ||
70 | <thead> | ||
71 | <tr> | ||
72 | <th>Package</th> | ||
73 | <th>Tests</th> | ||
74 | <th>Failures</th> | ||
75 | <th>Ignored</th> | ||
76 | <th>Duration</th> | ||
77 | <th>Success rate</th> | ||
78 | </tr> | ||
79 | </thead> | ||
80 | <tbody> | ||
81 | <tr> | ||
82 | <td class="success"> | ||
83 | <a href="packages/org.eclipse.viatra.coding.html">org.eclipse.viatra.coding</a> | ||
84 | </td> | ||
85 | <td>1</td> | ||
86 | <td>0</td> | ||
87 | <td>0</td> | ||
88 | <td>0.098s</td> | ||
89 | <td class="success">100%</td> | ||
90 | </tr> | ||
91 | </tbody> | ||
92 | </table> | ||
93 | </div> | ||
94 | <div id="tab1" class="tab"> | ||
95 | <h2>Classes</h2> | ||
96 | <table> | ||
97 | <thead> | ||
98 | <tr> | ||
99 | <th>Class</th> | ||
100 | <th>Tests</th> | ||
101 | <th>Failures</th> | ||
102 | <th>Ignored</th> | ||
103 | <th>Duration</th> | ||
104 | <th>Success rate</th> | ||
105 | </tr> | ||
106 | </thead> | ||
107 | <tbody> | ||
108 | <tr> | ||
109 | <td class="success"> | ||
110 | <a href="classes/org.eclipse.viatra.coding.GraphPermutationTest.html">org.eclipse.viatra.coding.GraphPermutationTest</a> | ||
111 | </td> | ||
112 | <td>1</td> | ||
113 | <td>0</td> | ||
114 | <td>0</td> | ||
115 | <td>0.098s</td> | ||
116 | <td class="success">100%</td> | ||
117 | </tr> | ||
118 | </tbody> | ||
119 | </table> | ||
120 | </div> | ||
121 | </div> | ||
122 | <div id="footer"> | ||
123 | <p> | ||
124 | <div> | ||
125 | <label class="hidden" id="label-for-line-wrapping-toggle" for="line-wrapping-toggle">Wrap lines | ||
126 | <input id="line-wrapping-toggle" type="checkbox" autocomplete="off"/> | ||
127 | </label> | ||
128 | </div>Generated by | ||
129 | <a href="http://www.gradle.org">Gradle 6.1</a> at Oct 26, 2020, 12:09:38 AM</p> | ||
130 | </div> | ||
131 | </div> | ||
132 | </body> | ||
133 | </html> | ||
diff --git a/org.eclipse.viatra.coding/build/reports/tests/test/js/report.js b/org.eclipse.viatra.coding/build/reports/tests/test/js/report.js new file mode 100644 index 00000000..83bab4a1 --- /dev/null +++ b/org.eclipse.viatra.coding/build/reports/tests/test/js/report.js | |||
@@ -0,0 +1,194 @@ | |||
1 | (function (window, document) { | ||
2 | "use strict"; | ||
3 | |||
4 | var tabs = {}; | ||
5 | |||
6 | function changeElementClass(element, classValue) { | ||
7 | if (element.getAttribute("className")) { | ||
8 | element.setAttribute("className", classValue); | ||
9 | } else { | ||
10 | element.setAttribute("class", classValue); | ||
11 | } | ||
12 | } | ||
13 | |||
14 | function getClassAttribute(element) { | ||
15 | if (element.getAttribute("className")) { | ||
16 | return element.getAttribute("className"); | ||
17 | } else { | ||
18 | return element.getAttribute("class"); | ||
19 | } | ||
20 | } | ||
21 | |||
22 | function addClass(element, classValue) { | ||
23 | changeElementClass(element, getClassAttribute(element) + " " + classValue); | ||
24 | } | ||
25 | |||
26 | function removeClass(element, classValue) { | ||
27 | changeElementClass(element, getClassAttribute(element).replace(classValue, "")); | ||
28 | } | ||
29 | |||
30 | function initTabs() { | ||
31 | var container = document.getElementById("tabs"); | ||
32 | |||
33 | tabs.tabs = findTabs(container); | ||
34 | tabs.titles = findTitles(tabs.tabs); | ||
35 | tabs.headers = findHeaders(container); | ||
36 | tabs.select = select; | ||
37 | tabs.deselectAll = deselectAll; | ||
38 | tabs.select(0); | ||
39 | |||
40 | return true; | ||
41 | } | ||
42 | |||
43 | function getCheckBox() { | ||
44 | return document.getElementById("line-wrapping-toggle"); | ||
45 | } | ||
46 | |||
47 | function getLabelForCheckBox() { | ||
48 | return document.getElementById("label-for-line-wrapping-toggle"); | ||
49 | } | ||
50 | |||
51 | function findCodeBlocks() { | ||
52 | var spans = document.getElementById("tabs").getElementsByTagName("span"); | ||
53 | var codeBlocks = []; | ||
54 | for (var i = 0; i < spans.length; ++i) { | ||
55 | if (spans[i].className.indexOf("code") >= 0) { | ||
56 | codeBlocks.push(spans[i]); | ||
57 | } | ||
58 | } | ||
59 | return codeBlocks; | ||
60 | } | ||
61 | |||
62 | function forAllCodeBlocks(operation) { | ||
63 | var codeBlocks = findCodeBlocks(); | ||
64 | |||
65 | for (var i = 0; i < codeBlocks.length; ++i) { | ||
66 | operation(codeBlocks[i], "wrapped"); | ||
67 | } | ||
68 | } | ||
69 | |||
70 | function toggleLineWrapping() { | ||
71 | var checkBox = getCheckBox(); | ||
72 | |||
73 | if (checkBox.checked) { | ||
74 | forAllCodeBlocks(addClass); | ||
75 | } else { | ||
76 | forAllCodeBlocks(removeClass); | ||
77 | } | ||
78 | } | ||
79 | |||
80 | function initControls() { | ||
81 | if (findCodeBlocks().length > 0) { | ||
82 | var checkBox = getCheckBox(); | ||
83 | var label = getLabelForCheckBox(); | ||
84 | |||
85 | checkBox.onclick = toggleLineWrapping; | ||
86 | checkBox.checked = false; | ||
87 | |||
88 | removeClass(label, "hidden"); | ||
89 | } | ||
90 | } | ||
91 | |||
92 | function switchTab() { | ||
93 | var id = this.id.substr(1); | ||
94 | |||
95 | for (var i = 0; i < tabs.tabs.length; i++) { | ||
96 | if (tabs.tabs[i].id === id) { | ||
97 | tabs.select(i); | ||
98 | break; | ||
99 | } | ||
100 | } | ||
101 | |||
102 | return false; | ||
103 | } | ||
104 | |||
105 | function select(i) { | ||
106 | this.deselectAll(); | ||
107 | |||
108 | changeElementClass(this.tabs[i], "tab selected"); | ||
109 | changeElementClass(this.headers[i], "selected"); | ||
110 | |||
111 | while (this.headers[i].firstChild) { | ||
112 | this.headers[i].removeChild(this.headers[i].firstChild); | ||
113 | } | ||
114 | |||
115 | var h2 = document.createElement("H2"); | ||
116 | |||
117 | h2.appendChild(document.createTextNode(this.titles[i])); | ||
118 | this.headers[i].appendChild(h2); | ||
119 | } | ||
120 | |||
121 | function deselectAll() { | ||
122 | for (var i = 0; i < this.tabs.length; i++) { | ||
123 | changeElementClass(this.tabs[i], "tab deselected"); | ||
124 | changeElementClass(this.headers[i], "deselected"); | ||
125 | |||
126 | while (this.headers[i].firstChild) { | ||
127 | this.headers[i].removeChild(this.headers[i].firstChild); | ||
128 | } | ||
129 | |||
130 | var a = document.createElement("A"); | ||
131 | |||
132 | a.setAttribute("id", "ltab" + i); | ||
133 | a.setAttribute("href", "#tab" + i); | ||
134 | a.onclick = switchTab; | ||
135 | a.appendChild(document.createTextNode(this.titles[i])); | ||
136 | |||
137 | this.headers[i].appendChild(a); | ||
138 | } | ||
139 | } | ||
140 | |||
141 | function findTabs(container) { | ||
142 | return findChildElements(container, "DIV", "tab"); | ||
143 | } | ||
144 | |||
145 | function findHeaders(container) { | ||
146 | var owner = findChildElements(container, "UL", "tabLinks"); | ||
147 | return findChildElements(owner[0], "LI", null); | ||
148 | } | ||
149 | |||
150 | function findTitles(tabs) { | ||
151 | var titles = []; | ||
152 | |||
153 | for (var i = 0; i < tabs.length; i++) { | ||
154 | var tab = tabs[i]; | ||
155 | var header = findChildElements(tab, "H2", null)[0]; | ||
156 | |||
157 | header.parentNode.removeChild(header); | ||
158 | |||
159 | if (header.innerText) { | ||
160 | titles.push(header.innerText); | ||
161 | } else { | ||
162 | titles.push(header.textContent); | ||
163 | } | ||
164 | } | ||
165 | |||
166 | return titles; | ||
167 | } | ||
168 | |||
169 | function findChildElements(container, name, targetClass) { | ||
170 | var elements = []; | ||
171 | var children = container.childNodes; | ||
172 | |||
173 | for (var i = 0; i < children.length; i++) { | ||
174 | var child = children.item(i); | ||
175 | |||
176 | if (child.nodeType === 1 && child.nodeName === name) { | ||
177 | if (targetClass && child.className.indexOf(targetClass) < 0) { | ||
178 | continue; | ||
179 | } | ||
180 | |||
181 | elements.push(child); | ||
182 | } | ||
183 | } | ||
184 | |||
185 | return elements; | ||
186 | } | ||
187 | |||
188 | // Entry point. | ||
189 | |||
190 | window.onload = function() { | ||
191 | initTabs(); | ||
192 | initControls(); | ||
193 | }; | ||
194 | } (window, window.document)); \ No newline at end of file | ||
diff --git a/org.eclipse.viatra.coding/build/reports/tests/test/packages/org.eclipse.viatra.coding.html b/org.eclipse.viatra.coding/build/reports/tests/test/packages/org.eclipse.viatra.coding.html new file mode 100644 index 00000000..d9d94b7a --- /dev/null +++ b/org.eclipse.viatra.coding/build/reports/tests/test/packages/org.eclipse.viatra.coding.html | |||
@@ -0,0 +1,103 @@ | |||
1 | <!DOCTYPE html> | ||
2 | <html> | ||
3 | <head> | ||
4 | <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> | ||
5 | <meta http-equiv="x-ua-compatible" content="IE=edge"/> | ||
6 | <title>Test results - Package org.eclipse.viatra.coding</title> | ||
7 | <link href="../css/base-style.css" rel="stylesheet" type="text/css"/> | ||
8 | <link href="../css/style.css" rel="stylesheet" type="text/css"/> | ||
9 | <script src="../js/report.js" type="text/javascript"></script> | ||
10 | </head> | ||
11 | <body> | ||
12 | <div id="content"> | ||
13 | <h1>Package org.eclipse.viatra.coding</h1> | ||
14 | <div class="breadcrumbs"> | ||
15 | <a href="../index.html">all</a> > org.eclipse.viatra.coding</div> | ||
16 | <div id="summary"> | ||
17 | <table> | ||
18 | <tr> | ||
19 | <td> | ||
20 | <div class="summaryGroup"> | ||
21 | <table> | ||
22 | <tr> | ||
23 | <td> | ||
24 | <div class="infoBox" id="tests"> | ||
25 | <div class="counter">1</div> | ||
26 | <p>tests</p> | ||
27 | </div> | ||
28 | </td> | ||
29 | <td> | ||
30 | <div class="infoBox" id="failures"> | ||
31 | <div class="counter">0</div> | ||
32 | <p>failures</p> | ||
33 | </div> | ||
34 | </td> | ||
35 | <td> | ||
36 | <div class="infoBox" id="ignored"> | ||
37 | <div class="counter">0</div> | ||
38 | <p>ignored</p> | ||
39 | </div> | ||
40 | </td> | ||
41 | <td> | ||
42 | <div class="infoBox" id="duration"> | ||
43 | <div class="counter">0.098s</div> | ||
44 | <p>duration</p> | ||
45 | </div> | ||
46 | </td> | ||
47 | </tr> | ||
48 | </table> | ||
49 | </div> | ||
50 | </td> | ||
51 | <td> | ||
52 | <div class="infoBox success" id="successRate"> | ||
53 | <div class="percent">100%</div> | ||
54 | <p>successful</p> | ||
55 | </div> | ||
56 | </td> | ||
57 | </tr> | ||
58 | </table> | ||
59 | </div> | ||
60 | <div id="tabs"> | ||
61 | <ul class="tabLinks"> | ||
62 | <li> | ||
63 | <a href="#tab0">Classes</a> | ||
64 | </li> | ||
65 | </ul> | ||
66 | <div id="tab0" class="tab"> | ||
67 | <h2>Classes</h2> | ||
68 | <table> | ||
69 | <thread> | ||
70 | <tr> | ||
71 | <th>Class</th> | ||
72 | <th>Tests</th> | ||
73 | <th>Failures</th> | ||
74 | <th>Ignored</th> | ||
75 | <th>Duration</th> | ||
76 | <th>Success rate</th> | ||
77 | </tr> | ||
78 | </thread> | ||
79 | <tr> | ||
80 | <td class="success"> | ||
81 | <a href="../classes/org.eclipse.viatra.coding.GraphPermutationTest.html">GraphPermutationTest</a> | ||
82 | </td> | ||
83 | <td>1</td> | ||
84 | <td>0</td> | ||
85 | <td>0</td> | ||
86 | <td>0.098s</td> | ||
87 | <td class="success">100%</td> | ||
88 | </tr> | ||
89 | </table> | ||
90 | </div> | ||
91 | </div> | ||
92 | <div id="footer"> | ||
93 | <p> | ||
94 | <div> | ||
95 | <label class="hidden" id="label-for-line-wrapping-toggle" for="line-wrapping-toggle">Wrap lines | ||
96 | <input id="line-wrapping-toggle" type="checkbox" autocomplete="off"/> | ||
97 | </label> | ||
98 | </div>Generated by | ||
99 | <a href="http://www.gradle.org">Gradle 6.1</a> at Oct 26, 2020, 12:09:38 AM</p> | ||
100 | </div> | ||
101 | </div> | ||
102 | </body> | ||
103 | </html> | ||
diff --git a/org.eclipse.viatra.coding/build/test-results/test/TEST-org.eclipse.viatra.coding.GraphPermutationTest.xml b/org.eclipse.viatra.coding/build/test-results/test/TEST-org.eclipse.viatra.coding.GraphPermutationTest.xml new file mode 100644 index 00000000..1a4c17c8 --- /dev/null +++ b/org.eclipse.viatra.coding/build/test-results/test/TEST-org.eclipse.viatra.coding.GraphPermutationTest.xml | |||
@@ -0,0 +1,7 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <testsuite name="org.eclipse.viatra.coding.GraphPermutationTest" tests="1" skipped="0" failures="0" errors="0" timestamp="2020-10-26T04:09:38" hostname="DESKTOP-KQ6RJNS" time="0.098"> | ||
3 | <properties/> | ||
4 | <testcase name="testUniqueStateCodes" classname="org.eclipse.viatra.coding.GraphPermutationTest" time="0.098"/> | ||
5 | <system-out><![CDATA[]]></system-out> | ||
6 | <system-err><![CDATA[]]></system-err> | ||
7 | </testsuite> | ||
diff --git a/org.eclipse.viatra.coding/build/test-results/test/binary/output.bin b/org.eclipse.viatra.coding/build/test-results/test/binary/output.bin new file mode 100644 index 00000000..e69de29b --- /dev/null +++ b/org.eclipse.viatra.coding/build/test-results/test/binary/output.bin | |||
diff --git a/org.eclipse.viatra.coding/build/test-results/test/binary/output.bin.idx b/org.eclipse.viatra.coding/build/test-results/test/binary/output.bin.idx new file mode 100644 index 00000000..f76dd238 --- /dev/null +++ b/org.eclipse.viatra.coding/build/test-results/test/binary/output.bin.idx | |||
Binary files differ | |||
diff --git a/org.eclipse.viatra.coding/build/test-results/test/binary/results.bin b/org.eclipse.viatra.coding/build/test-results/test/binary/results.bin new file mode 100644 index 00000000..e0570c84 --- /dev/null +++ b/org.eclipse.viatra.coding/build/test-results/test/binary/results.bin | |||
Binary files differ | |||
diff --git a/org.eclipse.viatra.coding/build/tmp/jar/MANIFEST.MF b/org.eclipse.viatra.coding/build/tmp/jar/MANIFEST.MF new file mode 100644 index 00000000..59499bce --- /dev/null +++ b/org.eclipse.viatra.coding/build/tmp/jar/MANIFEST.MF | |||
@@ -0,0 +1,2 @@ | |||
1 | Manifest-Version: 1.0 | ||
2 | |||
diff --git a/org.eclipse.viatra.coding/build/tmp/publishMavenJavaPublicationToMavenLocal/module-maven-metadata.xml b/org.eclipse.viatra.coding/build/tmp/publishMavenJavaPublicationToMavenLocal/module-maven-metadata.xml new file mode 100644 index 00000000..74f31a85 --- /dev/null +++ b/org.eclipse.viatra.coding/build/tmp/publishMavenJavaPublicationToMavenLocal/module-maven-metadata.xml | |||
@@ -0,0 +1,13 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <metadata> | ||
3 | <groupId>org.eclipse.viatra</groupId> | ||
4 | <artifactId>org.eclipse.viatra.coding</artifactId> | ||
5 | <versioning> | ||
6 | <latest>0.0.1</latest> | ||
7 | <release>0.0.1</release> | ||
8 | <versions> | ||
9 | <version>0.0.1</version> | ||
10 | </versions> | ||
11 | <lastUpdated>20201028143314</lastUpdated> | ||
12 | </versioning> | ||
13 | </metadata> | ||