cpee 1.3.176 → 1.3.177

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (47) hide show
  1. checksums.yaml +4 -4
  2. data/cockpit/css/ui.css +26 -65
  3. data/cockpit/index.html +60 -77
  4. data/cockpit/js/details.js +8 -3
  5. data/cockpit/js/instance.js +24 -23
  6. data/cockpit/js/ui.js +1 -18
  7. data/cockpit/js/wfadaptor.cpee.js +452 -598
  8. data/cockpit/lib/ui.css +120 -124
  9. data/cockpit/lib/ui.js +84 -34
  10. data/cockpit/lib/wfadaptor.css +5 -5
  11. data/cockpit/lib/wfadaptor.js +5 -11
  12. data/cockpit/testsets/Worklist Parallel.xml +97 -0
  13. data/cockpit/testsets/Worklist Test CPEE.xml +39 -0
  14. data/cpee.gemspec +5 -5
  15. data/lib/cpee/controller.rb +1 -1
  16. data/lib/cpee/processtransformation/cpee.rb +2 -3
  17. data/server/instances/38/properties.xml +46 -0
  18. data/server/instances/39/properties.xml +58 -0
  19. data/server/instances/40/properties.xml +148 -0
  20. data/server/instances/41/properties.xml +46 -0
  21. data/server/instances/42/properties.xml +148 -0
  22. data/server/instances/43/notifications/9e7d05164a8539415d008b5bca3e0672/consumer-secret +1 -0
  23. data/server/instances/43/notifications/9e7d05164a8539415d008b5bca3e0672/producer-secret +1 -0
  24. data/server/instances/{37/notifications/2b67c793efcea22d88beaa28249001be → 43/notifications/9e7d05164a8539415d008b5bca3e0672}/subscription.xml +0 -0
  25. data/server/instances/43/properties.xml +148 -0
  26. data/server/instances/44/properties.xml +148 -0
  27. data/server/instances/45/notifications/442ed76f5da42dc9c57713840d713510/consumer-secret +1 -0
  28. data/server/instances/45/notifications/442ed76f5da42dc9c57713840d713510/producer-secret +1 -0
  29. data/server/instances/45/notifications/442ed76f5da42dc9c57713840d713510/subscription.xml +34 -0
  30. data/server/instances/45/properties.xml +148 -0
  31. data/server/instances/46/properties.xml +46 -0
  32. data/server/instances/47/notifications/63fba892899cc92fca381a666089e8d9/consumer-secret +1 -0
  33. data/server/instances/47/notifications/63fba892899cc92fca381a666089e8d9/producer-secret +1 -0
  34. data/server/instances/47/notifications/63fba892899cc92fca381a666089e8d9/subscription.xml +34 -0
  35. data/server/instances/47/notifications/e0cdacd3147aa31b0478a3ab1155db6c/consumer-secret +1 -0
  36. data/server/instances/47/notifications/e0cdacd3147aa31b0478a3ab1155db6c/producer-secret +1 -0
  37. data/server/instances/47/notifications/e0cdacd3147aa31b0478a3ab1155db6c/subscription.xml +34 -0
  38. data/server/instances/47/properties.xml +148 -0
  39. data/server/resources/transformation_dslx.xsl +4 -4
  40. data/server/server.pid +1 -0
  41. data/test/cb.rb +3 -3
  42. metadata +39 -20
  43. data/cockpit/lib/jquery-ui.custom.min.js +0 -8
  44. data/cockpit/lib/jquery-ui.custom.min.txt +0 -16
  45. data/cockpit/lib/jquery.redraw.js +0 -3
  46. data/server/instances/37/notifications/2b67c793efcea22d88beaa28249001be/consumer-secret +0 -1
  47. data/server/instances/37/notifications/2b67c793efcea22d88beaa28249001be/producer-secret +0 -1
@@ -17,9 +17,12 @@
17
17
  html, body {
18
18
  font-family: sans-serif,Arial,Verdana,Helvetica;
19
19
  font-size: 0.85em;
20
+ height: 100%;
20
21
  }
