cpee 1.3.176 → 1.3.177

Sign up to get free protection for your applications and to get access to all the features.
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
  });