cpee 2.0.19 → 2.0.20

Sign up to get free protection for your applications and to get access to all the features.
Files changed (236) hide show
  1. checksums.yaml +4 -4
  2. data/cockpit/css/wfadaptor.css +17 -0
  3. data/cockpit/js/instance.js +0 -1
  4. data/cockpit/js_libs.zip +0 -0
  5. data/cockpit/themes/model/rngs/call.rng +2 -1
  6. data/cockpit/themes/model/rngs/callmanipulate.rng +2 -1
  7. data/cockpit/themes/model/theme.js +1 -1
  8. data/cpee.gemspec +2 -2
  9. data/lib/cpee/controller.rb +6 -3
  10. data/lib/cpee/implementation.rb +23 -8
  11. data/lib/cpee/implementation_notifications.rb +1 -1
  12. data/lib/cpee/persistence.rb +2 -1
  13. data/lib/cpee/redis.rb +57 -0
  14. data/server/routing/end.rb +16 -4
  15. data/server/routing/forward-events.rb +19 -7
  16. data/server/routing/forward-votes.rb +19 -7
  17. data/server/routing/persist.rb +26 -14
  18. data/tools/cpee +5 -5
  19. data/tools/test/README +4 -0
  20. data/tools/test/config.json +3 -0
  21. data/tools/test/contrib/graph_example.svg +1166 -0
  22. data/tools/test/contrib/legend.svg +817 -0
  23. data/tools/test/contrib/symbols.svg +224 -0
  24. data/tools/test/contrib/transformation1.xsl +264 -0
  25. data/tools/test/contrib/transformation2.xsl +10 -0
  26. data/tools/test/contrib/tree_example.svg +788 -0
  27. data/tools/test/css/model.css +24 -0
  28. data/tools/test/css/track.css +60 -0
  29. data/tools/test/css/ui.css +214 -0
  30. data/tools/test/css/wfadaptor.css +422 -0
  31. data/tools/test/edit.html +258 -0
  32. data/tools/test/graph.html +69 -0
  33. data/tools/test/index.html +258 -0
  34. data/tools/test/js/details.js +109 -0
  35. data/tools/test/js/instance.js +1344 -0
  36. data/tools/test/js/model.js +41 -0
  37. data/tools/test/js/parameters.js +82 -0
  38. data/tools/test/js/track.js +18 -0
  39. data/tools/test/js/ui.js +104 -0
  40. data/tools/test/js/wfadaptor.js +763 -0
  41. data/tools/test/js_libs.zip +0 -0
  42. data/tools/test/js_libs/Makefile +2 -0
  43. data/tools/test/js_libs/ansi_up.js +333 -0
  44. data/tools/test/js_libs/console.js +80 -0
  45. data/tools/test/js_libs/custommenu.css +84 -0
  46. data/tools/test/js_libs/custommenu.js +104 -0
  47. data/tools/test/js_libs/experiments1/relaxngui.css +185 -0
  48. data/tools/test/js_libs/experiments1/relaxngui.js +488 -0
  49. data/tools/test/js_libs/experiments1/rngtest9.html +60 -0
  50. data/tools/test/js_libs/experiments1/rngtest9.rng +35 -0
  51. data/tools/test/js_libs/experiments1/rngtest9.xml +8 -0
  52. data/tools/test/js_libs/jquery-2.2.4.min.js +4 -0
  53. data/tools/test/js_libs/jquery-3.2.1.min.js +4 -0
  54. data/tools/test/js_libs/jquery-3.3.1.min.js +2 -0
  55. data/tools/test/js_libs/jquery.browser.js +40 -0
  56. data/tools/test/js_libs/jquery.caret.min.js +10 -0
  57. data/tools/test/js_libs/jquery.cookie.js +117 -0
  58. data/tools/test/js_libs/jquery.min.js +1 -0
  59. data/tools/test/js_libs/jquery.svg.min.js +6 -0
  60. data/tools/test/js_libs/jquery.svgdom.min.js +6 -0
  61. data/tools/test/js_libs/markdown.min.js +1 -0
  62. data/tools/test/js_libs/parsequery.js +21 -0
  63. data/tools/test/js_libs/printf.js +368 -0
  64. data/tools/test/js_libs/relaxngui.css +213 -0
  65. data/tools/test/js_libs/relaxngui.js +543 -0
  66. data/tools/test/js_libs/strftime.min.js +1 -0
  67. data/tools/test/js_libs/tests/dataelements.html +59 -0
  68. data/tools/test/js_libs/tests/dataelements.rng +8 -0
  69. data/tools/test/js_libs/tests/dataelements.xml +3 -0
  70. data/tools/test/js_libs/tests/relaxngui.css +203 -0
  71. data/tools/test/js_libs/tests/relaxngui.js +502 -0
  72. data/tools/test/js_libs/tests/rngtest1.html +66 -0
  73. data/tools/test/js_libs/tests/rngtest1.rng +147 -0
  74. data/tools/test/js_libs/tests/rngtest1.xml +13 -0
  75. data/tools/test/js_libs/tests/rngtest2.html +60 -0
  76. data/tools/test/js_libs/tests/rngtest2.rng +6 -0
  77. data/tools/test/js_libs/tests/rngtest2.xml +3 -0
  78. data/tools/test/js_libs/tests/rngtest3.html +60 -0
  79. data/tools/test/js_libs/tests/rngtest3.rng +23 -0
  80. data/tools/test/js_libs/tests/rngtest3.xml +9 -0
  81. data/tools/test/js_libs/tests/rngtest4.html +60 -0
  82. data/tools/test/js_libs/tests/rngtest4.rng +19 -0
  83. data/tools/test/js_libs/tests/rngtest4.xml +12 -0
  84. data/tools/test/js_libs/tests/rngtest5.html +60 -0
  85. data/tools/test/js_libs/tests/rngtest5.rng +75 -0
  86. data/tools/test/js_libs/tests/rngtest5.xml +40 -0
  87. data/tools/test/js_libs/tests/rngtest6.html +60 -0
  88. data/tools/test/js_libs/tests/rngtest6.rng +24 -0
  89. data/tools/test/js_libs/tests/rngtest6.xml +6 -0
  90. data/tools/test/js_libs/tests/rngtest8.html +60 -0
  91. data/tools/test/js_libs/tests/rngtest8.rng +13 -0
  92. data/tools/test/js_libs/tests/rngtest8.xml +2 -0
  93. data/tools/test/js_libs/tests/rngtest9.html +60 -0
  94. data/tools/test/js_libs/tests/rngtest9.rng +31 -0
  95. data/tools/test/js_libs/tests/rngtest9.xml +8 -0
  96. data/tools/test/js_libs/ui.css +333 -0
  97. data/tools/test/js_libs/ui.html +168 -0
  98. data/tools/test/js_libs/ui.js +177 -0
  99. data/tools/test/js_libs/underscore.min.js +27 -0
  100. data/tools/test/js_libs/util.js +81 -0
  101. data/tools/test/js_libs/vkbeautify.0.99.00.beta.js +358 -0
  102. data/tools/test/js_libs/vkbeautify.js +1 -0
  103. data/tools/test/js_libs/webcomponents.min.js +196 -0
  104. data/tools/test/model.html +192 -0
  105. data/tools/test/rngs/attributes.rng +8 -0
  106. data/tools/test/rngs/dataelements.rng +8 -0
  107. data/tools/test/rngs/endpoints.rng +8 -0
  108. data/tools/test/templates.legacy/Async.xml +46 -0
  109. data/tools/test/templates.legacy/BCO.xml +70 -0
  110. data/tools/test/templates.legacy/BCS.xml +70 -0
  111. data/tools/test/templates.legacy/Centurio.xml +75 -0
  112. data/tools/test/templates.legacy/Concurrent.xml +40 -0
  113. data/tools/test/templates.legacy/Coopis Testset.xml +76 -0
  114. data/tools/test/templates.legacy/Endpoints and Data Manipulation.xml +30 -0
  115. data/tools/test/templates.legacy/ICSOC Testset.xml +95 -0
  116. data/tools/test/templates.legacy/Infinity.xml +28 -0
  117. data/tools/test/templates.legacy/Lego Boxer.xml +31 -0
  118. data/tools/test/templates.legacy/Lego Conveyor.xml +31 -0
  119. data/tools/test/templates.legacy/Lego Crane.xml +87 -0
  120. data/tools/test/templates.legacy/Lego Ejector.xml +55 -0
  121. data/tools/test/templates.legacy/Lego Full.xml +142 -0
  122. data/tools/test/templates.legacy/Lego Liddy.xml +40 -0
  123. data/tools/test/templates.legacy/Lego Plate.xml +31 -0
  124. data/tools/test/templates.legacy/Lego Transporter.xml +43 -0
  125. data/tools/test/templates.legacy/Lego_Part_1.xml +85 -0
  126. data/tools/test/templates.legacy/LgLinear.xml +65 -0
  127. data/tools/test/templates.legacy/Linear.xml +77 -0
  128. data/tools/test/templates.legacy/Log.xml +117 -0
  129. data/tools/test/templates.legacy/Mangler 1.xml +87 -0
  130. data/tools/test/templates.legacy/Mangler 2.xml +103 -0
  131. data/tools/test/templates.legacy/Manuel Labels.xml +55 -0
  132. data/tools/test/templates.legacy/Promise.xml +275 -0
  133. data/tools/test/templates.legacy/SOPROMO Test Sonification.xml +83 -0
  134. data/tools/test/templates.legacy/Subprocess.xml +56 -0
  135. data/tools/test/templates.legacy/Syncing P34 1.xml +77 -0
  136. data/tools/test/templates.legacy/Syncing P34 2.xml +77 -0
  137. data/tools/test/templates.legacy/Syncing P34 3.xml +77 -0
  138. data/tools/test/templates.legacy/Syncing P34.xml +77 -0
  139. data/tools/test/templates.legacy/TEST - Bad Loop.xml +173 -0
  140. data/tools/test/templates.legacy/TEST - Wrong Positions.xml +174 -0
  141. data/tools/test/templates.legacy/Take_5.xml +48 -0
  142. data/tools/test/templates.legacy/Update.xml +32 -0
  143. data/tools/test/templates.legacy/Worklist Parallel.xml +104 -0
  144. data/tools/test/templates.legacy/Worklist Test CPEE.xml +40 -0
  145. data/tools/test/templates.legacy/Worklist Test.xml +42 -0
  146. data/tools/test/templates.legacy/Worklist Test2.xml +43 -0
  147. data/tools/test/templates.legacy/convert_cpee2.rb +15 -0
  148. data/tools/test/templates.legacy/convert_preset.rb +32 -0
  149. data/tools/test/templates.legacy/testsets.xml +37 -0
  150. data/tools/test/templates.legacy/transformations.xml +4 -0
  151. data/tools/test/templates/Coopis 2010.xml +76 -0
  152. data/tools/test/templates/IUPC arXiv:1104.3609 P34 1.xml +77 -0
  153. data/tools/test/templates/IUPC arXiv:1104.3609 P34 2.xml +77 -0
  154. data/tools/test/templates/IUPC arXiv:1104.3609 P34 3.xml +77 -0
  155. data/tools/test/templates/Track Test Local.xml +82 -0
  156. data/tools/test/templates/Track Test.xml +82 -0
  157. data/tools/test/templates/UR-VUE 2020 Manual Adjust.xml +182 -0
  158. data/tools/test/templates/UR-VUE 2020 Solution Baseline.xml +203 -0
  159. data/tools/test/templates/UR-VUE 2020 Solution NN.xml +197 -0
  160. data/tools/test/templates/UR-VUE 2020 Solution View.xml +151 -0
  161. data/tools/test/templates/UR-VUE 2020.xml +26 -0
  162. data/tools/test/templates/Worklist.xml +42 -0
  163. data/tools/test/templates/instantiate.local/Take_Sub.xml +59 -0
  164. data/tools/test/templates/instantiate/Take_Perf.xml +46 -0
  165. data/tools/test/templates/instantiate/Take_Sub.xml +58 -0
  166. data/tools/test/templates/instantiate/Take_X.xml +48 -0
  167. data/tools/test/themes/compact/theme.js +1285 -0
  168. data/tools/test/themes/diana/theme.js +1650 -0
  169. data/tools/test/themes/extended/theme.js +1325 -0
  170. data/tools/test/themes/model/rngs/alternative.rng +1 -0
  171. data/tools/test/themes/model/rngs/call.rng +67 -0
  172. data/tools/test/themes/model/rngs/callmanipulate.rng +72 -0
  173. data/tools/test/themes/model/rngs/choose.rng +1 -0
  174. data/tools/test/themes/model/rngs/critical.rng +1 -0
  175. data/tools/test/themes/model/rngs/escape.rng +1 -0
  176. data/tools/test/themes/model/rngs/group.rng +1 -0
  177. data/tools/test/themes/model/rngs/loop.rng +1 -0
  178. data/tools/test/themes/model/rngs/manipulate.rng +1 -0
  179. data/tools/test/themes/model/rngs/otherwise.rng +1 -0
  180. data/tools/test/themes/model/rngs/parallel.rng +1 -0
  181. data/tools/test/themes/model/rngs/parallel_branch.rng +1 -0
  182. data/tools/test/themes/model/rngs/scripts.rng +7 -0
  183. data/tools/test/themes/model/rngs/stop.rng +1 -0
  184. data/tools/test/themes/model/rngs/terminate.rng +1 -0
  185. data/tools/test/themes/model/theme.js +1268 -0
  186. data/tools/test/themes/packed/theme.js +1286 -0
  187. data/tools/test/themes/preset/rngs/alternative.rng +25 -0
  188. data/tools/test/themes/preset/rngs/call.rng +122 -0
  189. data/tools/test/themes/preset/rngs/callmanipulate.rng +145 -0
  190. data/tools/test/themes/preset/rngs/choose.rng +14 -0
  191. data/tools/test/themes/preset/rngs/closed_loop.rng +62 -0
  192. data/tools/test/themes/preset/rngs/closed_loop_cancel.rng +5 -0
  193. data/tools/test/themes/preset/rngs/closed_loop_control.rng +31 -0
  194. data/tools/test/themes/preset/rngs/closed_loop_measuring.rng +12 -0
  195. data/tools/test/themes/preset/rngs/critical.rng +5 -0
  196. data/tools/test/themes/preset/rngs/escape.rng +1 -0
  197. data/tools/test/themes/preset/rngs/group.rng +3 -0
  198. data/tools/test/themes/preset/rngs/loop.rng +22 -0
  199. data/tools/test/themes/preset/rngs/manipulate.rng +9 -0
  200. data/tools/test/themes/preset/rngs/otherwise.rng +22 -0
  201. data/tools/test/themes/preset/rngs/parallel.rng +21 -0
  202. data/tools/test/themes/preset/rngs/parallel_branch.rng +8 -0
  203. data/tools/test/themes/preset/rngs/scripts.rng +23 -0
  204. data/tools/test/themes/preset/rngs/stop.rng +5 -0
  205. data/tools/test/themes/preset/rngs/terminate.rng +1 -0
  206. data/tools/test/themes/preset/symbols/alternative.svg +5 -0
  207. data/tools/test/themes/preset/symbols/arrow.svg +3 -0
  208. data/tools/test/themes/preset/symbols/call.svg +6 -0
  209. data/tools/test/themes/preset/symbols/callmanipulate.svg +8 -0
  210. data/tools/test/themes/preset/symbols/choose.svg +5 -0
  211. data/tools/test/themes/preset/symbols/choose_exclusive.svg +5 -0
  212. data/tools/test/themes/preset/symbols/choose_inclusive.svg +4 -0
  213. data/tools/test/themes/preset/symbols/closed_loop.svg +5 -0
  214. data/tools/test/themes/preset/symbols/closed_loop_cancel.svg +5 -0
  215. data/tools/test/themes/preset/symbols/closed_loop_control.svg +5 -0
  216. data/tools/test/themes/preset/symbols/closed_loop_measuring.svg +6 -0
  217. data/tools/test/themes/preset/symbols/complex.svg +8 -0
  218. data/tools/test/themes/preset/symbols/critical.svg +4 -0
  219. data/tools/test/themes/preset/symbols/end.svg +3 -0
  220. data/tools/test/themes/preset/symbols/escape.svg +5 -0
  221. data/tools/test/themes/preset/symbols/event_end.svg +3 -0
  222. data/tools/test/themes/preset/symbols/loop.svg +5 -0
  223. data/tools/test/themes/preset/symbols/manipulate.svg +4 -0
  224. data/tools/test/themes/preset/symbols/otherwise.svg +5 -0
  225. data/tools/test/themes/preset/symbols/parallel.svg +5 -0
  226. data/tools/test/themes/preset/symbols/parallel_branch.svg +5 -0
  227. data/tools/test/themes/preset/symbols/parallel_branch_compact.svg +4 -0
  228. data/tools/test/themes/preset/symbols/parallel_branch_event.svg +14 -0
  229. data/tools/test/themes/preset/symbols/parallel_branch_normal.svg +5 -0
  230. data/tools/test/themes/preset/symbols/scripts.svg +4 -0
  231. data/tools/test/themes/preset/symbols/start.svg +3 -0
  232. data/tools/test/themes/preset/symbols/stop.svg +5 -0
  233. data/tools/test/themes/preset/symbols/terminate.svg +4 -0
  234. data/tools/test/themes/preset/theme.js +1287 -0
  235. data/tools/test/track.html +142 -0
  236. metadata +221 -2