21
22
 
22
23
  body {
24
+ display: flex;
25
+ flex-direction: column;
23
26
  background-color:#FFFFFF;
24
27
  padding:0;
25
28
  margin:0;
@@ -34,6 +37,23 @@ textarea, input, select, button {
34
37
  resize: none;
35
38
  }
36
39
 
40
+ button {
41
+ padding: .1em .2em;
42
+ border: 1pt solid ButtonShadow;
43
+ border-radius: 0.2em;
44
+ margin: 0;
45
+ font-size: 0.9em;
46
+ background: ButtonFace;
47
+ background: -webkit-gradient(linear, left top, left bottom, from(white), to(ButtonFace));
48
+ background: -moz-linear-gradient(top, white, ButtonFace);
49
+ }
50
+ button::-moz-focus-inner {
51
+ border: 0 none;
52
+ padding: 0;
53
+ margin: 0;
54
+ }
55
+
56
+ input { font-family: sans-serif; font-size: 1em; }
37
57
  input::-webkit-input-placeholder { color: red; }
38
58
  input:-moz-placeholder { color: red; }
39
59
 
@@ -42,192 +62,180 @@ a:visited { color:#425d73; text-decoration:none; }
42
62
  a:hover { color:#000000; text-decoration:underline; }
43
63
  a:active { color:#000000; text-decoration:underline; }
44
64
 
45
- div.tabbed table.tabbar {
46
- padding: 0;
47
- margin: 0;
65
+ ui-tabbed {
66
+ min-height: -webkit-min-content;
67
+ min-height: -moz-min-content;
68
+ min-height: min-content;
69
+ margin-top: 1em;
48
70
  margin-left: 1em;
49
71
  margin-right: 1em;
72
+ }
73
+ ui-rest {
74
+ display: flex;
75
+ align-items: stretch;
76
+ flex-direction: column;
77
+ padding: 0;
78
+ margin: 0;
50
79
  margin-top: 1em;
51
- border-spacing:0;
52
- border-collapse: separate;
80
+ flex: 1 1 auto;
53
81
  }
54
82
 
55
- div.tabbed.rest table.tabbar {
83
+ ui-tabbed.off {
84
+ border-bottom: 0.2em solid ButtonShadow;
85
+ border-radius: 0;
86
+ }
87
+ ui-tabbed.off ui-content {
88
+ display: none;
89
+ }
90
+ ui-tabbed.off ui-tabbar ui-behind {
91
+ display: none;
92
+ }
93
+
94
+ ui-tabbar {
95
+ display: flex;
96
+ align-items: stretch;
97
+ flex-direction: row;
56
98
  padding: 0;
57
99
  margin: 0;
58
- margin-left: 0em;
59
- margin-right: 0em;
60
- margin-top: 1.3em;
61
- border-spacing:0;
62
- border-collapse: separate;
63
100
  }
64
-
65
- div.tabbed table.tabbar h1 {
66
- font-size: 1.4em;
67
- margin-top: 0em;
68
- padding-top: 0em;
69
- padding-bottom: 0em;
70
- }
71
-
72
- div.tabbed table.tabbar .switch h1:before {
101
+ ui-tabbed ui-tabbar ui-tab.switch {
102
+ background-color: ButtonFace;
103
+ }
104
+ ui-tabbed ui-tabbar ui-tab.switch:after {
73
105
  content: "▽";
106
+ font-weight: bold;
74
107
  vertical-align:top;
75
108
  color: ButtonText;
76
109
  }
77
- div.tabbed table.tabbar .switch h1.margin:before {
110
+ ui-tabbed.off ui-tabbar ui-tab.switch:after {
78
111
  content: "▶";
112
+ font-weight: bold;
79
113
  color: ButtonText;
80
114
  vertical-align:top;
81
115
  }
82
116
 
83
- div.tabbed table.tabbar tr:first-child { height: 2.6em; }
84
- div.tabbed table.tabbar .tab {
117
+ ui-tabbar ui-tab {
118
+ font-size: 1.4em;
119
+ font-weight: bold;
120
+ white-space: nowrap;
121
+
85
122
  cursor: pointer;
86
- padding: 0em;
87
- padding-left: 1em;
88
- padding-right: 1em;
123
+ padding: 0.3em 0.5em;
89
124
  border: 1pt solid ButtonShadow;
90
125
  border-bottom: 1pt solid white;
91
126
  border-radius: 1em;
92
127
  border-bottom-left-radius: 0em;
93
128
  border-bottom-right-radius: 0em;
94
- width:0%;
95
- -moz-border-radius: 1em;
96
- -moz-border-radius-bottomleft: 0em;
97
- -moz-border-radius-bottomright: 0em;
98
- -webkit-border-radius: 1em;
99
- -webkit-border-bottom-left-radius: 0em;
100
- -webkit-border-bottom-right-radius: 0em;
101
129
  }
102
- div.tabbed table.tabbar .tab h1 { margin-top: 0em; margin-bottom: 0em; padding-top: 0em; padding-bottom: 0em; }
103
- div.tabbed table.tabbar .tab h1 { white-space: nowrap; }
104
- div.tabbed table.tabbar .tab.inactive {
130
+ ui-tabbar ui-tab.inactive, ui-tabbed ui-tabbar ui-tab.switch {
105
131
  border: 1pt solid ButtonShadow;
106
132
  border-radius: 1em;
107
133
  border-bottom-left-radius: 0em;
108
134
  border-bottom-right-radius: 0em;
109
- -moz-border-radius: 1em;
110
- -moz-border-radius-bottomleft: 0em;
111
- -moz-border-radius-bottomright: 0em;
112
- -webkit-border-radius: 1em;
113
- -webkit-border-bottom-left-radius: 0em;
114
- -webkit-border-bottom-right-radius: 0em;
115
135
  }
116
136
 
117
- div.tabbed table.tabbar td.tabbehind {
137
+ ui-tabbar ui-behind {
138
+ flex: 1 1 auto;
118
139
  vertical-align:bottom;
119
- padding:0.2em 0em;
140
+ padding: 0;
141
+ padding-top: 0.9em;
120
142
  border-bottom: 1pt solid buttonshadow;
121
143
  border-radius: 1em;
122
144
  border-bottom-left-radius: 0em;
123
145
  border-bottom-right-radius: 0em;
124
- width:100%;
125
- -moz-border-radius: 1em;
126
- -moz-border-radius-bottomleft: 0em;
127
- -moz-border-radius-bottomright: 0em;
128
- -webkit-border-radius: 1em;
129
- -webkit-border-bottom-left-radius: 0em;
130
- -webkit-border-bottom-right-radius: 0em;
131
146
  text-align:right;
132
147
  white-space: nowrap;
133
- overflow: hidden;
134
148
  }
135
- div.tabbed.rest table.tabbar td.tabbehind {
149
+ ui-rest ui-tabbar ui-behind {
136
150
  padding-right: 1em;
137
151
  }
138
152
 
139
- div.tabbed table.tabbar td.tabbefore {
153
+ ui-rest ui-tabbar ui-before {
140
154
  border-bottom: 1pt solid buttonshadow;
141
155
  padding-left:1em;
142
156
  }
143
157
 
144
- div.tabbed table.tabbar tr.border td {
145
- height:0.1em;
146
- background-color: ButtonShadow;
147
- border-left: 1pt solid ButtonShadow;
148
- border-right: 1pt solid ButtonShadow;
149
- border-bottom: 1pt solid ButtonShadow;
150
- }
151
-
152
- div.tabbed table.tabbar td.switch {
153
- background-color: ButtonFace;
154
- border-bottom: 1pt solid ButtonShadow;
155
- }
156
-
157
- div.tabbed .tabbelow {
158
- margin-left: 1em;
159
- margin-right: 1em;
158
+ ui-content {
160
159
  padding: 1em;
160
+ margin: 0;
161
161
  border-bottom: 1pt solid ButtonShadow;
162
162
  border-left: 1pt solid ButtonShadow;
163
163
  border-right: 1pt solid ButtonShadow;
164
- border-radius: 1em;
165
- border-top-left-radius: 0em;
166
- border-top-right-radius: 0em;
167
- -moz-border-radius: 1em;
168
- -moz-border-radius-topleft: 0em;
169
- -moz-border-radius-topright: 0em;
170
- -webkit-border-radius: 1em;
171
- -webkit-border-top-left-radius: 0em;
172
- -webkit-border-top-right-radius: 0em;
164
+ border-bottom-left-radius: 1em;
165
+ border-bottom-right-radius: 1em;
173
166
  }
174
167
 
175
- div.tabbed.rest .tabbelow {
176
- padding: 1em;
168
+ ui-rest ui-content {
169
+ padding: 0;
177
170
  margin: 0;
178
171
  border-radius: 0;
179
172
  border: 0 none;
180
- -moz-border-radius: 0;
181
- -webkit-border-radius: 0;
182
173
 
183
- overflow: auto;
174
+ display: flex;
175
+ height: 0;
176
+ flex-direction: row;
177
+ flex: 1 1 auto;
184
178
  }
185
179
 
186
- div.tabbed.rest .tabbelow.columns {
187
- padding:0;
188
- overflow: hidden;
189
- border-collapse:collapse;
190
- border-spacing:0;
191
- width:100%
180
+ ui-rest ui-content ui-area {
181
+ flex: 1 1 0%;
182
+ overflow-x: auto;
183
+ overflow-y: scroll;
192
184
  }
193
- div.tabbed.rest .tabbelow.columns > tbody > tr > td {
185
+
186
+ ui-rest ui-content ui-resizehandle {
187
+ position:absolute;
188
+ color: ButtonShadow;
189
+ white-space:nowrap;
190
+ cursor: ew-resize;
191
+ -webkit-transform: rotate(90deg);
192
+ -webkit-transform-origin: 0% 100%;
193
+ -moz-transform: rotate(90deg);
194
+ -moz-transform-origin: left bottom;
195
+ margin-top: -1em;
196
+ }
197
+
198
+ ui-content ui-area {
194
199
  margin: 0;
195
200
  padding: 0;
196
- border: 0 none;
197
- vertical-align: top;
198
201
  }
199
- div.tabbed.rest .tabbelow.columns .column {
200
- -moz-box-sizing: border-box;
201
- -webkit-box-sizing: border-box;
202
- box-sizing: border-box;
203
202
 
204
- margin:0;
205
- padding: 1em;
203
+ *[is=x-ui] > ui-resizehandle {
204
+ color: ButtonShadow;
205
+ white-space:nowrap;
206
+ z-index: 99999;
207
+ cursor: s-resize;
208
+ text-align: right;
209
+ margin-top: 0.2em;
210
+ margin-right: 1em;
211
+ }
206
212
 
207
- overflow: auto;
208
- top: 0;
209
- }
213
+ ui-tabbed, ui-content, ui-area { display: block; }
214
+ ui-content ui-area.inactive, ui-content ui-resizehandle.inactive, ui-rest ui-content ui-resizehandle.inactive { display: none }
210
215
 
211
- div.tabbed .tabbelow.inactive, div.tabbed .tabbelow .inactive { display: none; }
212
- div.tabbed .tabbelow .layout {
216
+ ui-content ui-area .layout {
213
217
  width: 100%;
214
218
  border-collapse:collapse;
215
219
  border-spacing:0;
216
- border:0 none;
220
+ border: 0 none;
217
221
  padding:0;
218
222
  margin:0;
219
223
  }
220
- div.tabbed .tabbelow .layout td {
224
+ ui-rest ui-content ui-area .layout {
225
+ border:1em solid white;
226
+ box-sizing:border-box;
227
+ }
228
+ ui-content ui-area .layout td {
221
229
  border:0 none;
222
230
  padding:0;
223
231
  margin:0;
224
232
  }
225
- div.tabbed .tabbelow .layout tr {
233
+ ui-content ui-area .layout tr {
226
234
  border:0 none;
227
235
  padding:0;
228
236
  margin:0;
229
237
  }
230
- div.tabbed .tabbelow .compact {
238
+ ui-content ui-area .compact {
231
239
  border-collapse:collapse;
232
240
  border-spacing:0;
233
241
  border:0 none;
@@ -235,31 +243,19 @@ div.tabbed .tabbelow .compact {
235
243
  margin:0;
236
244
  }
237
245
 
238
- div.tabbed .tabbelow .compact td {
246
+ ui-content ui-area .compact td {
239
247
  border:0 none;
240
248
  padding:0;
241
249
  margin:0;
242
250
  }
243
- div.tabbed .tabbelow .compact tr {
251
+ ui-content ui-area .compact tr {
244
252
  border:0 none;
245
253
  padding:0;
246
254
  margin:0;
247
255
  }
248
- div.tabbed .tabbelow .layout .fixed { white-space:nowrap; }
249
- div.tabbed .tabbelow .layout .top { vertical-align: top; }
256
+ ui-content ui-area .layout .fixed { white-space:nowrap; }
257
+ ui-content ui-area .layout .top { vertical-align: top; }
250
258
 
251
259
  .hidden {
252
260
  display: none;
253
261
  }
254
-
255
- .fixedstate {
256
- background-color: white;
257
- margin:0;
258
- padding:1em;
259
- position:fixed;
260
- padding-top:0em;
261
- bottom:0;
262
- left:0;
263
- right:0;
264
- }
265
- .fixedstate div.tabbed { margin-bottom:0; }
@@ -14,51 +14,101 @@
14
14
  <http://www.gnu.org/licenses/>.
15
15
  */
16
16
 
17
+ (function($) { //{{{
18
+ $.fn.dragcolumn = function() {
19
+ var drag = $(this);
20
+ var prev = drag.prev();
21
+ var next = drag.next();
22
+
23
+ this.on("mousedown", function(e) {
24
+ drag.addClass('draggable');
25
+ $(document).one("mouseup", function(e) {
26
+ drag.removeClass('draggable');
27
+ e.preventDefault();
28
+ });
29
+ e.preventDefault();
30
+ });
31
+
32
+ $(document).on("mousemove", function(e) {
33
+ if (!drag.hasClass('draggable'))
34
+ return;
35
+
36
+ // Assume 50/50 split between prev and next then adjust to
37
+ // the next X for prev
38
+ var total = prev.outerWidth() + next.outerWidth();
39
+ var pos = e.pageX - prev.offset().left;
40
+ if (pos > total) {
41
+ pos = total;
42
+ }
43
+
44
+ var leftPercentage = pos / total;
45
+ var rightPercentage = 1 - leftPercentage;
46
+
47
+ prev.css('flex', leftPercentage.toString());
48
+ next.css('flex', rightPercentage.toString());
49
+
50
+ e.preventDefault();
51
+ });
52
+ }
53
+ $.fn.dragresize = function() {
54
+ var drag = $(this);
55
+ var prev = drag.prev();
56
+ var initpos = 0;
57
+ var initheight = $("ui-content",prev).height();
58
+
59
+ this.on("mousedown", function(e) {
60
+ drag.addClass('draggable');
61
+ initpos = e.pageY;
62
+ $(document).one("mouseup", function(e) {
63
+ drag.removeClass('draggable');
64
+ e.preventDefault();
65
+ });
66
+ e.preventDefault();
67
+ });
68
+
69
+ $(document).on("mousemove", function(e) {
70
+ if (!drag.hasClass('draggable'))
71
+ return;
72
+
73
+ var pos = initheight - (initpos - e.pageY);
74
+ if (pos < 0)
75
+ return;
76
+
77
+ $("ui-content",prev).css('height', pos.toString());
78
+
79
+ e.preventDefault();
80
+ });
81
+ }
82
+ })(jQuery); //}}}
83
+
17
84
  function ui_tab_click(moi) { // {{{
18
- var active = $(moi).attr('id').replace(/tab/,'');
19
- var tab = $(moi).parent().parent().parent().parent();
85
+ var active = $(moi).attr('data-tab');
86
+ var tabbed = $(moi).parents('ui-tabbed, ui-rest');
20
87
  var tabs = [];
21
- $("td.tab",tab).each(function(){
88
+ $("ui-tabbar ui-tab",tabbed).each(function(){
22
89
  if (!$(this).attr('class').match(/switch/))
23
- tabs.push($(this).attr('id').replace(/tab/,''));
90
+ tabs.push($(this).attr('data-tab'));
24
91
  });
25
- $(".inactive",tab).removeClass("inactive");
92
+ $(".inactive",tabbed).removeClass("inactive");
26
93
  $.each(tabs,function(a,b){
27
94
  if (b != active) {
28
- $("#tab" + b).addClass("inactive");
29
- $("#area" + b).addClass("inactive");
95
+ $("ui-tabbar ui-tab[data-tab=" + b + "]",tabbed).addClass("inactive");
96
+ $("ui-content *[data-belongs-to-tab=" + b + "]",tabbed).addClass("inactive");
30
97
  }
31
98
  });
32
- ui_rest_resize();
33
99
  } // }}}
34
100
  function ui_toggle_vis_tab(moi) {// {{{
35
- var tabbar = $(moi).parent().parent().parent();
36
- var tab = $(tabbar).parent();
37
- var fix = $(tab).parent();
38
- $('h1',moi).toggleClass('margin');
39
- $("tr.border",tabbar).toggleClass('hidden');
40
- $("div.tabbelow",tab).toggleClass('hidden');
41
- $("td.tabbehind button",tabbar).toggleClass('hidden');
42
- if ($(fix).attr('class') && $(fix).attr('class').match(/fixedstate/)) {
43
- $(".fixedstatehollow").height($(fix).height());
44
- }
45
- ui_rest_resize();
101
+ var tabbed = $(moi).parents('ui-tabbed');
102
+ tabbed.toggleClass('off');
46
103
  }// }}}
47
104
 
48
- function ui_rest_resize() {
49
- if ($('div.tabbed.rest .tabbar')) {
50
- var theight = $(window).height() - $('div.tabbed.rest .tabbar').offset().top - $('div.tabbed.rest .tabbar').height();
51
- $('div.tabbed.rest .tabbelow').each(function(key,ele){
52
- $(ele).height(theight - parseInt($(ele).css('padding-top')) - parseInt($(ele).css('padding-bottom')) );
53
- });
54
- $('div.tabbed.rest .tabbelow .column').each(function(key,ele){
55
- $(ele).height(theight - parseInt($(ele).css('padding-top')) - parseInt($(ele).css('padding-bottom')) );
56
- });
57
- }
58
- }
59
-
60
105
  $(document).ready(function() {
61
- $(window).resize(ui_rest_resize);
62
- $('.tabbed table.tabbar td.tab.switch').click(function(){ui_toggle_vis_tab(this);});
63
- $('.tabbed table.tabbar td.tab').not('.switch').click(function(){ui_tab_click(this);});
106
+ if (!($.browser.name == "Firefox" && $.browser.version >= 20) && !($.browser.name == "Chrome" && $.browser.version >= 30)) {
107
+ $('body').children().remove();
108
+ $('body').append('Sorry, only Firefox >= 20.0 and Chrom(e|ium) >= 17 for now.');
109
+ }
110
+ $('ui-rest ui-content ui-resizehandle').dragcolumn();
111
+ $('*[is=x-ui] > ui-resizehandle').dragresize();
112
+ $('ui-tabbar ui-tab.switch').click(function(){ui_toggle_vis_tab(this);});
113
+ $('ui-tabbar ui-tab').not('.switch').click(function(){ui_tab_click(this);});
64
114
  });