RubMat 2.1.6 → 2.1.8

Sign up to get free protection for your applications and to get access to all the features.
Files changed (86) hide show
  1. data/.gitignore +2 -0
  2. data/Rakefile +2 -2
  3. data/bin/{rubmat.rb → rubmat} +0 -0
  4. data/doc/apple-touch-icon.png +0 -0
  5. data/doc/classes/Fixnum.html +394 -0
  6. data/doc/classes/Fixnum.src/M000019.html +18 -0
  7. data/doc/classes/Fixnum.src/M000020.html +18 -0
  8. data/doc/classes/Fixnum.src/M000021.html +18 -0
  9. data/doc/classes/Fixnum.src/M000022.html +18 -0
  10. data/doc/classes/Fixnum.src/M000023.html +18 -0
  11. data/doc/classes/GetOpt.html +135 -0
  12. data/doc/classes/Object.html +2636 -0
  13. data/doc/created.rid +1 -0
  14. data/doc/css/main.css +278 -0
  15. data/doc/css/panel.css +383 -0
  16. data/doc/css/reset.css +53 -0
  17. data/doc/favicon.ico +0 -0
  18. data/doc/files/LICENSE.html +74 -0
  19. data/doc/files/README.html +73 -0
  20. data/doc/files/README_md.html +73 -0
  21. data/doc/files/Rakefile.html +116 -0
  22. data/doc/files/bin/librbdiscrete_rb.html +93 -0
  23. data/doc/files/lib/fixnumexpand_rb.html +59 -0
  24. data/doc/files/lib/help_rb.html +52 -0
  25. data/doc/files/lib/librbdiscrete_rb.html +93 -0
  26. data/doc/files/lib/librbdiscrete_rb.src/M000001.html +22 -0
  27. data/doc/files/lib/librbdiscrete_rb.src/M000002.html +29 -0
  28. data/doc/files/lib/librbdiscrete_rb.src/M000003.html +21 -0
  29. data/doc/files/lib/librbdiscrete_rb.src/M000004.html +28 -0
  30. data/doc/files/lib/librbdiscrete_rb.src/M000005.html +22 -0
  31. data/doc/files/lib/librbdiscrete_rb.src/M000006.html +31 -0
  32. data/doc/files/lib/librbdiscrete_rb.src/M000007.html +18 -0
  33. data/doc/files/lib/librbdiscrete_rb.src/M000008.html +22 -0
  34. data/doc/files/lib/librbdiscrete_rb.src/M000009.html +18 -0
  35. data/doc/files/lib/librbdiscrete_rb.src/M000010.html +22 -0
  36. data/doc/files/lib/librbdiscrete_rb.src/M000011.html +28 -0
  37. data/doc/files/lib/librbdiscrete_rb.src/M000012.html +28 -0
  38. data/doc/files/lib/librbdiscrete_rb.src/M000013.html +18 -0
  39. data/doc/files/lib/librbdiscrete_rb.src/M000014.html +18 -0
  40. data/doc/files/lib/librbdiscrete_rb.src/M000015.html +18 -0
  41. data/doc/files/lib/librbdiscrete_rb.src/M000016.html +32 -0
  42. data/doc/files/lib/librbdiscrete_rb.src/M000017.html +22 -0
  43. data/doc/files/lib/main_rb.html +76 -0
  44. data/doc/files/lib/statics_yml.html +63 -0
  45. data/doc/files/nbproject/private/private_xml.html +67 -0
  46. data/doc/files/nbproject/private/rake-d_txt.html +62 -0
  47. data/doc/files/nbproject/project_properties.html +60 -0
  48. data/doc/files/nbproject/project_xml.html +79 -0
  49. data/doc/files/pkg/RubMat-2_1_5/LICENSE.html +74 -0
  50. data/doc/files/pkg/RubMat-2_1_5/README.html +73 -0
  51. data/doc/files/pkg/RubMat-2_1_5/Rakefile.html +116 -0
  52. data/doc/files/pkg/RubMat-2_1_5/bin/librbdiscrete_rb.html +86 -0
  53. data/doc/files/pkg/RubMat-2_1_5/lib/fixnumexpand_rb.html +59 -0
  54. data/doc/files/pkg/RubMat-2_1_5/lib/librbdiscrete_rb.html +86 -0
  55. data/doc/files/pkg/RubMat-2_1_5/lib/main_rb.html +77 -0
  56. data/doc/files/pkg/RubMat-2_1_5/lib/statics_yml.html +63 -0
  57. data/doc/files/test/testprocedure_rb.html +59 -0
  58. data/doc/files/test/testprocedure_rb.src/M000018.html +18 -0
  59. data/doc/fr_class_index.html +27 -0
  60. data/doc/fr_file_index.html +30 -0
  61. data/doc/fr_method_index.html +49 -0
  62. data/doc/i/arrows.png +0 -0
  63. data/doc/i/results_bg.png +0 -0
  64. data/doc/i/tree_bg.png +0 -0
  65. data/doc/index.html +14 -0
  66. data/doc/js/jquery-1.3.2.min.js +19 -0
  67. data/doc/js/jquery-effect.js +593 -0
  68. data/doc/js/main.js +22 -0
  69. data/doc/js/searchdoc.js +628 -0
  70. data/doc/panel/index.html +71 -0
  71. data/doc/panel/search_index.js +1 -0
  72. data/doc/panel/tree.js +1 -0
  73. data/doc/rdoc-style.css +208 -0
  74. data/pkg/RubMat-2.1.5.gem +0 -0
  75. data/pkg/RubMat-2.1.5/LICENSE +17 -0
  76. data/pkg/RubMat-2.1.5/README +11 -0
  77. data/pkg/RubMat-2.1.5/Rakefile +42 -0
  78. data/pkg/RubMat-2.1.5/RubMat.png +0 -0
  79. data/pkg/RubMat-2.1.5/gplv3.png +0 -0
  80. data/pkg/RubMat-2.1.5/lib/fixnumexpand.rb +35 -0
  81. data/pkg/RubMat-2.1.5/lib/librbdiscrete.rb +412 -0
  82. data/pkg/RubMat-2.1.5/lib/main.rb +13 -0
  83. data/pkg/RubMat-2.1.5/lib/statics.yml +4 -0
  84. data/rubmat.gemspec +22 -0
  85. data/test/testprocedure.rb +8 -0
  86. metadata +110 -16
