1 |
#!/usr/bin/perl |
2 |
use strict; |
3 |
|
4 |
use lib qw[/home/httpd/html/www/markup/html/whatpm |
5 |
/home/wakaba/work/manakai2/lib]; |
6 |
use CGI::Carp qw[fatalsToBrowser]; |
7 |
use Scalar::Util qw[refaddr]; |
8 |
use Time::HiRes qw/time/; |
9 |
|
10 |
sub htescape ($) { |
11 |
my $s = $_[0]; |
12 |
$s =~ s/&/&/g; |
13 |
$s =~ s/</</g; |
14 |
$s =~ s/>/>/g; |
15 |
$s =~ s/"/"/g; |
16 |
$s =~ s{([\x00-\x09\x0B-\x1F\x7F-\xA0\x{FEFF}\x{FFFC}-\x{FFFF}])}{ |
17 |
sprintf '<var>U+%04X</var>', ord $1; |
18 |
}ge; |
19 |
return $s; |
20 |
} # htescape |
21 |
|
22 |
use Message::CGI::HTTP; |
23 |
my $http = Message::CGI::HTTP->new; |
24 |
|
25 |
if ($http->get_meta_variable ('PATH_INFO') ne '/') { |
26 |
print STDOUT "Status: 404 Not Found\nContent-Type: text/plain; charset=us-ascii\n\n400"; |
27 |
exit; |
28 |
} |
29 |
|
30 |
binmode STDOUT, ':utf8'; |
31 |
$| = 1; |
32 |
|
33 |
require Message::DOM::DOMImplementation; |
34 |
my $dom = Message::DOM::DOMImplementation->new; |
35 |
|
36 |
load_text_catalog ('en'); ## TODO: conneg |
37 |
|
38 |
my @nav; |
39 |
print STDOUT qq[Content-Type: text/html; charset=utf-8 |
40 |
|
41 |
<!DOCTYPE html> |
42 |
<html lang="en"> |
43 |
<head> |
44 |
<title>Web Document Conformance Checker (BETA)</title> |
45 |
<link rel="stylesheet" href="../cc-style.css" type="text/css"> |
46 |
</head> |
47 |
<body> |
48 |
<h1><a href="../cc-interface">Web Document Conformance Checker</a> |
49 |
(<em>beta</em>)</h1> |
50 |
]; |
51 |
|
52 |
$| = 0; |
53 |
my $input = get_input_document ($http, $dom); |
54 |
my $inner_html_element = $http->get_parameter ('e'); |
55 |
my $char_length = 0; |
56 |
my %time; |
57 |
|
58 |
print qq[ |
59 |
<div id="document-info" class="section"> |
60 |
<dl> |
61 |
<dt>Request URI</dt> |
62 |
<dd><code class="URI" lang=""><<a href="@{[htescape $input->{request_uri}]}">@{[htescape $input->{request_uri}]}</a>></code></dd> |
63 |
<dt>Document URI</dt> |
64 |
<dd><code class="URI" lang=""><<a href="@{[htescape $input->{uri}]}">@{[htescape $input->{uri}]}</a>></code></dd> |
65 |
]; # no </dl> yet |
66 |
push @nav, ['#document-info' => 'Information']; |
67 |
|
68 |
if (defined $input->{s}) { |
69 |
$char_length = length $input->{s}; |
70 |
|
71 |
print STDOUT qq[ |
72 |
<dt>Base URI</dt> |
73 |
<dd><code class="URI" lang=""><<a href="@{[htescape $input->{base_uri}]}">@{[htescape $input->{base_uri}]}</a>></code></dd> |
74 |
<dt>Internet Media Type</dt> |
75 |
<dd><code class="MIME" lang="en">@{[htescape $input->{media_type}]}</code> |
76 |
@{[$input->{media_type_overridden} ? '<em>(overridden)</em>' : '']}</dd> |
77 |
<dt>Character Encoding</dt> |
78 |
<dd>@{[defined $input->{charset} ? '<code class="charset" lang="en">'.htescape ($input->{charset}).'</code>' : '(none)']} |
79 |
@{[$input->{charset_overridden} ? '<em>(overridden)</em>' : '']}</dd> |
80 |
<dt>Length</dt> |
81 |
<dd>$char_length byte@{[$char_length == 1 ? '' : 's']}</dd> |
82 |
</dl> |
83 |
</div> |
84 |
]; |
85 |
|
86 |
my $result = {conforming_min => 1, conforming_max => 1}; |
87 |
print_http_header_section ($input, $result); |
88 |
|
89 |
my $doc; |
90 |
my $el; |
91 |
|
92 |
if ($input->{media_type} eq 'text/html') { |
93 |
($doc, $el) = print_syntax_error_html_section ($input, $result); |
94 |
print_source_string_section (\($input->{s}), $input->{charset}); |
95 |
} elsif ({ |
96 |
'text/xml' => 1, |
97 |
'application/atom+xml' => 1, |
98 |
'application/rss+xml' => 1, |
99 |
'application/svg+xml' => 1, |
100 |
'application/xhtml+xml' => 1, |
101 |
'application/xml' => 1, |
102 |
}->{$input->{media_type}}) { |
103 |
($doc, $el) = print_syntax_error_xml_section ($input, $result); |
104 |
print_source_string_section (\($input->{s}), $doc->input_encoding); |
105 |
} else { |
106 |
## TODO: Change HTTP status code?? |
107 |
print_result_unknown_type_section ($input); |
108 |
} |
109 |
|
110 |
if (defined $doc or defined $el) { |
111 |
print_structure_dump_section ($doc, $el); |
112 |
my $elements = print_structure_error_section ($doc, $el, $result); |
113 |
print_table_section ($elements->{table}) if @{$elements->{table}}; |
114 |
print_id_section ($elements->{id}) if keys %{$elements->{id}}; |
115 |
print_term_section ($elements->{term}) if keys %{$elements->{term}}; |
116 |
print_class_section ($elements->{class}) if keys %{$elements->{class}}; |
117 |
} |
118 |
|
119 |
print_result_section ($result); |
120 |
} else { |
121 |
print STDOUT qq[</dl></div>]; |
122 |
print_result_input_error_section ($input); |
123 |
} |
124 |
|
125 |
print STDOUT qq[ |
126 |
<ul class="navigation" id="nav-items"> |
127 |
]; |
128 |
for (@nav) { |
129 |
print STDOUT qq[<li><a href="$_->[0]">$_->[1]</a></li>]; |
130 |
} |
131 |
print STDOUT qq[ |
132 |
</ul> |
133 |
</body> |
134 |
</html> |
135 |
]; |
136 |
|
137 |
for (qw/decode parse parse_xml check/) { |
138 |
next unless defined $time{$_}; |
139 |
open my $file, '>>', ".cc-$_.txt" or die ".cc-$_.txt: $!"; |
140 |
print $file $char_length, "\t", $time{$_}, "\n"; |
141 |
} |
142 |
|
143 |
exit; |
144 |
|
145 |
sub add_error ($$$) { |
146 |
my ($layer, $err, $result) = @_; |
147 |
if (defined $err->{level}) { |
148 |
if ($err->{level} eq 's') { |
149 |
$result->{$layer}->{should}++; |
150 |
$result->{$layer}->{score_min} -= 2; |
151 |
$result->{conforming_min} = 0; |
152 |
} elsif ($err->{level} eq 'w' or $err->{level} eq 'g') { |
153 |
$result->{$layer}->{warning}++; |
154 |
} elsif ($err->{level} eq 'unsupported') { |
155 |
$result->{$layer}->{unsupported}++; |
156 |
$result->{unsupported} = 1; |
157 |
} else { |
158 |
$result->{$layer}->{must}++; |
159 |
$result->{$layer}->{score_max} -= 2; |
160 |
$result->{$layer}->{score_min} -= 2; |
161 |
$result->{conforming_min} = 0; |
162 |
$result->{conforming_max} = 0; |
163 |
} |
164 |
} else { |
165 |
$result->{$layer}->{must}++; |
166 |
$result->{$layer}->{score_max} -= 2; |
167 |
$result->{$layer}->{score_min} -= 2; |
168 |
$result->{conforming_min} = 0; |
169 |
$result->{conforming_max} = 0; |
170 |
} |
171 |
} # add_error |
172 |
|
173 |
sub print_http_header_section ($$) { |
174 |
my ($input, $result) = @_; |
175 |
return unless defined $input->{header_status_code} or |
176 |
defined $input->{header_status_text} or |
177 |
@{$input->{header_field}}; |
178 |
|
179 |
push @nav, ['#source-header' => 'HTTP Header']; |
180 |
print STDOUT qq[<div id="source-header" class="section"> |
181 |
<h2>HTTP Header</h2> |
182 |
|
183 |
<p><strong>Note</strong>: Due to the limitation of the |
184 |
network library in use, the content of this section might |
185 |
not be the real header.</p> |
186 |
|
187 |
<table><tbody> |
188 |
]; |
189 |
|
190 |
if (defined $input->{header_status_code}) { |
191 |
print STDOUT qq[<tr><th scope="row">Status code</th>]; |
192 |
print STDOUT qq[<td><code>@{[htescape ($input->{header_status_code})]}</code></td></tr>]; |
193 |
} |
194 |
if (defined $input->{header_status_text}) { |
195 |
print STDOUT qq[<tr><th scope="row">Status text</th>]; |
196 |
print STDOUT qq[<td><code>@{[htescape ($input->{header_status_text})]}</code></td></tr>]; |
197 |
} |
198 |
|
199 |
for (@{$input->{header_field}}) { |
200 |
print STDOUT qq[<tr><th scope="row"><code>@{[htescape ($_->[0])]}</code></th>]; |
201 |
print STDOUT qq[<td><code>@{[htescape ($_->[1])]}</code></td></tr>]; |
202 |
} |
203 |
|
204 |
print STDOUT qq[</tbody></table></div>]; |
205 |
} # print_http_header_section |
206 |
|
207 |
sub print_syntax_error_html_section ($$) { |
208 |
my ($input, $result) = @_; |
209 |
|
210 |
require Encode; |
211 |
require Whatpm::HTML; |
212 |
|
213 |
$input->{charset} ||= 'ISO-8859-1'; ## TODO: for now. |
214 |
|
215 |
my $time1 = time; |
216 |
my $t = Encode::decode ($input->{charset}, $input->{s}); |
217 |
$time{decode} = time - $time1; |
218 |
|
219 |
print STDOUT qq[ |
220 |
<div id="parse-errors" class="section"> |
221 |
<h2>Parse Errors</h2> |
222 |
|
223 |
<dl>]; |
224 |
push @nav, ['#parse-errors' => 'Parse Error']; |
225 |
|
226 |
my $onerror = sub { |
227 |
my (%opt) = @_; |
228 |
my ($type, $cls, $msg) = get_text ($opt{type}, $opt{level}); |
229 |
if ($opt{column} > 0) { |
230 |
print STDOUT qq[<dt class="$cls"><a href="#line-$opt{line}">Line $opt{line}</a> column $opt{column}</dt>\n]; |
231 |
} else { |
232 |
$opt{line} = $opt{line} - 1 || 1; |
233 |
print STDOUT qq[<dt class="$cls"><a href="#line-$opt{line}">Line $opt{line}</a></dt>\n]; |
234 |
} |
235 |
$type =~ tr/ /-/; |
236 |
$type =~ s/\|/%7C/g; |
237 |
$msg .= qq[ [<a href="../error-description#@{[htescape ($type)]}">Description</a>]]; |
238 |
print STDOUT qq[<dd class="$cls">$msg</dd>\n]; |
239 |
|
240 |
add_error ('syntax', \%opt => $result); |
241 |
}; |
242 |
|
243 |
my $doc = $dom->create_document; |
244 |
my $el; |
245 |
$time1 = time; |
246 |
if (defined $inner_html_element and length $inner_html_element) { |
247 |
$el = $doc->create_element_ns |
248 |
('http://www.w3.org/1999/xhtml', [undef, $inner_html_element]); |
249 |
Whatpm::HTML->set_inner_html ($el, $t, $onerror); |
250 |
} else { |
251 |
Whatpm::HTML->parse_string ($t => $doc, $onerror); |
252 |
} |
253 |
$time{parse} = time - $time1; |
254 |
|
255 |
print STDOUT qq[</dl></div>]; |
256 |
|
257 |
return ($doc, $el); |
258 |
} # print_syntax_error_html_section |
259 |
|
260 |
sub print_syntax_error_xml_section ($$) { |
261 |
my ($input, $result) = @_; |
262 |
|
263 |
require Message::DOM::XMLParserTemp; |
264 |
|
265 |
print STDOUT qq[ |
266 |
<div id="parse-errors" class="section"> |
267 |
<h2>Parse Errors</h2> |
268 |
|
269 |
<dl>]; |
270 |
push @nav, ['#parse-errors' => 'Parse Error']; |
271 |
|
272 |
my $onerror = sub { |
273 |
my $err = shift; |
274 |
my $line = $err->location->line_number; |
275 |
print STDOUT qq[<dt><a href="#line-$line">Line $line</a> column ]; |
276 |
print STDOUT $err->location->column_number, "</dt><dd>"; |
277 |
print STDOUT htescape $err->text, "</dd>\n"; |
278 |
|
279 |
add_error ('syntax', {type => $err->text, |
280 |
level => [ |
281 |
$err->SEVERITY_FATAL_ERROR => 'm', |
282 |
$err->SEVERITY_ERROR => 'm', |
283 |
$err->SEVERITY_WARNING => 's', |
284 |
]->[$err->severity]} => $result); |
285 |
|
286 |
return 1; |
287 |
}; |
288 |
|
289 |
my $time1 = time; |
290 |
open my $fh, '<', \($input->{s}); |
291 |
my $doc = Message::DOM::XMLParserTemp->parse_byte_stream |
292 |
($fh => $dom, $onerror, charset => $input->{charset}); |
293 |
$time{parse_xml} = time - $time1; |
294 |
|
295 |
print STDOUT qq[</dl></div>]; |
296 |
|
297 |
return ($doc, undef); |
298 |
} # print_syntax_error_xml_section |
299 |
|
300 |
sub print_source_string_section ($$) { |
301 |
require Encode; |
302 |
my $enc = Encode::find_encoding ($_[1]); ## TODO: charset name -> Perl name |
303 |
return unless $enc; |
304 |
|
305 |
my $s = \($enc->decode (${$_[0]})); |
306 |
my $i = 1; |
307 |
push @nav, ['#source-string' => 'Source']; |
308 |
print STDOUT qq[<div id="source-string" class="section"> |
309 |
<h2>Document Source</h2> |
310 |
<ol lang="">\n]; |
311 |
if (length $$s) { |
312 |
while ($$s =~ /\G([^\x0A]*?)\x0D?\x0A/gc) { |
313 |
print STDOUT qq[<li id="line-$i">], htescape $1, "</li>\n"; |
314 |
$i++; |
315 |
} |
316 |
if ($$s =~ /\G([^\x0A]+)/gc) { |
317 |
print STDOUT qq[<li id="line-$i">], htescape $1, "</li>\n"; |
318 |
} |
319 |
} else { |
320 |
print STDOUT q[<li id="line-1"></li>]; |
321 |
} |
322 |
print STDOUT "</ol></div>"; |
323 |
} # print_input_string_section |
324 |
|
325 |
sub print_document_tree ($) { |
326 |
my $node = shift; |
327 |
my $r = '<ol class="xoxo">'; |
328 |
|
329 |
my @node = ($node); |
330 |
while (@node) { |
331 |
my $child = shift @node; |
332 |
unless (ref $child) { |
333 |
$r .= $child; |
334 |
next; |
335 |
} |
336 |
|
337 |
my $node_id = 'node-'.refaddr $child; |
338 |
my $nt = $child->node_type; |
339 |
if ($nt == $child->ELEMENT_NODE) { |
340 |
my $child_nsuri = $child->namespace_uri; |
341 |
$r .= qq[<li id="$node_id" class="tree-element"><code title="@{[defined $child_nsuri ? $child_nsuri : '']}">] . htescape ($child->tag_name) . |
342 |
'</code>'; ## ISSUE: case |
343 |
|
344 |
if ($child->has_attributes) { |
345 |
$r .= '<ul class="attributes">'; |
346 |
for my $attr (sort {$a->[0] cmp $b->[0]} map { [$_->name, $_->value, $_->namespace_uri, 'node-'.refaddr $_] } |
347 |
@{$child->attributes}) { |
348 |
$r .= qq[<li id="$attr->[3]" class="tree-attribute"><code title="@{[defined $_->[2] ? $_->[2] : '']}">] . htescape ($attr->[0]) . '</code> = '; ## ISSUE: case? |
349 |
$r .= '<q>' . htescape ($attr->[1]) . '</q></li>'; ## TODO: children |
350 |
} |
351 |
$r .= '</ul>'; |
352 |
} |
353 |
|
354 |
if ($child->has_child_nodes) { |
355 |
$r .= '<ol class="children">'; |
356 |
unshift @node, @{$child->child_nodes}, '</ol></li>'; |
357 |
} else { |
358 |
$r .= '</li>'; |
359 |
} |
360 |
} elsif ($nt == $child->TEXT_NODE) { |
361 |
$r .= qq'<li id="$node_id" class="tree-text"><q lang="">' . htescape ($child->data) . '</q></li>'; |
362 |
} elsif ($nt == $child->CDATA_SECTION_NODE) { |
363 |
$r .= qq'<li id="$node_id" class="tree-cdata"><code><[CDATA[</code><q lang="">' . htescape ($child->data) . '</q><code>]]></code></li>'; |
364 |
} elsif ($nt == $child->COMMENT_NODE) { |
365 |
$r .= qq'<li id="$node_id" class="tree-comment"><code><!--</code><q lang="">' . htescape ($child->data) . '</q><code>--></code></li>'; |
366 |
} elsif ($nt == $child->DOCUMENT_NODE) { |
367 |
$r .= qq'<li id="$node_id" class="tree-document">Document'; |
368 |
$r .= qq[<ul class="attributes">]; |
369 |
$r .= qq[<li>@{[scalar get_text ('manakaiIsHTML:'.($child->manakai_is_html?1:0))]}</li>]; |
370 |
$r .= qq[<li>@{[scalar get_text ('manakaiCompatMode:'.$child->manakai_compat_mode)]}</li>]; |
371 |
unless ($child->manakai_is_html) { |
372 |
$r .= qq[<li>XML version = <code>@{[htescape ($child->xml_version)]}</code></li>]; |
373 |
if (defined $child->xml_encoding) { |
374 |
$r .= qq[<li>XML encoding = <code>@{[htescape ($child->xml_encoding)]}</code></li>]; |
375 |
} else { |
376 |
$r .= qq[<li>XML encoding = (null)</li>]; |
377 |
} |
378 |
$r .= qq[<li>XML standalone = @{[$child->xml_standalone ? 'true' : 'false']}</li>]; |
379 |
} |
380 |
$r .= qq[</ul>]; |
381 |
if ($child->has_child_nodes) { |
382 |
$r .= '<ol class="children">'; |
383 |
unshift @node, @{$child->child_nodes}, '</ol></li>'; |
384 |
} |
385 |
} elsif ($nt == $child->DOCUMENT_TYPE_NODE) { |
386 |
$r .= qq'<li id="$node_id" class="tree-doctype"><code><!DOCTYPE></code><ul class="attributes">'; |
387 |
$r .= qq[<li class="tree-doctype-name">Name = <q>@{[htescape ($child->name)]}</q></li>]; |
388 |
$r .= qq[<li class="tree-doctype-publicid">Public identifier = <q>@{[htescape ($child->public_id)]}</q></li>]; |
389 |
$r .= qq[<li class="tree-doctype-systemid">System identifier = <q>@{[htescape ($child->system_id)]}</q></li>]; |
390 |
$r .= '</ul></li>'; |
391 |
} elsif ($nt == $child->PROCESSING_INSTRUCTION_NODE) { |
392 |
$r .= qq'<li id="$node_id" class="tree-id"><code><?@{[htescape ($child->target)]}</code> <q>@{[htescape ($child->data)]}</q><code>?></code></li>'; |
393 |
} else { |
394 |
$r .= qq'<li id="$node_id" class="tree-unknown">@{[$child->node_type]} @{[htescape ($child->node_name)]}</li>'; # error |
395 |
} |
396 |
} |
397 |
|
398 |
$r .= '</ol>'; |
399 |
print STDOUT $r; |
400 |
} # print_document_tree |
401 |
|
402 |
sub print_structure_dump_section ($$) { |
403 |
my ($doc, $el) = @_; |
404 |
|
405 |
print STDOUT qq[ |
406 |
<div id="document-tree" class="section"> |
407 |
<h2>Document Tree</h2> |
408 |
]; |
409 |
push @nav, ['#document-tree' => 'Tree']; |
410 |
|
411 |
print_document_tree ($el || $doc); |
412 |
|
413 |
print STDOUT qq[</div>]; |
414 |
} # print_structure_dump_section |
415 |
|
416 |
sub print_structure_error_section ($$$) { |
417 |
my ($doc, $el, $result) = @_; |
418 |
|
419 |
print STDOUT qq[<div id="document-errors" class="section"> |
420 |
<h2>Document Errors</h2> |
421 |
|
422 |
<dl>]; |
423 |
push @nav, ['#document-errors' => 'Document Error']; |
424 |
|
425 |
require Whatpm::ContentChecker; |
426 |
my $onerror = sub { |
427 |
my %opt = @_; |
428 |
my ($type, $cls, $msg) = get_text ($opt{type}, $opt{level}, $opt{node}); |
429 |
$type =~ tr/ /-/; |
430 |
$type =~ s/\|/%7C/g; |
431 |
$msg .= qq[ [<a href="../error-description#@{[htescape ($type)]}">Description</a>]]; |
432 |
print STDOUT qq[<dt class="$cls">] . get_node_link ($opt{node}) . |
433 |
qq[</dt>\n<dd class="$cls">], $msg, "</dd>\n"; |
434 |
add_error ('structure', \%opt => $result); |
435 |
}; |
436 |
|
437 |
my $elements; |
438 |
my $time1 = time; |
439 |
if ($el) { |
440 |
$elements = Whatpm::ContentChecker->check_element ($el, $onerror); |
441 |
} else { |
442 |
$elements = Whatpm::ContentChecker->check_document ($doc, $onerror); |
443 |
} |
444 |
$time{check} = time - $time1; |
445 |
|
446 |
print STDOUT qq[</dl></div>]; |
447 |
|
448 |
return $elements; |
449 |
} # print_structure_error_section |
450 |
|
451 |
sub print_table_section ($) { |
452 |
my $tables = shift; |
453 |
|
454 |
push @nav, ['#tables' => 'Tables']; |
455 |
print STDOUT qq[ |
456 |
<div id="tables" class="section"> |
457 |
<h2>Tables</h2> |
458 |
|
459 |
<!--[if IE]><script type="text/javascript" src="../excanvas.js"></script><![endif]--> |
460 |
<script src="../table-script.js" type="text/javascript"></script> |
461 |
<noscript> |
462 |
<p><em>Structure of tables are visualized here if scripting is enabled.</em></p> |
463 |
</noscript> |
464 |
]; |
465 |
|
466 |
require JSON; |
467 |
|
468 |
my $i = 0; |
469 |
for my $table_el (@$tables) { |
470 |
$i++; |
471 |
print STDOUT qq[<div class="section" id="table-$i"><h3>] . |
472 |
get_node_link ($table_el) . q[</h3>]; |
473 |
|
474 |
## TODO: Make |ContentChecker| return |form_table| result |
475 |
## so that this script don't have to run the algorithm twice. |
476 |
my $table = Whatpm::HTMLTable->form_table ($table_el); |
477 |
|
478 |
for (@{$table->{column_group}}, @{$table->{column}}, $table->{caption}) { |
479 |
next unless $_; |
480 |
delete $_->{element}; |
481 |
} |
482 |
|
483 |
for (@{$table->{row_group}}) { |
484 |
next unless $_; |
485 |
next unless $_->{element}; |
486 |
$_->{type} = $_->{element}->manakai_local_name; |
487 |
delete $_->{element}; |
488 |
} |
489 |
|
490 |
for (@{$table->{cell}}) { |
491 |
next unless $_; |
492 |
for (@{$_}) { |
493 |
next unless $_; |
494 |
for (@$_) { |
495 |
$_->{id} = refaddr $_->{element} if defined $_->{element}; |
496 |
delete $_->{element}; |
497 |
$_->{is_header} = $_->{is_header} ? 1 : 0; |
498 |
} |
499 |
} |
500 |
} |
501 |
|
502 |
print STDOUT '</div><script type="text/javascript">tableToCanvas ('; |
503 |
print STDOUT JSON::objToJson ($table); |
504 |
print STDOUT qq[, document.getElementById ('table-$i'));</script>]; |
505 |
} |
506 |
|
507 |
print STDOUT qq[</div>]; |
508 |
} # print_table_section |
509 |
|
510 |
sub print_id_section ($) { |
511 |
my $ids = shift; |
512 |
|
513 |
push @nav, ['#identifiers' => 'IDs']; |
514 |
print STDOUT qq[ |
515 |
<div id="identifiers" class="section"> |
516 |
<h2>Identifiers</h2> |
517 |
|
518 |
<dl> |
519 |
]; |
520 |
for my $id (sort {$a cmp $b} keys %$ids) { |
521 |
print STDOUT qq[<dt><code>@{[htescape $id]}</code></dt>]; |
522 |
for (@{$ids->{$id}}) { |
523 |
print STDOUT qq[<dd>].get_node_link ($_).qq[</dd>]; |
524 |
} |
525 |
} |
526 |
print STDOUT qq[</dl></div>]; |
527 |
} # print_id_section |
528 |
|
529 |
sub print_term_section ($) { |
530 |
my $terms = shift; |
531 |
|
532 |
push @nav, ['#terms' => 'Terms']; |
533 |
print STDOUT qq[ |
534 |
<div id="terms" class="section"> |
535 |
<h2>Terms</h2> |
536 |
|
537 |
<dl> |
538 |
]; |
539 |
for my $term (sort {$a cmp $b} keys %$terms) { |
540 |
print STDOUT qq[<dt>@{[htescape $term]}</dt>]; |
541 |
for (@{$terms->{$term}}) { |
542 |
print STDOUT qq[<dd>].get_node_link ($_).qq[</dd>]; |
543 |
} |
544 |
} |
545 |
print STDOUT qq[</dl></div>]; |
546 |
} # print_term_section |
547 |
|
548 |
sub print_class_section ($) { |
549 |
my $classes = shift; |
550 |
|
551 |
push @nav, ['#classes' => 'Classes']; |
552 |
print STDOUT qq[ |
553 |
<div id="classes" class="section"> |
554 |
<h2>Classes</h2> |
555 |
|
556 |
<dl> |
557 |
]; |
558 |
for my $class (sort {$a cmp $b} keys %$classes) { |
559 |
print STDOUT qq[<dt><code>@{[htescape $class]}</code></dt>]; |
560 |
for (@{$classes->{$class}}) { |
561 |
print STDOUT qq[<dd>].get_node_link ($_).qq[</dd>]; |
562 |
} |
563 |
} |
564 |
print STDOUT qq[</dl></div>]; |
565 |
} # print_class_section |
566 |
|
567 |
sub print_result_section ($) { |
568 |
my $result = shift; |
569 |
|
570 |
print STDOUT qq[ |
571 |
<div id="result-summary" class="section"> |
572 |
<h2>Result</h2>]; |
573 |
|
574 |
if ($result->{unsupported}) { |
575 |
print STDOUT qq[<p class=uncertain id=result-para>The conformance |
576 |
checker cannot decide whether the document is conforming or |
577 |
not, since the document contains one or more unsupported |
578 |
features.</p>]; |
579 |
} elsif ($result->{conforming_min}) { |
580 |
print STDOUT qq[<p class=PASS id=result-para>No conformance-error is |
581 |
found in this document.</p>]; |
582 |
} elsif ($result->{conforming_max}) { |
583 |
print STDOUT qq[<p class=SEE-RESULT id=result-para>This document |
584 |
is <strong>likely <em>non</em>-conforming</strong>, but in rare case |
585 |
it might be conforming.</p>]; |
586 |
} else { |
587 |
print STDOUT qq[<p class=FAIL id=result-para>This document is |
588 |
<strong><em>non</em>-conforming</strong>.</p>]; |
589 |
} |
590 |
|
591 |
print STDOUT qq[<table> |
592 |
<colgroup><col><colgroup><col><col><col><colgroup><col> |
593 |
<thead> |
594 |
<tr><th scope=col></th><th scope=col><em class=rfc2119>MUST</em>-level |
595 |
Errors</th><th scope=col><em class=rfc2119>SHOULD</em>-level |
596 |
Errors</th><th scope=col>Warnings</th><th scope=col>Score</th></tr> |
597 |
</thead><tbody>]; |
598 |
|
599 |
my $must_error = 0; |
600 |
my $should_error = 0; |
601 |
my $warning = 0; |
602 |
my $score_min = 0; |
603 |
my $score_max = 0; |
604 |
my $score_base = 20; |
605 |
for ( |
606 |
[Transfer => 'transfer', ''], |
607 |
[Character => 'char', ''], |
608 |
[Syntax => 'syntax', '#parse-errors'], |
609 |
[Structure => 'structure', '#document-errors'], |
610 |
) { |
611 |
$must_error += ($result->{$_->[1]}->{must} += 0); |
612 |
$should_error += ($result->{$_->[1]}->{should} += 0); |
613 |
$warning += ($result->{$_->[1]}->{warning} += 0); |
614 |
$score_min += ($result->{$_->[1]}->{score_min} += $score_base); |
615 |
$score_max += ($result->{$_->[1]}->{score_max} += $score_base); |
616 |
|
617 |
my $uncertain = $result->{$_->[1]}->{unsupported} ? '?' : ''; |
618 |
my $label = $_->[0]; |
619 |
if ($result->{$_->[1]}->{must} or |
620 |
$result->{$_->[1]}->{should} or |
621 |
$result->{$_->[1]}->{warning} or |
622 |
$result->{$_->[1]}->{unsupported}) { |
623 |
$label = qq[<a href="$_->[2]">$label</a>]; |
624 |
} |
625 |
|
626 |
print STDOUT qq[<tr class="@{[$uncertain ? 'uncertain' : '']}"><th scope=row>$label</th><td class="@{[$result->{$_->[1]}->{must} ? 'FAIL' : '']}">$result->{$_->[1]}->{must}$uncertain</td><td class="@{[$result->{$_->[1]}->{should} ? 'SEE-RESULT' : '']}">$result->{$_->[1]}->{should}$uncertain</td><td>$result->{$_->[1]}->{warning}$uncertain</td>]; |
627 |
if ($uncertain) { |
628 |
print qq[<td class="@{[$score_max < $score_base ? $score_min < $score_max ? 'FAIL' : 'SEE-RESULT' : '']}">−∞..$result->{$_->[1]}->{score_max}</td>]; |
629 |
} elsif ($result->{$_->[1]}->{score_min} != $result->{$_->[1]}->{score_max}) { |
630 |
print qq[<td class="@{[$score_max < $score_base ? 'FAIL' : 'SEE-RESULT']}">$result->{$_->[1]}->{score_min}..$result->{$_->[1]}->{score_max} + $score_base</td></tr>]; |
631 |
} else { |
632 |
print qq[<td class="@{[$score_max < $score_base ? 'FAIL' : '']}">$result->{$_->[1]}->{score_min}</td></tr>]; |
633 |
} |
634 |
} |
635 |
|
636 |
$score_max += $score_base; |
637 |
|
638 |
print STDOUT qq[ |
639 |
<tr class=uncertain><th scope=row>Semantics</th><td>0?</td><td>0?</td><td>0?</td><td>−∞..$score_base</td></tr> |
640 |
</tbody> |
641 |
<tfoot><tr class=uncertain><th scope=row>Total</th><td>$must_error?</td><td>$should_error?</td><td>$warning?</td><td><strong>−∞..$score_max</strong></td></tr></tfoot> |
642 |
</table> |
643 |
|
644 |
<p><strong>Important</strong>: This conformance checking service |
645 |
is <em>under development</em>. The result above might be <em>wrong</em>.</p> |
646 |
</div>]; |
647 |
push @nav, ['#result-summary' => 'Result']; |
648 |
} # print_result_section |
649 |
|
650 |
sub print_result_unknown_type_section ($) { |
651 |
my $input = shift; |
652 |
|
653 |
print STDOUT qq[ |
654 |
<div id="result-summary" class="section"> |
655 |
<p><em>Media type <code class="MIME" lang="en">@{[htescape $input->{media_type}]}</code> is not supported!</em></p> |
656 |
</div> |
657 |
]; |
658 |
push @nav, ['#result-summary' => 'Result']; |
659 |
} # print_result_unknown_type_section |
660 |
|
661 |
sub print_result_input_error_section ($) { |
662 |
my $input = shift; |
663 |
print STDOUT qq[<div class="section" id="result-summary"> |
664 |
<p><em><strong>Input Error</strong>: @{[htescape ($input->{error_status_text})]}</em></p> |
665 |
</div>]; |
666 |
push @nav, ['#result-summary' => 'Result']; |
667 |
} # print_Result_input_error_section |
668 |
|
669 |
sub get_node_path ($) { |
670 |
my $node = shift; |
671 |
my @r; |
672 |
while (defined $node) { |
673 |
my $rs; |
674 |
if ($node->node_type == 1) { |
675 |
$rs = $node->manakai_local_name; |
676 |
$node = $node->parent_node; |
677 |
} elsif ($node->node_type == 2) { |
678 |
$rs = '@' . $node->manakai_local_name; |
679 |
$node = $node->owner_element; |
680 |
} elsif ($node->node_type == 3) { |
681 |
$rs = '"' . $node->data . '"'; |
682 |
$node = $node->parent_node; |
683 |
} elsif ($node->node_type == 9) { |
684 |
@r = ('') unless @r; |
685 |
$rs = ''; |
686 |
$node = $node->parent_node; |
687 |
} else { |
688 |
$rs = '#' . $node->node_type; |
689 |
$node = $node->parent_node; |
690 |
} |
691 |
unshift @r, $rs; |
692 |
} |
693 |
return join '/', @r; |
694 |
} # get_node_path |
695 |
|
696 |
sub get_node_link ($) { |
697 |
return qq[<a href="#node-@{[refaddr $_[0]]}">] . |
698 |
htescape (get_node_path ($_[0])) . qq[</a>]; |
699 |
} # get_node_link |
700 |
|
701 |
{ |
702 |
my $Msg = {}; |
703 |
|
704 |
sub load_text_catalog ($) { |
705 |
my $lang = shift; # MUST be a canonical lang name |
706 |
open my $file, '<', "cc-msg.$lang.txt" or die "$0: cc-msg.$lang.txt: $!"; |
707 |
while (<$file>) { |
708 |
if (s/^([^;]+);([^;]*);//) { |
709 |
my ($type, $cls, $msg) = ($1, $2, $_); |
710 |
$msg =~ tr/\x0D\x0A//d; |
711 |
$Msg->{$type} = [$cls, $msg]; |
712 |
} |
713 |
} |
714 |
} # load_text_catalog |
715 |
|
716 |
sub get_text ($) { |
717 |
my ($type, $level, $node) = @_; |
718 |
$type = $level . ':' . $type if defined $level; |
719 |
my @arg; |
720 |
{ |
721 |
if (defined $Msg->{$type}) { |
722 |
my $msg = $Msg->{$type}->[1]; |
723 |
$msg =~ s{<var>\$([0-9]+)</var>}{ |
724 |
defined $arg[$1] ? htescape ($arg[$1]) : '(undef)'; |
725 |
}ge; |
726 |
$msg =~ s{<var>{\@([A-Za-z0-9:_.-]+)}</var>}{ |
727 |
UNIVERSAL::can ($node, 'get_attribute_ns') |
728 |
? htescape ($node->get_attribute_ns (undef, $1)) : '' |
729 |
}ge; |
730 |
$msg =~ s{<var>{\@}</var>}{ |
731 |
UNIVERSAL::can ($node, 'value') ? htescape ($node->value) : '' |
732 |
}ge; |
733 |
$msg =~ s{<var>{local-name}</var>}{ |
734 |
UNIVERSAL::can ($node, 'manakai_local_name') |
735 |
? htescape ($node->manakai_local_name) : '' |
736 |
}ge; |
737 |
$msg =~ s{<var>{element-local-name}</var>}{ |
738 |
(UNIVERSAL::can ($node, 'owner_element') and |
739 |
$node->owner_element) |
740 |
? htescape ($node->owner_element->manakai_local_name) |
741 |
: '' |
742 |
}ge; |
743 |
return ($type, $Msg->{$type}->[0], $msg); |
744 |
} elsif ($type =~ s/:([^:]*)$//) { |
745 |
unshift @arg, $1; |
746 |
redo; |
747 |
} |
748 |
} |
749 |
return ($type, '', htescape ($_[0])); |
750 |
} # get_text |
751 |
|
752 |
} |
753 |
|
754 |
sub get_input_document ($$) { |
755 |
my ($http, $dom) = @_; |
756 |
|
757 |
my $request_uri = $http->get_parameter ('uri'); |
758 |
my $r = {}; |
759 |
if (defined $request_uri and length $request_uri) { |
760 |
my $uri = $dom->create_uri_reference ($request_uri); |
761 |
unless ({ |
762 |
http => 1, |
763 |
}->{lc $uri->uri_scheme}) { |
764 |
return {uri => $request_uri, request_uri => $request_uri, |
765 |
error_status_text => 'URI scheme not allowed'}; |
766 |
} |
767 |
|
768 |
require Message::Util::HostPermit; |
769 |
my $host_permit = new Message::Util::HostPermit; |
770 |
$host_permit->add_rule (<<EOH); |
771 |
Allow host=suika port=80 |
772 |
Deny host=suika |
773 |
Allow host=suika.fam.cx port=80 |
774 |
Deny host=suika.fam.cx |
775 |
Deny host=localhost |
776 |
Deny host=*.localdomain |
777 |
Deny ipv4=0.0.0.0/8 |
778 |
Deny ipv4=10.0.0.0/8 |
779 |
Deny ipv4=127.0.0.0/8 |
780 |
Deny ipv4=169.254.0.0/16 |
781 |
Deny ipv4=172.0.0.0/11 |
782 |
Deny ipv4=192.0.2.0/24 |
783 |
Deny ipv4=192.88.99.0/24 |
784 |
Deny ipv4=192.168.0.0/16 |
785 |
Deny ipv4=198.18.0.0/15 |
786 |
Deny ipv4=224.0.0.0/4 |
787 |
Deny ipv4=255.255.255.255/32 |
788 |
Deny ipv6=0::0/0 |
789 |
Allow host=* |
790 |
EOH |
791 |
unless ($host_permit->check ($uri->uri_host, $uri->uri_port || 80)) { |
792 |
return {uri => $request_uri, request_uri => $request_uri, |
793 |
error_status_text => 'Connection to the host is forbidden'}; |
794 |
} |
795 |
|
796 |
require LWP::UserAgent; |
797 |
my $ua = WDCC::LWPUA->new; |
798 |
$ua->{wdcc_dom} = $dom; |
799 |
$ua->{wdcc_host_permit} = $host_permit; |
800 |
$ua->agent ('Mozilla'); ## TODO: for now. |
801 |
$ua->parse_head (0); |
802 |
$ua->protocols_allowed ([qw/http/]); |
803 |
$ua->max_size (1000_000); |
804 |
my $req = HTTP::Request->new (GET => $request_uri); |
805 |
my $res = $ua->request ($req); |
806 |
## TODO: 401 sets |is_success| true. |
807 |
if ($res->is_success or $http->get_parameter ('error-page')) { |
808 |
$r->{base_uri} = $res->base; ## NOTE: It does check |Content-Base|, |Content-Location|, and <base>. ## TODO: Use our own code! |
809 |
$r->{uri} = $res->request->uri; |
810 |
$r->{request_uri} = $request_uri; |
811 |
|
812 |
## TODO: More strict parsing... |
813 |
my $ct = $res->header ('Content-Type'); |
814 |
if (defined $ct and $ct =~ m#^([0-9A-Za-z._+-]+/[0-9A-Za-z._+-]+)#) { |
815 |
$r->{media_type} = lc $1; |
816 |
} |
817 |
if (defined $ct and $ct =~ /;\s*charset\s*=\s*"?(\S+)"?/i) { |
818 |
$r->{charset} = lc $1; |
819 |
$r->{charset} =~ tr/\\//d; |
820 |
} |
821 |
|
822 |
my $input_charset = $http->get_parameter ('charset'); |
823 |
if (defined $input_charset and length $input_charset) { |
824 |
$r->{charset_overridden} |
825 |
= (not defined $r->{charset} or $r->{charset} ne $input_charset); |
826 |
$r->{charset} = $input_charset; |
827 |
} |
828 |
|
829 |
$r->{s} = ''.$res->content; |
830 |
} else { |
831 |
$r->{uri} = $res->request->uri; |
832 |
$r->{request_uri} = $request_uri; |
833 |
$r->{error_status_text} = $res->status_line; |
834 |
} |
835 |
|
836 |
$r->{header_field} = []; |
837 |
$res->scan (sub { |
838 |
push @{$r->{header_field}}, [$_[0], $_[1]]; |
839 |
}); |
840 |
$r->{header_status_code} = $res->code; |
841 |
$r->{header_status_text} = $res->message; |
842 |
} else { |
843 |
$r->{s} = ''.$http->get_parameter ('s'); |
844 |
$r->{uri} = q<thismessage:/>; |
845 |
$r->{request_uri} = q<thismessage:/>; |
846 |
$r->{base_uri} = q<thismessage:/>; |
847 |
$r->{charset} = ''.$http->get_parameter ('_charset_'); |
848 |
$r->{charset} =~ s/\s+//g; |
849 |
$r->{charset} = 'utf-8' if $r->{charset} eq ''; |
850 |
$r->{header_field} = []; |
851 |
} |
852 |
|
853 |
my $input_format = $http->get_parameter ('i'); |
854 |
if (defined $input_format and length $input_format) { |
855 |
$r->{media_type_overridden} |
856 |
= (not defined $r->{media_type} or $input_format ne $r->{media_type}); |
857 |
$r->{media_type} = $input_format; |
858 |
} |
859 |
if (defined $r->{s} and not defined $r->{media_type}) { |
860 |
$r->{media_type} = 'text/html'; |
861 |
$r->{media_type_overridden} = 1; |
862 |
} |
863 |
|
864 |
if ($r->{media_type} eq 'text/xml') { |
865 |
unless (defined $r->{charset}) { |
866 |
$r->{charset} = 'us-ascii'; |
867 |
} elsif ($r->{charset_overridden} and $r->{charset} eq 'us-ascii') { |
868 |
$r->{charset_overridden} = 0; |
869 |
} |
870 |
} |
871 |
|
872 |
if (length $r->{s} > 1000_000) { |
873 |
$r->{error_status_text} = 'Entity-body too large'; |
874 |
delete $r->{s}; |
875 |
return $r; |
876 |
} |
877 |
|
878 |
return $r; |
879 |
} # get_input_document |
880 |
|
881 |
package WDCC::LWPUA; |
882 |
BEGIN { push our @ISA, 'LWP::UserAgent'; } |
883 |
|
884 |
sub redirect_ok { |
885 |
my $ua = shift; |
886 |
unless ($ua->SUPER::redirect_ok (@_)) { |
887 |
return 0; |
888 |
} |
889 |
|
890 |
my $uris = $_[1]->header ('Location'); |
891 |
return 0 unless $uris; |
892 |
my $uri = $ua->{wdcc_dom}->create_uri_reference ($uris); |
893 |
unless ({ |
894 |
http => 1, |
895 |
}->{lc $uri->uri_scheme}) { |
896 |
return 0; |
897 |
} |
898 |
unless ($ua->{wdcc_host_permit}->check ($uri->uri_host, $uri->uri_port || 80)) { |
899 |
return 0; |
900 |
} |
901 |
return 1; |
902 |
} # redirect_ok |
903 |
|
904 |
=head1 AUTHOR |
905 |
|
906 |
Wakaba <w@suika.fam.cx>. |
907 |
|
908 |
=head1 LICENSE |
909 |
|
910 |
Copyright 2007 Wakaba <w@suika.fam.cx> |
911 |
|
912 |
This library is free software; you can redistribute it |
913 |
and/or modify it under the same terms as Perl itself. |
914 |
|
915 |
=cut |
916 |
|
917 |
## $Date: 2007/09/10 11:51:09 $ |