reviser 0.0.1.1.pre.beta → 0.0.2.rc1

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 (43) hide show
  1. checksums.yaml +4 -4
  2. data/Gemfile +18 -0
  3. data/README.md +46 -0
  4. data/ext/valgrind.rb +21 -18
  5. data/ext/web_validators.rb +132 -0
  6. data/lang/HTML.yml +2 -14
  7. data/lib/component.rb +41 -39
  8. data/lib/components/archiver.rb +105 -101
  9. data/lib/components/checker.rb +46 -52
  10. data/lib/components/extractors.rb +121 -120
  11. data/lib/components/generator.rb +40 -37
  12. data/lib/components/generators.rb +113 -109
  13. data/lib/components/organiser.rb +165 -153
  14. data/lib/config.rb +53 -35
  15. data/lib/criteria/code_analysis.rb +54 -0
  16. data/lib/criteria/compilation.rb +42 -0
  17. data/lib/criteria/execution.rb +78 -0
  18. data/lib/exec.rb +109 -94
  19. data/lib/helpers/criteria.rb +152 -154
  20. data/lib/helpers/git.rb +23 -21
  21. data/lib/helpers/project.rb +198 -19
  22. data/lib/helpers/system.rb +50 -39
  23. data/lib/loggers/logger.rb +39 -30
  24. data/lib/loggers/modes.rb +118 -54
  25. data/lib/reviser.rb +63 -41
  26. data/res/css/style_logs.css +166 -0
  27. data/res/css/web_validators/css-base.css +733 -0
  28. data/res/css/web_validators/css-results.css +257 -0
  29. data/res/css/web_validators/html-base.css +746 -0
  30. data/res/css/web_validators/html-results.css +489 -0
  31. data/res/labys/labfich11.txt +19 -0
  32. data/res/labys/test.txt +3 -0
  33. data/res/labys/yoda.txt +19 -0
  34. data/res/scss/style_logs.scss +134 -0
  35. data/type/JavaProject.yml +18 -0
  36. data/type/Pendu.yml +22 -0
  37. data/type/Web.yml +23 -0
  38. metadata +144 -10
  39. data/ext/html_validator.rb +0 -21
  40. data/lib/helpers/code_analysis.rb +0 -64
  41. data/lib/helpers/compilation.rb +0 -40
  42. data/lib/helpers/execution.rb +0 -83
  43. data/lib/project.rb +0 -155