@@ -0,0 +1,24 @@
1
+ #areamodel input[type=file] { display: none; }
2
+ #areamodel div.section { display: table-cell; vertical-align: middle; }
3
+ #areamodel div.section:nth-child(1) { padding: 0 0.5em 0 0; white-space: nowrap; }
4
+ #areamodel div.section:nth-child(2) { border-left: 1px solid var(--x-ui-border-color); padding: 0 0.5em; white-space: nowrap; }
5
+ #areamodel div.section:nth-child(3) { border-left: 1px solid var(--x-ui-border-color); padding: 0 0.5em; white-space: nowrap; }
6
+ #areamodel div.section:nth-child(4) { border-left: 1px solid var(--x-ui-border-color); padding: 0 0 0 0.5em; white-space: nowrap; }
7
+
8
+ #areamodel div.section:nth-child(1) button { white-space: normal; vertical-align: middle; margin: 0; padding: 0; }
9
+ #areamodel div.section:nth-child(1) button[name=save] { white-space: normal; width: 10em; height: 5.5em; margin-left: 0.2em; }
10
+
11
+ #areamodel div.section:nth-child(2) div { white-space: normal; vertical-align: middle; margin: 0; padding: 0; }
12
+ #areamodel div.section:nth-child(2) button { white-space: normal; vertical-align: middle; margin: 0; padding: 0; }
13
+ #areamodel div.section:nth-child(2) div:nth-child(2) { white-space: normal; text-align: right; }
14
+ #areamodel div.section:nth-child(2) button[name=loadtestsetfile] { white-space: normal; width: 10em; height: 3.5em; margin-left: 0.2em; }
15
+ #areamodel div.section:nth-child(2) button[name=loadmodelfile] { white-space: normal; width: 10em; height: 2em; margin-top: 0.2em; }
16
+
17
+ #areamodel div.section:nth-child(3) div { white-space: normal; vertical-align: middle; margin: 0; padding: 0; }
18
+ #areamodel div.section:nth-child(3) button { white-space: normal; vertical-align: middle; margin: 0; padding: 0; }
19
+ #areamodel div.section:nth-child(3) div:nth-child(2) { white-space: normal; text-align: right; }
20
+ #areamodel div.section:nth-child(3) button[name=savetestsetfile] { white-space: normal; width: 10em; height: 3.5em; margin-left: 0.2em; }
21
+ #areamodel div.section:nth-child(3) button[name=savesvgfile] { white-space: normal; width: 10em; height: 2em; margin-top: 0.2em; }
22
+
23
+ #areamodel div.section:nth-child(4) div { white-space: normal; vertical-align: middle; margin: 0; padding: 0; }
24
+ #areamodel div.section:nth-child(4) button[name=loadmodeltype] { white-space: normal; width: 10em; height: 2em; }
@@ -0,0 +1,60 @@
1
+ #trackfull {
2
+ display: flex;
3
+ flex-direction:row;
4
+ align-items: stretch;
5
+ height: 100vh;
6
+ }
7
+ #graphcolumn {
8
+ flex: 0 1 auto;
9
+ width: 35em;
10
+ min-width: 15em;
11
+ border-right: 0 none;
12
+ overflow: auto;
13
+ }
14
+ #graphcolumn.resize {
15
+ resize: horizontal;
16
+ }
17
+
18
+ #trackcolumn {
19
+ flex: 1 1 auto;
20
+ display: flex;
21
+ flex-direction:column;
22
+ align-items: stretch;
23
+ }
24
+
25
+ #trackcolumn iframe {
26
+ flex: 1 1 auto;
27
+ border: 0 none;
28
+ padding: 0;
29
+ margin: 0;
30
+ border-left: 0.1em solid var(--x-ui-border-color);
31
+ border-bottom: 0.1em solid var(--x-ui-border-color);
32
+ overflow: scroll;
33
+ }
34
+
35
+ #trackusage {
36
+ line-height: 2em;
37
+ margin-top: 0.5em;
38
+ margin-left: 2em;
39
+ margin-right: 1em;
40
+ }
41
+ #trackusage button {
42
+ width: 2em;
43
+ height: 2em;
44
+ vertical-align: middle;
45
+ }
46
+ #current-instance[href]:after {
47
+ content: "";
48
+ }
49
+
50
+ #tracktitle {
51
+ white-space: nowrap;
52
+ margin-bottom: 0.1em;
53
+ }
54
+
55
+ #current-log[href]:before {
56
+ content: "[";
57
+ }
58
+ #current-log[href]:after {
59
+ content: "]";
60
+ }
@@ -0,0 +1,214 @@
1
+ body {
2
+ -webkit-user-select: none;
3
+ -moz-user-select: -moz-none;
4
+ -ms-user-select: none;
5
+ user-select: none;
6
+ font-family: sans-serif;
7
+ font-size: 1em;
8
+ }
9
+
10
+ @font-face {
11
+ font-family: 'FontAwesome';
12
+ src: url('https://cdnjs.cloudflare.com/ajax/libs/font-awesome/4.7.0/fonts/fontawesome-webfont.ttf?v=4.7.0') format('truetype');
13
+ font-weight: normal;
14
+ font-style: normal;
15
+ }
16
+
17
+ #graphgrid {
18
+ display: grid;
19
+ grid-gap: 0;
20
+ width: 100%;
21
+ }
22
+ #graphcanvas {
23
+ grid-column: 1;
24
+ }
25
+ #graphgrid .graphlabel {
26
+ padding-left: 0.5em;
27
+ padding-right: 0.5em;
28
+ display: flex;
29
+ flex-direction: row;
30
+ }
31
+ #graphgrid .graphempty {
32
+ padding-left: 0.5em;
33
+ display: flex;
34
+ flex-direction: row;
35
+ }
36
+ #graphgrid .graphlast {
37
+ padding-left: 0.5em;
38
+ display: flex;
39
+ flex-direction: row;
40
+ }
41
+ #graphgrid.striped .graphlabel, #graphgrid.striped .graphempty {
42
+ border-left: 1pt solid var(--wfadaptor-border);
43
+ }
44
+ #graphgrid.striped .graphlabel.even, #graphgrid.striped .graphempty.even, #graphgrid.striped .graphlast.even {
45
+ background-color: #e9e9e9;
46
+ }
47
+ #graphgrid .graphlabel > span {
48
+ align-self: center;
49
+ white-space: nowrap;
50
+ }
51
+ #graphgrid .graphlabel.hover {
52
+ color: var(--wfadaptor-selected);
53
+ cursor: pointer;
54
+ }
55
+ #graphgrid .graphlabel.selected {
56
+ color: var(--wfadaptor-selected);
57
+ }
58
+
59
+ #graphgrid .graphlabel.selected a, #graphgrid .graphlabel.hover a {
60
+ color: var(--wfadaptor-selected);
61
+ }
62
+ #graphgrid .graphlabel a {
63
+ color: var(--x-ui-light-text-color);
64
+ }
65
+ #graphgrid .graphlabel a::after {
66
+ font: normal normal normal 14px/1 FontAwesome;
67
+ font-size: 0.8em;
68
+ text-rendering: auto;
69
+ content: ' ';
70
+ }
71
+ #graphgrid .graphlabel.selected a::after, graphgrid .graphlabel.hover a::after {
72
+ color: var(--wfadaptor-selected);
73
+ }
74
+
75
+ #instance ui-content { height: 7em; }
76
+
77
+ #areanew td:nth-child(1) { width: 7em; padding-right: 1em; }
78
+ #areanew td:nth-child(3) { width: 16em; padding-left: 1em; }
79
+ #areanew input {
80
+ width: 100%;
81
+ padding: 0.1em 0.5em;
82
+ border: 0.1em solid var(--x-ui-border-color);
83
+ border-radius: 0;
84
+ box-sizing: border-box;
85
+ -moz-box-sizing: border-box;
86
+ -webkit-box-sizing: border-box;
87
+ }
88
+
89
+ #areanew button[name=base] { width: 100%; padding: 0.5em 1em; margin-bottom: 0.1em; }
90
+ #areanew button[name=instance] { width: 100%; padding: 0.5em 1em; }
91
+
92
+ ui-tabbed ui-tabbar ui-behind button {
93
+ margin-left: 0.5em;
94
+ }
95
+
96
+ #current-instance[href]:after {
97
+ content: "|";
98
+ }
99
+ #current-instance-properties[href]:after {
100
+ content: "|";
101
+ }
102
+ #current-instance-subscriptions[href]:after {
103
+ content: "|";
104
+ }
105
+ #current-graph[href]:before {
106
+ content: "|";
107
+ }
108
+
109
+ #parameters ui-content { height: 8.5em; min-height: 1.7em; }
110
+
111
+ #areadataelements { height: 100%; overflow-x: hidden; overflow-y: scroll; }
112
+ #areadataelements button.relaxngui_control { display: none; }
113
+ #areaendpoints { height: 100%; overflow-x: hidden; overflow-y: scroll; }
114
+ #areaendpoints button.relaxngui_control { display: none; }
115
+ #areaattributes { height: 100%; overflow-x: hidden; overflow-y: scroll; }
116
+ #areaattributes button.relaxngui_control { display: none; }
117
+
118
+ #areainstance input[type=file] { display: none; }
119
+ #areainstance div.section { display: table-cell; vertical-align: middle; }
120
+ #areainstance div.section:nth-child(1) { padding: 0 0.5em 0 0; white-space: nowrap; }
121
+ #areainstance div.section:nth-child(2) { border-left: 1px solid var(--x-ui-border-color); padding: 0 0.5em; white-space: nowrap; }
122
+ #areainstance div.section:nth-child(3) { border-left: 1px solid var(--x-ui-border-color); padding: 0 0 0 0.5em; white-space: nowrap; }
123
+
124
+ #areainstance div.section:nth-child(1) div { white-space: normal; vertical-align: middle; margin: 0; padding: 0; }
125
+ #areainstance div.section:nth-child(1) button { white-space: normal; vertical-align: middle; margin: 0; padding: 0; }
126
+ #areainstance div.section:nth-child(1) div:nth-child(2) { white-space: normal; text-align: right; }
127
+ #areainstance div.section:nth-child(1) button[name=loadtestset] { white-space: normal; width: 10em; height: 3.5em; }
128
+ #areainstance div.section:nth-child(1) button[name=loadtestsetfile] { white-space: normal; width: 10em; height: 3.5em; margin-left: 0.2em; }
129
+ #areainstance div.section:nth-child(1) button[name=loadmodelfile] { white-space: normal; width: 10em; height: 2em; margin-top: 0.2em; }
130
+
131
+ #areainstance div.section:nth-child(2) button { white-space: normal; width: 6em; height: 4.5em; vertical-align: middle; margin: 0; padding: 0; }
132
+ #areainstance div.section:nth-child(3) div { white-space: normal; vertical-align: middle; margin: 0; padding: 0; }
133
+ #areainstance div.section:nth-child(3) button[name=loadmodeltype] { white-space: normal; width: 10em; height: 2em; }
134
+
135
+ #areaexecution input { padding: 0; margin:0; }
136
+ #areaexecution table.x-ui-compact { width: 100%; }
137
+ #areaexecution table.x-ui-compact tr td:nth-child(1) { width: 15ex; }
138
+
139
+ #areaexecution table.x-ui-compact tbody.debug tr:last-child td { padding-bottom: 0.5em; }
140
+ #areaexecution table.x-ui-compact tbody.debug tr:last-child td input { vertical-align: middle; }
141
+ #areaexecution table.x-ui-compact tbody.exe tr:first-child td { padding-top: 0.5em; }
142
+ #areaexecution table.x-ui-compact tbody.exe { border-top: 1px solid var(--x-ui-border-color); }
143
+
144
+ #areaexecution table.x-ui-compact tbody.exe td { height: 2.2em; }
145
+
146
+ #arealog > div { padding-left: 1em; padding-top: 1em; }
147
+
148
+ #dat_endpoints {
149
+ border-collapse:collapse;
150
+ border-spacing:0;
151
+ border:0 none;
152
+ margin:0;
153
+ padding:0;
154
+ width: 100%;
155
+ }
156
+
157
+ #dat_dataelements {
158
+ border-collapse:collapse;
159
+ border-spacing:0;
160
+ border:0 none;
161
+ margin:0;
162
+ padding:0;
163
+ width: 100%;
164
+ }
165
+ #dat_attributes {
166
+ border-collapse:collapse;
167
+ border-spacing:0;
168
+ border:0 none;
169
+ margin:0;
170
+ padding:0;
171
+ width: 100%;
172
+ }
173
+
174
+ #areadsl div { padding: 0 1em; }
175
+ #areadsl div:first-child { padding-top: 1em; }
176
+ #areadsl div:last-child { padding-bottom: 1em; }
177
+ #areadsl pre {
178
+ font-family: monospace;
179
+ font-size:1.3em;
180
+ }
181
+
182
+ span.active {
183
+ font-weight: bold;
184
+ color: #cc0000;
185
+ }
186
+ span.passive {
187
+ font-weight: bold;
188
+ color: #3465a4;
189
+ }
190
+ span.vote {
191
+ font-weight: bold;
192
+ color: #73d216;
193
+ }
194
+
195
+ #graphcolumn {
196
+ margin: 0;
197
+ padding: 0;
198
+ border-right: 1px solid var(--x-ui-border-color);
199
+ min-width: 9em;
200
+ }
201
+ #detailcolumn {
202
+ padding-left: 1.5em;
203
+ }
204
+
205
+ #dat_log tr:nth-child(odd) { background-color: #e8e8e8; color: #333; }
206
+
207
+ #dat_details { border: 0 none; border-top: 1em solid white; border-bottom: 1em solid white; width: inherit; border-right: 1em solid white; }
208
+
209
+ #disclaimer {
210
+ padding: 1em;
211
+ overflow: auto;
212
+ }
213
+ #disclaimer p { max-width: 80ex; text-align: justify; }
214
+ #disclaimer input { margin:0; padding:0; vertical-align:bottom; margin-right: 0.5em; }
@@ -0,0 +1,422 @@
1
+ /*
2
+ This file is part of CPEE.
3
+
4
+ CPEE is free software: you can redistribute it and/or modify it under the terms
5
+ of the GNU General Public License as published by the Free Software Foundation,
6
+ either version 3 of the License, or (at your option) any later version.
7
+
8
+ CPEE is distributed in the hope that it will be useful, but WITHOUT ANY
9
+ WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A
10
+ PARTICULAR PURPOSE. See the GNU General Public License for more details.
11
+
12
+ You should have received a copy of the GNU General Public License along with
13
+ CPEE (file COPYING in the main directory). If not, see
14
+ <http://www.gnu.org/licenses/>.
15
+ */
16
+
17
+ :root {
18
+ --wfadaptor-exec-passive: #729fcf;
19
+ --wfadaptor-exec-active: #ef2929;
20
+ --wfadaptor-exec-active-text: #cc0000;
21
+ --wfadaptor-exec-vote: #8ae234;
22
+ --wfadaptor-exec-vote-text: #73d216;
23
+ --wfadaptor-highlight: #0081c7;
24
+ --wfadaptor-base: #000000;
25
+ --wfadaptor-label: #d4d4d4;
26
+ --wfadaptor-mark: #d4d4d4;
27
+ --wfadaptor-selected: #f57900;
28
+ --wfadaptor-stripe: #e9e9e9;
29
+ --wfadaptor-background: #ffffff;
30
+ --wfadaptor-background-menu: #ff7f7f;
31
+ --wfadaptor-border: #a1a1a1;
32
+ }
33
+
34
+ svg {
35
+ display:inline;
36
+ margin:0;
37
+ padding:0;
38
+ }
39
+
40
+ svg rect.group {
41
+ fill: var(--wfadaptor-highlight);
42
+ fill-opacity: 0.2;
43
+ }
44
+
45
+ svg g.passive .rfill {
46
+ fill: var(--wfadaptor-exec-passive);
47
+ fill-opacity:1;
48
+ }
49
+
50
+ svg rect.stripe.even {
51
+ fill: var(--wfadaptor-background);
52
+ }
53
+ svg rect.stripe.odd {
54
+ fill: var(--wfadaptor-stripe);
55
+ }
56
+
57
+ svg g.active .rfill {
58
+ fill: var(--wfadaptor-exec-active);
59
+ fill-opacity:1;
60
+ }
61
+ svg g.vote .rfill {
62
+ fill: var(--wfadaptor-exec-vote);
63
+ fill-opacity:1;
64
+ }
65
+ svg g.passive .rline {
66
+ stroke: var(--wfadaptor-exec-passive);
67
+ }
68
+ svg g.active .rline {
69
+ stroke: var(--wfadaptor-exec-active);
70
+ }
71
+ svg g.vote .rline {
72
+ stroke: var(--wfadaptor-exec-vote);
73
+ }
74
+
75
+ svg .rfill.menu {
76
+ fill: var(--wfadaptor-background-menu);
77
+ fill-opacity:1;
78
+ }
79
+
80
+ svg line.ourline, svg path.ourline {
81
+ stroke-opacity:1;
82
+ stroke: var(--wfadaptor-base);
83
+ stroke-width: 2;
84
+ fill: none;
85
+ }
86
+
87
+ svg rect.block {
88
+ stroke-width: 1;
89
+ stroke-dasharray: 3,5;
90
+ stroke: var(--wfadaptor-base);
91
+ fill: none;
92
+ }
93
+ svg rect.tile {
94
+ stroke-width: 1;
95
+ stroke-dasharray: 3,5;
96
+ fill: var(--wfadaptor-highlight);
97
+ fill-opacity: 0.3;
98
+ display: none;
99
+ }
100
+ svg .stand {
101
+ fill: var(--wfadaptor-background);
102
+ fill-opacity:1;
103
+ stroke: var(--wfadaptor-base);
104
+ stroke-width:1.6;
105
+ stroke-linecap:round;
106
+ stroke-linejoin:round;
107
+ stroke-miterlimit:4;
108
+ stroke-opacity:1;
109
+ stroke-dasharray:none;
110
+ }
111
+ svg .standfat {
112
+ fill: var(--wfadaptor-background);
113
+ fill-opacity:1;
114
+ stroke: var(--wfadaptor-base);
115
+ stroke-width:3;
116
+ stroke-linecap:round;
117
+ stroke-linejoin:round;
118
+ stroke-miterlimit:4;
119
+ stroke-opacity:1;
120
+ stroke-dasharray:none;
121
+ }
122
+ svg .normal {
123
+ fill: var(--wfadaptor-base);
124
+ fill-opacity:1;
125
+ stroke: var(--wfadaptor-base);
126
+ stroke-width:0.2;
127
+ stroke-linecap:round;
128
+ stroke-linejoin:round;
129
+ stroke-miterlimit:4;
130
+ stroke-opacity:1;
131
+ stroke-dasharray:none;
132
+ }
133
+ svg .white {
134
+ fill: var(--wfadaptor-background);
135
+ fill-opacity:1;
136
+ stroke: var(--wfadaptor-background);
137
+ stroke-width:1.6;
138
+ stroke-linecap:round;
139
+ stroke-linejoin:round;
140
+ stroke-miterlimit:4;
141
+ stroke-opacity:1;
142
+ stroke-dasharray:none;
143
+ }
144
+ svg .black {
145
+ fill: var(--wfadaptor-base);
146
+ fill-opacity:1;
147
+ stroke: var(--wfadaptor-base);
148
+ stroke-width: 1.6;
149
+ stroke-linecap:round;
150
+ stroke-linejoin:round;
151
+ stroke-miterlimit:4;
152
+ stroke-opacity:1;
153
+ stroke-dasharray:none;
154
+ }
155
+
156
+ svg .marked text.label {
157
+ color: var(--wfadaptor-label);
158
+ fill: var(--wfadaptor-label);
159
+ }
160
+ svg .marked .cfill {
161
+ fill: var(--wfadaptor-mark);
162
+ fill-opacity:1;
163
+ stroke: var(--wfadaptor-mark);
164
+ stroke-width:0.2;
165
+ stroke-linecap:round;
166
+ stroke-linejoin:round;
167
+ stroke-miterlimit:4;
168
+ stroke-opacity:1;
169
+ stroke-dasharray:none;
170
+ }
171
+ svg .marked .cline {
172
+ stroke: var(--wfadaptor-mark);
173
+ stroke-linecap:round;
174
+ stroke-linejoin:round;
175
+ stroke-miterlimit:4;
176
+ stroke-opacity:1;
177
+ stroke-dasharray:none;
178
+ }
179
+
180
+ svg .selected text.label {
181
+ color: var(--wfadaptor-selected);
182
+ fill: var(--wfadaptor-selected);
183
+ }
184
+ svg .selected .cfill {
185
+ fill: var(--wfadaptor-selected);
186
+ fill-opacity:1;
187
+ stroke: var(--wfadaptor-selected);
188
+ stroke-width:0.2;
189
+ stroke-linecap:round;
190
+ stroke-linejoin:round;
191
+ stroke-miterlimit:4;
192
+ stroke-opacity:1;
193
+ stroke-dasharray:none;
194
+ }
195
+ svg .selected .cline {
196
+ stroke: var(--wfadaptor-selected);
197
+ stroke-linecap:round;
198
+ stroke-linejoin:round;
199
+ stroke-miterlimit:4;
200
+ stroke-opacity:1;
201
+ stroke-dasharray:none;
202
+ }
203
+
204
+ svg .unknown {
205
+ fill: var(--wfadaptor-background);
206
+ fill-opacity:1;
207
+ stroke: var(--wfadaptor-base);
208
+ stroke-width:1.6;
209
+ stroke-linecap:round;
210
+ stroke-linejoin:round;
211
+ stroke-miterlimit:4;
212
+ stroke-opacity:1;
213
+ stroke-dasharray:none;
214
+ }
215
+
216
+ svg .gen {
217
+ fill:ButtonFace;
218
+ fill-opacity:1;
219
+ stroke-opacity:0.7;
220
+ stroke: var(--wfadaptor-base);
221
+ stroke-width:1.6;
222
+ stroke-linecap:round;
223
+ stroke-linejoin:round;
224
+ stroke-miterlimit:4;
225
+ stroke-opacity:1;
226
+ stroke-dasharray:none;
227
+ }
228
+ svg .standwithout {
229
+ fill: var(--wfadaptor-background);
230
+ fill-opacity:1;
231
+ }
232
+ svg .standtrans {
233
+ fill: var(--wfadaptor-background);
234
+ }
235
+ svg text.normal {
236
+ font-size:20px;
237
+ font-style:normal;
238
+ font-variant:normal;
239
+ font-weight:bold;
240
+ font-stretch:normal;
241
+ text-align:center;
242
+ line-height:125%;
243
+ writing-mode:horizontal-tb;
244
+ text-anchor:middle;
245
+ color: var(--wfadaptor-base);
246
+ fill: var(--wfadaptor-base);
247
+ fill-opacity:1;
248
+ stroke:none;
249
+ font-family:Arial;
250
+ }
251
+ svg text.inverted {
252
+ font-size:20px;
253
+ font-style:normal;
254
+ font-variant:normal;
255
+ font-weight:bold;
256
+ font-stretch:normal;
257
+ text-align:center;
258
+ line-height:125%;
259
+ writing-mode:horizontal-tb;
260
+ text-anchor:middle;
261
+ color: var(--wfadaptor-background);
262
+ fill: var(--wfadaptor-background);
263
+ fill-opacity:1;
264
+ stroke:none;
265
+ font-family:Arial;
266
+ }
267
+
268
+ svg text.super {
269
+ font-size:11px;
270
+ font-style:normal;
271
+ font-variant:normal;
272
+ font-weight:bold;
273
+ font-stretch:normal;
274
+ text-align:center;
275
+ line-height:100%;
276
+ writing-mode:horizontal-tb;
277
+ text-anchor:start;
278
+ color: var(--wfadaptor-base);
279
+ fill: var(--wfadaptor-base);
280
+ fill-opacity:1;
281
+ stroke:none;
282
+ font-family:Arial;
283
+ }
284
+ svg tspan.active {
285
+ fill: var(--wfadaptor-exec-active-text);
286
+ display: none;
287
+ }
288
+ svg tspan.vote {
289
+ fill: var(--wfadaptor-exec-vote-text);
290
+ display: none;
291
+ }
292
+ svg tspan.colon {
293
+ display: none;
294
+ }
295
+ svg tspan.necessary {
296
+ display: inline;
297
+ }
298
+
299
+ svg text.normallarge {
300
+ font-size:25px;
301
+ font-style:normal;
302
+ font-variant:normal;
303
+ font-weight:bold;
304
+ font-stretch:normal;
305
+ text-align:center;
306
+ line-height:125%;
307
+ writing-mode:horizontal-tb;
308
+ text-anchor:middle;
309
+ color: var(--wfadaptor-base);
310
+ fill: var(--wfadaptor-base);
311
+ fill-opacity:1;
312
+ stroke:none;
313
+ font-family:Arial;
314
+ }
315
+
316
+ svg text.small {
317
+ font-size:14px;
318
+ font-style:normal;
319
+ font-variant:normal;
320
+ font-weight:bold;
321
+ font-stretch:normal;
322
+ text-align:center;
323
+ line-height:125%;
324
+ writing-mode:horizontal-tb;
325
+ text-anchor:middle;
326
+ color: var(--wfadaptor-base);
327
+ fill: var(--wfadaptor-base);
328
+ fill-opacity:1;
329
+ stroke:none;
330
+ font-family:Arial;
331
+ }
332
+
333
+ svg text.label {
334
+ font-size:14px;
335
+ font-style:normal;
336
+ font-variant:normal;
337
+ font-stretch:normal;
338
+ text-align:center;
339
+ line-height:125%;
340
+ writing-mode:horizontal-tb;
341
+ text-anchor:start;
342
+ color: var(--wfadaptor-base);
343
+ fill: var(--wfadaptor-base);
344
+ fill-opacity:1;
345
+ stroke:none;
346
+ font-family:Arial;
347
+ }
348
+
349
+ svg text.smaller {
350
+ font-size:12px;
351
+ font-style:normal;
352
+ font-variant:normal;
353
+ font-weight:bold;
354
+ font-stretch:normal;
355
+ text-align:center;
356
+ line-height:125%;
357
+ writing-mode:horizontal-tb;
358
+ text-anchor:middle;
359
+ color: var(--wfadaptor-base);
360
+ fill: var(--wfadaptor-base);
361
+ fill-opacity:1;
362
+ stroke:none;
363
+ font-family:Arial;
364
+ }
365
+
366
+ #arrow {
367
+ stroke: var(--wfadaptor-base);
368
+ stroke-width: 2;
369
+ fill: var(--wfadaptor-base);
370
+ }
371
+
372
+ svg g.element[element-id].hover .hfill {
373
+ fill: var(--wfadaptor-selected);
374
+ fill-opacity:1;
375
+ cursor: pointer;
376
+ }
377
+ svg g.element[element-id].hover .hline {
378
+ fill: var(--wfadaptor-selected);
379
+ fill-opacity:1;
380
+ stroke: var(--wfadaptor-selected);
381
+ stroke-linecap:round;
382
+ stroke-linejoin:round;
383
+ stroke-miterlimit:4;
384
+ stroke-opacity:1;
385
+ stroke-dasharray:none;
386
+ cursor: pointer;
387
+ }
388
+ svg g.element[element-id].hover .htext {
389
+ fill: var(--wfadaptor-selected);
390
+ fill-opacity:1;
391
+ stroke: var(--wfadaptor-selected);
392
+ stroke-width:0.2;
393
+ stroke-linecap:round;
394
+ stroke-linejoin:round;
395
+ stroke-miterlimit:4;
396
+ stroke-opacity:1;
397
+ stroke-dasharray:none;
398
+ cursor: pointer;
399
+ }
400
+ svg g.element[element-id].hover > text.label {
401
+ color: var(--wfadaptor-selected);
402
+ fill: var(--wfadaptor-selected);
403
+ }
404
+ svg g.element[element-id].hover .cfill {
405
+ fill: var(--wfadaptor-base);
406
+ fill-opacity:1;
407
+ stroke: var(--wfadaptor-base);
408
+ stroke-width:0.2;
409
+ stroke-linecap:round;
410
+ stroke-linejoin:round;
411
+ stroke-miterlimit:4;
412
+ stroke-opacity:1;
413
+ stroke-dasharray:none;
414
+ }
415
+ svg g.element[element-id].hover .cline {
416
+ stroke: var(--wfadaptor-base);
417
+ stroke-linecap:round;
418
+ stroke-linejoin:round;
419
+ stroke-miterlimit:4;
420
+ stroke-opacity:1;
421
+ stroke-dasharray:none;
422
+ }