@@ -0,0 +1 @@
1
+ Fri, 08 Jul 2011 21:05:05 +0300
@@ -0,0 +1,278 @@
1
+ body {
2
+ font-family: "Helvetica Neue", Arial, sans-serif;
3
+ background: #FFF;
4
+ color: #000;
5
+ margin: 0px;
6
+ font-size: 0.82em;
7
+ line-height: 1.25em;
8
+ }
9
+
10
+ a {
11
+ color: #00F;
12
+ text-decoration: none;
13
+ }
14
+
15
+ a:hover {
16
+ color: #333;
17
+ background: #FE8;
18
+ }
19
+
20
+ p {
21
+ margin-bottom: 1em;
22
+ }
23
+
24
+ h1 {
25
+ font-size: 2.1em;
26
+ font-weight: normal;
27
+ line-height: 1.2em;
28
+ margin: 1.4em 0 0.7em 0;
29
+ }
30
+
31
+ h2 {
32
+ font-size: 1.6em;
33
+ margin: 1.8em 0 0.8em 0;
34
+ font-weight: normal;
35
+ line-height: 1.2em;
36
+ }
37
+
38
+ h3 {
39
+ font-size: 1.4em;
40
+ color:#555;
41
+ margin: 1.4em 0 0.7em 0;
42
+ font-weight: normal;
43
+ }
44
+
45
+ h4 {
46
+ margin: 1.4em 0 0.5em 0;
47
+ font-size: 1em;
48
+ }
49
+
50
+ table
51
+ {
52
+ margin-bottom: 1em;
53
+ }
54
+
55
+ td, th
56
+ {
57
+ padding: 0 0.7em 0.3em 0;
58
+ }
59
+
60
+ th
61
+ {
62
+ font-weight: bold;
63
+ }
64
+
65
+ .clear
66
+ {
67
+ clear: both;
68
+ width: 0; height: 0;
69
+ }
70
+
71
+ dt
72
+ {
73
+ margin-bottom: 0.3em;
74
+ font-weight: bold;
75
+ }
76
+
77
+ dd
78
+ {
79
+ margin-left: 2em;
80
+ margin-bottom: 1em;
81
+ }
82
+
83
+ dd p
84
+ {
85
+ margin-top: 0.6em;
86
+ }
87
+
88
+ li
89
+ {
90
+ margin: 0 0 0.5em 2em;
91
+ }
92
+
93
+ ul li
94
+ {
95
+ list-style: disc;
96
+ }
97
+
98
+ ol li
99
+ {
100
+ list-style: decimal;
101
+ }
102
+
103
+ .banner
104
+ {
105
+ background: #EDF3FE;
106
+ border-bottom: 1px solid #ccc;
107
+ padding: 1em 2em 0.5em 2em;
108
+ }
109
+ .banner h1
110
+ {
111
+ font-size: 1.2em;
112
+ margin: 0;
113
+ }
114
+
115
+ .banner h1 .type
116
+ {
117
+ font-size: 0.833em;
118
+ display:block;
119
+ }
120
+
121
+ .banner h1 .type,
122
+ .banner h1 .parent
123
+ {
124
+ color: #666;
125
+ }
126
+
127
+ .banner ul
128
+ {
129
+ margin-top: 0.3em;
130
+ margin-bottom: 0;
131
+ font-size: 0.85em;
132
+ }
133
+
134
+ .banner li
135
+ {
136
+ list-style: none;
137
+ margin-left: 0;
138
+ margin-bottom: 0;
139
+ }
140
+
141
+ pre
142
+ {
143
+ margin-bottom: 1em;
144
+ }
145
+
146
+ .methods dt
147
+ {
148
+ width: 1em;
149
+ font-size: 1.5em;
150
+ color:#AAA;
151
+ position: absolute;
152
+ font-weight: normal;
153
+ margin: 0;
154
+ }
155
+
156
+ .methods dd
157
+ {
158
+ margin-left: 2.5em;
159
+ min-height: 1.8em;
160
+ -height: 1.8em;
161
+ padding-bottom: 0.8em;
162
+ }
163
+
164
+
165
+ .methods ul li
166
+ {
167
+ margin-right: 0.7em;
168
+ margin-left: 0;
169
+ list-style: none;
170
+ display: inline;
171
+ }
172
+
173
+ #content {
174
+ margin: 2em;
175
+ margin-left: 3.5em;
176
+ margin-right: 3.5em;
177
+ }
178
+
179
+
180
+ .sectiontitle {
181
+ margin-top: 2em;
182
+ margin-bottom: 1.3em;
183
+ margin-left: -1.2em;
184
+ font-size: 1.2em;
185
+ padding: 0 0 0.25em 0;
186
+ font-weight: bold;
187
+ border-bottom: 1px solid #000;
188
+ }
189
+
190
+ .attr-rw {
191
+ padding-right: 1em;
192
+ text-align: center;
193
+ color: #055;
194
+ }
195
+
196
+ .attr-name {
197
+ font-weight: bold;
198
+ padding-right: 1em;
199
+ }
200
+
201
+ .attr-desc {
202
+ }
203
+
204
+ tt {
205
+ font-size: 1.15em;
206
+ }
207
+
208
+ .attr-value {
209
+ font-family: monospace;
210
+ padding-left: 1em;
211
+ font-size: 1.15em;
212
+ }
213
+
214
+ .dyn-source {
215
+ display: none;
216
+ background: #fffde8;
217
+ color: #000;
218
+ border: #ffe0bb dotted 1px;
219
+ margin: 0.5em 2em 0.5em 0;
220
+ padding: 0.5em;
221
+ }
222
+
223
+ .dyn-source .cmt {
224
+ color: #00F;
225
+ font-style: italic;
226
+ }
227
+
228
+ .dyn-source .kw {
229
+ color: #070;
230
+ font-weight: bold;
231
+ }
232
+
233
+ .description pre {
234
+ padding: 0.5em;
235
+ border: #ffe0bb dotted 1px;
236
+ background: #fffde8;
237
+ }
238
+
239
+ .method {
240
+ margin-bottom: 2em;
241
+ }
242
+ .method .description,
243
+ .method .sourcecode
244
+ {
245
+ margin-left: 1.2em;
246
+ }
247
+ .method h4
248
+ {
249
+ border-bottom: 1px dotted #999;
250
+ padding: 0 0 0.2em 0;
251
+ margin-bottom: 0.8em;
252
+ font-size: 1.1em;
253
+ color:#333;
254
+ }
255
+ .method .title {
256
+ border-bottom: 1px dotted #666;
257
+ padding: 0 0 0.15em 0;
258
+ margin: 0 0 0.5em 0;
259
+ font-size: 1.2em;
260
+ line-height: 1.25em;
261
+ }
262
+
263
+ .method .sourcecode p.source-link {
264
+ text-indent: 0em;
265
+ margin-top: 0.5em;
266
+ }
267
+
268
+ .method .aka {
269
+ margin-top: 0.3em;
270
+ margin-left: 1em;
271
+ font-style: italic;
272
+ text-indent: 2em;
273
+ }
274
+
275
+ .method .source-link
276
+ {
277
+ font-size: 0.85em;
278
+ }
@@ -0,0 +1,383 @@
1
+ /* Panel (begin) */
2
+ .panel
3
+ {
4
+ position: absolute;
5
+ width: 100%;
6
+ height: 100%;
7
+ top: 0;
8
+ left: 0;
9
+ background: #FFF;
10
+ z-index: 2;
11
+ font-family: "Helvetica Neue", "Arial", sans-serif;
12
+ //zoom: 1;
13
+ }
14
+
15
+ .panel_tree .results,
16
+ .panel_results .tree
17
+ {
18
+ display: none;
19
+ }
20
+
21
+ /* Header with search box (begin) */
22
+ .panel .header
23
+ {
24
+ width: 100%;
25
+ height: 29px;
26
+ border-bottom: 1px solid #666;
27
+ position: relative;
28
+ left: 0; top: 0;
29
+ background: #e8e8e8;
30
+ }
31
+
32
+ .panel .header div
33
+ {
34
+ margin: 0 7px;
35
+ }
36
+ .panel .header table
37
+ {
38
+ height: 29px;
39
+ width: 100%;
40
+ }
41
+
42
+ .panel .header table td
43
+ {
44
+ vertical-align: middle;
45
+ text-align: middle;
46
+ }
47
+
48
+ .panel .header label
49
+ {
50
+ position: absolute;
51
+ font-size: 12px;
52
+ line-height: 29px;
53
+ margin-left: 3px;
54
+ color: #999;
55
+ cursor: text;
56
+ }
57
+
58
+ .panel .header table input
59
+ {
60
+ width: 100%;
61
+ box-sizing: border-box;
62
+ -moz-box-sizing: border-box;
63
+ -webkit-box-sizing: border-box;
64
+ display: inline-block;
65
+ -webkit-appearance: searchfield;
66
+ height: 22px;
67
+ //height: auto;
68
+ }
69
+
70
+ /* Header with search box (end) */
71
+
72
+
73
+ /* Results (begin) */
74
+ .panel .result
75
+ {
76
+ position: absolute;
77
+ top: 30px;
78
+ bottom: 0;
79
+ left: 0;
80
+ width: 100%;
81
+ //height: expression((this.parentNode.offsetHeight - 31));
82
+ overflow-y: scroll;
83
+ overflow-x: hidden;
84
+ -overflow-y: hidden;
85
+ background: #EDF3FE url(../i/results_bg.png);
86
+ z-index: 2;
87
+ //zoom:1;
88
+ }
89
+
90
+ .panel .result ul
91
+ {
92
+ font-size: 0.8em;
93
+ width: 100%;
94
+ background: #EDF3FE url(../i/results_bg.png);
95
+ //zoom:1;
96
+ }
97
+
98
+ .panel .result ul li
99
+ {
100
+ height: 46px;
101
+ -height: 50px;
102
+ //display: inline;
103
+ //width: 100%;
104
+ //zoom: 1;
105
+ overflow: hidden;
106
+ padding: 4px 10px 0 10px;
107
+ cursor: pointer;
108
+ }
109
+
110
+ .panel .result ul li h1
111
+ {
112
+ font-size: 13px;
113
+ font-weight: normal;
114
+ color: #333;
115
+ margin-bottom: 2px;
116
+ white-space: nowrap;
117
+ }
118
+
119
+ .panel .result ul li p
120
+ {
121
+ font-size: 11px;
122
+ color: #333;
123
+ margin-bottom: 2px;
124
+ white-space: nowrap;
125
+ }
126
+
127
+ .panel .result ul li h1 i,
128
+ .panel .result ul li p.snippet
129
+ {
130
+ color: #999;
131
+ }
132
+
133
+ .panel .result ul li b
134
+ {
135
+ color: #000;
136
+ }
137
+
138
+ .panel .result ul li.current
139
+ {
140
+ background: #3875D7;
141
+ }
142
+
143
+ .panel .result ul li.current h1,
144
+ .panel .result ul li.current p
145
+ {
146
+ color: #DDD;
147
+ }
148
+
149
+ .panel .result ul li.current h1 i,
150
+ .panel .result ul li.current p.snippet
151
+ {
152
+ color: #AAA;
153
+ }
154
+
155
+ .panel .result ul li.current b
156
+ {
157
+ color: #FFF;
158
+ }
159
+
160
+
161
+ .panel .result ul li:hover,
162
+ .panel .result ul li.selected
163
+ {
164
+ background: #d0d0d0;
165
+ }
166
+
167
+ .panel .result ul li.current:hover
168
+ {
169
+ background: #2965C0;
170
+ }
171
+
172
+ .panel .result ul li .badge
173
+ {
174
+ margin-right: 0.4em;
175
+ margin-left: -0.2em;
176
+ padding: 0 0.2em;
177
+ color: #000;
178
+ }
179
+
180
+ .panel .result ul li .badge_1
181
+ {
182
+ background: #ACDBF4;
183
+ }
184
+
185
+ .panel .result ul li.current .badge_1
186
+ {
187
+ background: #97BFD7;
188
+ }
189
+
190
+ .panel .result ul li .badge_2
191
+ {
192
+ background: #ACF3C3;
193
+ }
194
+
195
+ .panel .result ul li.current .badge_2
196
+ {
197
+ background: #98D7AC;
198
+ }
199
+
200
+ .panel .result ul li .badge_3
201
+ {
202
+ background: #E0F3AC;
203
+ }
204
+
205
+ .panel .result ul li.current .badge_3
206
+ {
207
+ background: #C4D798;
208
+ }
209
+
210
+ .panel .result ul li .badge_4
211
+ {
212
+ background: #D7CA98;
213
+ }
214
+
215
+ .panel .result ul li.current .badge_4
216
+ {
217
+ background: #A6B0AC;
218
+ }
219
+
220
+ .panel .result ul li .badge_5
221
+ {
222
+ background: #F3C8AC;
223
+ }
224
+
225
+ .panel .result ul li.current .badge_5
226
+ {
227
+ background: #D7B198;
228
+ }
229
+
230
+ .panel .result ul li .badge_6
231
+ {
232
+ background: #F3ACC3;
233
+ }
234
+
235
+ .panel .result ul li.current .badge_6
236
+ {
237
+ background: #D798AB;
238
+ }
239
+
240
+ /* Results (end) */
241
+
242
+ /* Tree (begin) */ /**/
243
+ .panel .tree
244
+ {
245
+ position: absolute;
246
+ top: 30px;
247
+ bottom: 0;
248
+ left: 0;
249
+ width: 100%;
250
+ //zoom: 1;
251
+ //height: expression((this.parentNode.offsetHeight - 31));
252
+ overflow-y: scroll;
253
+ overflow-x: hidden;
254
+ -overflow-y: hidden;
255
+ background: #EDF3FE url(../i/tree_bg.png);
256
+ z-index: 30;
257
+ }
258
+
259
+ .panel .tree ul
260
+ {
261
+ background: #EDF3FE url(../i/tree_bg.png);
262
+ }
263
+
264
+ .panel .tree li
265
+ {
266
+ cursor: pointer;
267
+ overflow: hidden;
268
+ //height: 23px;
269
+ //display: inline;
270
+ //zoom: 1;
271
+ //width: 100%;
272
+ }
273
+
274
+
275
+ .panel .tree li .content
276
+ {
277
+ padding-left: 18px;
278
+ padding-top: 5px;
279
+ height: 18px;
280
+ overflow: hidden;
281
+ position: relative;
282
+ }
283
+
284
+ .panel .tree li .icon
285
+ {
286
+ width: 10px;
287
+ height: 9px;
288
+ background: url(../i/arrows.png);
289
+ background-position: 0 -9px;
290
+ position: absolute;
291
+ left: 1px;
292
+ top: 8px;
293
+ cursor: default;
294
+ }
295
+
296
+ .panel .tree li.closed .icon
297
+ {
298
+ background-position: 0 0;
299
+ }
300
+
301
+ .panel .tree ul li h1
302
+ {
303
+ font-size: 13px;
304
+ font-weight: normal;
305
+ color: #000;
306
+ margin-bottom: 2px;
307
+ white-space: nowrap;
308
+ }
309
+
310
+ .panel .tree ul li p
311
+ {
312
+ font-size: 11px;
313
+ color: #666;
314
+ margin-bottom: 2px;
315
+ white-space: nowrap;
316
+ }
317
+
318
+ .panel .tree ul li h1 i
319
+ {
320
+ color: #999;
321
+ font-style: normal;
322
+ }
323
+
324
+ .panel .tree ul li.empty
325
+ {
326
+ cursor: text;
327
+ }
328
+
329
+ .panel .tree ul li.empty h1,
330
+ .panel .tree ul li.empty p
331
+ {
332
+ color: #666;
333
+ font-style: italic;
334
+ }
335
+
336
+ .panel .tree ul li.current
337
+ {
338
+ background: #3875D7;
339
+ }
340
+
341
+ .panel .tree ul li.current .icon
342
+ {
343
+ background-position: -10px -9px;
344
+ }
345
+
346
+ .panel .tree ul li.current.closed .icon
347
+ {
348
+ background-position: -10px 0;
349
+ }
350
+
351
+ .panel .tree ul li.current h1
352
+ {
353
+ color: #FFF;
354
+ }
355
+
356
+ .panel .tree ul li.current p
357
+ {
358
+ color: #CCC;
359
+ }
360
+
361
+ .panel .tree ul li.current.empty h1,
362
+ .panel .tree ul li.current.empty p
363
+ {
364
+ color: #999;
365
+ }
366
+
367
+ .panel .tree ul li:hover
368
+ {
369
+ background: #d0d0d0;
370
+ }
371
+
372
+ .panel .tree ul li.current:hover
373
+ {
374
+ background: #2965C0;
375
+ }
376
+
377
+ .panel .tree .stopper
378
+ {
379
+ display: none;
380
+ }
381
+ /* Tree (end) */ /**/
382
+
383
+ /* Panel (end) */