@@ -0,0 +1,257 @@
1
+ /* == internal navigation bar == */
2
+
3
+ #jumpbar {
4
+ margin: 1em 2.4em;
5
+ }
6
+ #jumpbar li {
7
+ color:#11111A !important;
8
+ }
9
+ #jumpbar {
10
+ background-color:white;
11
+ border-bottom:1px solid #005A9C;
12
+ border-top:1px solid #005A9C;
13
+ color:#005A9C;
14
+ font-size:0.9em;
15
+ font-weight:bold;
16
+ line-height:140%;
17
+ list-style-type:none;
18
+ padding:3px 0;
19
+ text-align:center;
20
+ vertical-align:bottom;
21
+ }
22
+ #jumpbar li {
23
+ display:inline;
24
+ }
25
+ #jumpbar li a {
26
+ font-weight: 700;
27
+ padding-left:1.2em;
28
+ padding-right:1.2em;
29
+ text-decoration: none;
30
+ }
31
+ /* ==== CONGRATS ===== */
32
+ div#results_container {
33
+ margin: 2em;
34
+ }
35
+
36
+ #congrats h3, #errors h3 {
37
+ margin: 0;
38
+ font-family: "Bitstream Vera Sans", sans-serif;
39
+ font-weight: 800;
40
+ font-style: normal;
41
+ text-decoration: none;
42
+ word-spacing: normal;
43
+ letter-spacing: normal;
44
+ text-transform: none;
45
+ border-color: black;
46
+ padding: .4em;
47
+ }
48
+ #congrats h3 {
49
+ background-color: #55B05A;
50
+ color: white;
51
+ }
52
+
53
+ #congrats p { padding: .5em 1em; }
54
+
55
+ #congrats p.toggle { text-indent: 10px;
56
+ background: transparent url('../images/arrow-down.gif') 15px 0 no-repeat;
57
+ }
58
+
59
+ #congrats p.closed{
60
+ text-indent: 10px;
61
+ background: transparent url('../images/arrow-right.gif') 15px 0 no-repeat;
62
+ }
63
+
64
+ #congrats pre { overflow: auto;}
65
+
66
+ img.inline-badge {
67
+ float: left;
68
+ padding: 10px;
69
+ padding-top: 3em;
70
+ margin: 0;
71
+ margin-left: 1.6em;
72
+ }
73
+
74
+ pre.badgeSnippet {
75
+ margin-left: 108px !important; /* give room to the image */
76
+ margin-top:0;
77
+ padding-left: 1em;
78
+ font-size: small;
79
+ color: #444;
80
+ margin-bottom: 2em;
81
+ }
82
+
83
+
84
+ /* ==== COMMON: ERRORS + WARNINGS ===== */
85
+
86
+
87
+ #warnings table, #errors table {
88
+ width:100%;
89
+ border-top: 1px solid #ccc !important;
90
+ line-height:120%;
91
+ border-collapse:collapse;
92
+ border-right:1px solid #CCCCCC;
93
+ }
94
+
95
+ #warnings td, #errors td {
96
+ border-width: 0;
97
+ }
98
+
99
+ #errors h4, #warnings h4 {
100
+ font-weight: bold;
101
+ margin: 0;
102
+ padding: .4em;
103
+ background-color: #eee;
104
+ color: black;
105
+ }
106
+ #errors h4 a, #warnings h4 a {
107
+ background-color: #eee;
108
+
109
+ }
110
+
111
+ td.linenumber {
112
+ width:3em;
113
+ border-bottom: 1px solid #ccc !important;
114
+ background-color: #e1e1e1;
115
+ text-align:right;
116
+ }
117
+
118
+ td.codeContext {
119
+ border-bottom: 1px solid #ddd !important;
120
+ background-color: #F1F1F1;}
121
+
122
+
123
+ /* ==== ERRORS ===== */
124
+
125
+ /* id="errors" - start of the list of errors */
126
+
127
+ #errors h2 {
128
+ background-color: #E82848;
129
+ color: white;
130
+ }
131
+
132
+ #errors h3 {
133
+ background-color: #D23D24 !important;
134
+ color: white;
135
+ }
136
+
137
+
138
+ td.parse-error {
139
+ padding: 5px 1em;
140
+ border-bottom: 1px solid #fdd !important;
141
+ }
142
+
143
+ td.nocontext {
144
+ width: 3em;
145
+ border-bottom: 1px solid #ddd !important;
146
+ background-color: #F1F1F1;}
147
+
148
+ td.io, td.notfound, td.invalidparam, td.errortoken, td.unknownerror {
149
+ padding: 5px 1em;
150
+ border-bottom: 1px solid #fdd !important;
151
+ }
152
+
153
+ /* ==== WARNINGS ===== */
154
+
155
+ /* id="warnings" - start of the list of warnings */
156
+
157
+ tr.warning {
158
+ padding: 0;}
159
+
160
+ td.level1, td.level2, td.level0 {
161
+ padding: 5px 1em;
162
+ border-bottom: 1px solid #fdd !important;
163
+ }
164
+ .level0 {
165
+ border-left: 10px solid #C66 !important;
166
+ color: #000;}
167
+
168
+ .level1 {
169
+ border-left: 10px solid #FA9084 !important;
170
+ color: #000;
171
+ }
172
+ .level2 {
173
+ border-left: 10px solid #FFB1A7 !important;
174
+ color: #000;
175
+ }
176
+
177
+ /* ==== example of code for icon ==== */
178
+ pre {
179
+ margin-left: 1em;
180
+ padding: 2em;
181
+ border-left: thin solid #ddd;
182
+ padding: 2em;
183
+
184
+ }
185
+ /* ==== VALIDATED STYLESHEET ===== */
186
+
187
+ /* id="css" - to identify the validated style sheet */
188
+ #css {}
189
+
190
+ /* class="vAtRule" - block of all atSelector */
191
+ .vAtRule {
192
+ font-family: monospace;
193
+ padding:0em;}
194
+
195
+ /* class="atRule" - block of one atSelector */
196
+ .atRule {
197
+ margin: 1em 0;
198
+ padding-left: 0.5em;
199
+ border-left: 3px solid #ddd;
200
+ }
201
+
202
+ /* class="atSelector" - Value of atSelector */
203
+ .atSelector {}
204
+
205
+ /* class="selector" - block of the selector */
206
+ .selector {
207
+ background-color: #F1F1F1;
208
+ font-family: monospace;
209
+ padding: 1em;
210
+ border-bottom: 1px solid #ddd;}
211
+
212
+ /* class="selectorValue" - value of the selector */
213
+ .selectorValue {font-weight: bold;}
214
+
215
+ /* class='RuleList' - block of all couple propertie-value*/
216
+ .RuleList {padding: 0 1em;
217
+ background-color: #F1F1F1;
218
+ }
219
+
220
+ /* class='Rule' - one couple propertie-value*/
221
+ .Rule {
222
+ background-color: #F1F1F1;
223
+ font-family: monospace;
224
+
225
+ }
226
+
227
+ /* class='Property' - propertie name */
228
+ .Property {
229
+ color: #222;
230
+ font-family: monospace;
231
+ font-style: italic;
232
+ }
233
+
234
+ /* class='PropertyValue' - value of property */
235
+ .PropertyValue {
236
+ color: #666;
237
+ }
238
+
239
+ /* link to go back to top of page */
240
+ p.backtop {
241
+ color: #bbc;
242
+ font-size: x-small;
243
+ padding-right: 0 !important;
244
+ margin: 1em 0 !important;
245
+ text-transform: uppercase;
246
+ font-weight: bold;
247
+ padding-top: .3em;
248
+ text-align: right;
249
+ border-top: 1px solid #eef;
250
+ clear: both;
251
+ }
252
+
253
+ p.backtop a:link, p.backtop a:hover, p.backtop a:visited {
254
+ color: #bbc;
255
+ text-decoration: none;
256
+ }
257
+