summaryrefslogtreecommitdiffstats
path: root/org.eclipse.viatra.coding/build/reports
diff options
context:
space:
mode:
Diffstat (limited to 'org.eclipse.viatra.coding/build/reports')
-rw-r--r--org.eclipse.viatra.coding/build/reports/tests/test/classes/org.eclipse.viatra.coding.GraphPermutationTest.html96
-rw-r--r--org.eclipse.viatra.coding/build/reports/tests/test/css/base-style.css179
-rw-r--r--org.eclipse.viatra.coding/build/reports/tests/test/css/style.css84
-rw-r--r--org.eclipse.viatra.coding/build/reports/tests/test/index.html133
-rw-r--r--org.eclipse.viatra.coding/build/reports/tests/test/js/report.js194
-rw-r--r--org.eclipse.viatra.coding/build/reports/tests/test/packages/org.eclipse.viatra.coding.html103
6 files changed, 789 insertions, 0 deletions
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> &gt;
16<a href="../packages/org.eclipse.viatra.coding.html">org.eclipse.viatra.coding</a> &gt; 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
2body {
3 margin: 0;
4 padding: 0;
5 font-family: sans-serif;
6 font-size: 12pt;
7}
8
9body, 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
43ul {
44 margin-left: 0;
45}
46
47h1, h2, h3 {
48 white-space: nowrap;
49}
50
51h2 {
52 font-size: 120%;
53}
54
55ul.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
65ul.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
81ul.tabLinks li:hover {
82 background-color: #fafafa;
83}
84
85ul.tabLinks li.selected {
86 background-color: #c5f0f5;
87 border-color: #c5f0f5;
88}
89
90ul.tabLinks a {
91 font-size: 120%;
92 display: block;
93 outline: none;
94 text-decoration: none;
95 margin: 0;
96 padding: 0;
97}
98
99ul.tabLinks li h2 {
100 margin: 0;
101 padding: 0;
102}
103
104div.tab {
105}
106
107div.selected {
108 display: block;
109}
110
111div.deselected {
112 display: none;
113}
114
115div.tab table {
116 min-width: 350px;
117 width: auto !important;
118 width: 350px;
119 border-collapse: collapse;
120}
121
122div.tab th, div.tab table {
123 border-bottom: solid #d0d0d0 1px;
124}
125
126div.tab th {
127 text-align: left;
128 white-space: nowrap;
129 padding-left: 6em;
130}
131
132div.tab th:first-child {
133 padding-left: 0;
134}
135
136div.tab td {
137 white-space: nowrap;
138 padding-left: 6em;
139 padding-top: 5px;
140 padding-bottom: 5px;
141}
142
143div.tab td:first-child {
144 padding-left: 0;
145}
146
147div.tab td.numeric, div.tab th.numeric {
148 text-align: right;
149}
150
151span.code {
152 display: inline-block;
153 margin-top: 0em;
154 margin-bottom: 1em;
155}
156
157span.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
171span.wrapped pre {
172 word-wrap: break-word;
173 white-space: pre-wrap;
174 word-break: break-all;
175}
176
177label.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
59div.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
72div.failures, #successRate.failures {
73 background-color: #ecdada;
74 border-color: #b60808;
75}
76
77ul.linkList {
78 padding-left: 0;
79}
80
81ul.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> &gt; 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>
generated by cgit v1.2.3-54-g00ecf (git 2.45.1) at 2024-05-31 23:32:41 +0000