1 |
#!/usr/bin/perl |
2 |
use strict; |
3 |
use utf8; |
4 |
|
5 |
use lib qw[/home/httpd/html/www/markup/html/whatpm |
6 |
/home/wakaba/work/manakai2/lib]; |
7 |
use CGI::Carp qw[fatalsToBrowser]; |
8 |
use Scalar::Util qw[refaddr]; |
9 |
|
10 |
require WebHACC::Input; |
11 |
require WebHACC::Result; |
12 |
require WebHACC::Output; |
13 |
|
14 |
my $out; |
15 |
|
16 |
require Message::DOM::DOMImplementation; |
17 |
my $dom = Message::DOM::DOMImplementation->new; |
18 |
{ |
19 |
use Message::CGI::HTTP; |
20 |
my $http = Message::CGI::HTTP->new; |
21 |
|
22 |
if ($http->get_meta_variable ('PATH_INFO') ne '/') { |
23 |
print STDOUT "Status: 404 Not Found\nContent-Type: text/plain; charset=us-ascii\n\n400"; |
24 |
exit; |
25 |
} |
26 |
|
27 |
load_text_catalog ('en'); ## TODO: conneg |
28 |
|
29 |
$out = WebHACC::Output->new; |
30 |
$out->handle (*STDOUT); |
31 |
$out->set_utf8; |
32 |
$out->set_flush; |
33 |
$out->html (qq[Content-Type: text/html; charset=utf-8 |
34 |
|
35 |
<!DOCTYPE html> |
36 |
<html lang="en"> |
37 |
<head> |
38 |
<title>Web Document Conformance Checker (BETA)</title> |
39 |
<link rel="stylesheet" href="../cc-style.css" type="text/css"> |
40 |
</head> |
41 |
<body> |
42 |
<h1><a href="../cc-interface">Web Document Conformance Checker</a> |
43 |
(<em>beta</em>)</h1> |
44 |
]); |
45 |
|
46 |
my $input = get_input_document ($http, $dom); |
47 |
|
48 |
$out->input ($input); |
49 |
$out->unset_flush; |
50 |
|
51 |
my $result = WebHACC::Result->new; |
52 |
$result->output ($out); |
53 |
$result->{conforming_min} = 1; |
54 |
$result->{conforming_max} = 1; |
55 |
|
56 |
$out->html ('<script src="../cc-script.js"></script>'); |
57 |
|
58 |
check_and_print ($input => $result => $out); |
59 |
|
60 |
$result->generate_result_section; |
61 |
|
62 |
$out->nav_list; |
63 |
|
64 |
exit; |
65 |
} |
66 |
|
67 |
sub check_and_print ($$$) { |
68 |
my ($input, $result, $out) = @_; |
69 |
my $original_input = $out->input; |
70 |
$out->input ($input); |
71 |
|
72 |
$input->generate_info_section ($result); |
73 |
|
74 |
$input->generate_transfer_sections ($result); |
75 |
|
76 |
unless (defined $input->{s}) { |
77 |
$result->{conforming_min} = 0; |
78 |
return; |
79 |
} |
80 |
|
81 |
my $checker_class = { |
82 |
'text/cache-manifest' => 'WebHACC::Language::CacheManifest', |
83 |
'text/css' => 'WebHACC::Language::CSS', |
84 |
'text/html' => 'WebHACC::Language::HTML', |
85 |
'text/x-webidl' => 'WebHACC::Language::WebIDL', |
86 |
|
87 |
'text/xml' => 'WebHACC::Language::XML', |
88 |
'application/atom+xml' => 'WebHACC::Language::XML', |
89 |
'application/rss+xml' => 'WebHACC::Language::XML', |
90 |
'image/svg+xml' => 'WebHACC::Language::XML', |
91 |
'application/xhtml+xml' => 'WebHACC::Language::XML', |
92 |
'application/xml' => 'WebHACC::Language::XML', |
93 |
## TODO: Should we make all XML MIME Types fall |
94 |
## into this category? |
95 |
|
96 |
## NOTE: This type has different model from normal XML types. |
97 |
'application/rdf+xml' => 'WebHACC::Language::XML', |
98 |
}->{$input->{media_type}} || 'WebHACC::Language::Default'; |
99 |
|
100 |
eval qq{ require $checker_class } or die "$0: Loading $checker_class: $@"; |
101 |
my $checker = $checker_class->new; |
102 |
$checker->input ($input); |
103 |
$checker->output ($out); |
104 |
$checker->result ($result); |
105 |
|
106 |
## TODO: A cache manifest MUST be text/cache-manifest |
107 |
## TODO: WebIDL media type "text/x-webidl" |
108 |
|
109 |
$checker->generate_syntax_error_section; |
110 |
$checker->generate_source_string_section; |
111 |
|
112 |
my @subdoc; |
113 |
$checker->onsubdoc (sub { |
114 |
push @subdoc, shift; |
115 |
}); |
116 |
|
117 |
$checker->generate_structure_dump_section; |
118 |
$checker->generate_structure_error_section; |
119 |
$checker->generate_additional_sections; |
120 |
|
121 |
=pod |
122 |
|
123 |
if (defined $doc or defined $el) { |
124 |
|
125 |
print_table_section ($input, $elements->{table}) if @{$elements->{table}}; |
126 |
print_listing_section ({ |
127 |
id => 'identifiers', label => 'IDs', heading => 'Identifiers', |
128 |
}, $input, $elements->{id}) if keys %{$elements->{id}}; |
129 |
print_listing_section ({ |
130 |
id => 'terms', label => 'Terms', heading => 'Terms', |
131 |
}, $input, $elements->{term}) if keys %{$elements->{term}}; |
132 |
print_listing_section ({ |
133 |
id => 'classes', label => 'Classes', heading => 'Classes', |
134 |
}, $input, $elements->{class}) if keys %{$elements->{class}}; |
135 |
|
136 |
print_rdf_section ($input, $elements->{rdf}) if @{$elements->{rdf}}; |
137 |
} |
138 |
|
139 |
=cut |
140 |
|
141 |
my $id_prefix = 0; |
142 |
for my $_subinput (@subdoc) { |
143 |
my $subinput = WebHACC::Input::Subdocument->new (++$id_prefix); |
144 |
$subinput->{$_} = $_subinput->{$_} for keys %$_subinput; |
145 |
$subinput->{base_uri} = $subinput->{container_node}->base_uri |
146 |
unless defined $subinput->{base_uri}; |
147 |
$subinput->{parent_input} = $input; |
148 |
|
149 |
$subinput->start_section ($result); |
150 |
check_and_print ($subinput => $result => $out); |
151 |
$subinput->end_section ($result); |
152 |
} |
153 |
|
154 |
$out->input ($original_input); |
155 |
} # check_and_print |
156 |
|
157 |
sub print_table_section ($$) { |
158 |
my ($input, $tables) = @_; |
159 |
|
160 |
# push @nav, [qq[#$input->{id_prefix}tables] => 'Tables'] |
161 |
# unless $input->{nested}; |
162 |
print STDOUT qq[ |
163 |
<div id="$input->{id_prefix}tables" class="section"> |
164 |
<h2>Tables</h2> |
165 |
|
166 |
<!--[if IE]><script type="text/javascript" src="../excanvas.js"></script><![endif]--> |
167 |
<script src="../table-script.js" type="text/javascript"></script> |
168 |
<noscript> |
169 |
<p><em>Structure of tables are visualized here if scripting is enabled.</em></p> |
170 |
</noscript> |
171 |
]; |
172 |
|
173 |
require JSON; |
174 |
|
175 |
my $i = 0; |
176 |
for my $table (@$tables) { |
177 |
$i++; |
178 |
print STDOUT qq[<div class="section" id="$input->{id_prefix}table-$i"><h3>] . |
179 |
get_node_link ($input, $table->{element}) . q[</h3>]; |
180 |
|
181 |
delete $table->{element}; |
182 |
|
183 |
for (@{$table->{column_group}}, @{$table->{column}}, $table->{caption}, |
184 |
@{$table->{row}}) { |
185 |
next unless $_; |
186 |
delete $_->{element}; |
187 |
} |
188 |
|
189 |
for (@{$table->{row_group}}) { |
190 |
next unless $_; |
191 |
next unless $_->{element}; |
192 |
$_->{type} = $_->{element}->manakai_local_name; |
193 |
delete $_->{element}; |
194 |
} |
195 |
|
196 |
for (@{$table->{cell}}) { |
197 |
next unless $_; |
198 |
for (@{$_}) { |
199 |
next unless $_; |
200 |
for (@$_) { |
201 |
$_->{id} = refaddr $_->{element} if defined $_->{element}; |
202 |
delete $_->{element}; |
203 |
$_->{is_header} = $_->{is_header} ? 1 : 0; |
204 |
} |
205 |
} |
206 |
} |
207 |
|
208 |
print STDOUT '</div><script type="text/javascript">tableToCanvas ('; |
209 |
print STDOUT JSON::objToJson ($table); |
210 |
print STDOUT qq[, document.getElementById ('$input->{id_prefix}table-$i')]; |
211 |
print STDOUT qq[, '$input->{id_prefix}');</script>]; |
212 |
} |
213 |
|
214 |
print STDOUT qq[</div>]; |
215 |
} # print_table_section |
216 |
|
217 |
sub print_listing_section ($$$) { |
218 |
my ($opt, $input, $ids) = @_; |
219 |
|
220 |
# push @nav, ['#' . $input->{id_prefix} . $opt->{id} => $opt->{label}] |
221 |
# unless $input->{nested}; |
222 |
print STDOUT qq[ |
223 |
<div id="$input->{id_prefix}$opt->{id}" class="section"> |
224 |
<h2>$opt->{heading}</h2> |
225 |
|
226 |
<dl> |
227 |
]; |
228 |
for my $id (sort {$a cmp $b} keys %$ids) { |
229 |
print STDOUT qq[<dt><code>@{[htescape $id]}</code></dt>]; |
230 |
for (@{$ids->{$id}}) { |
231 |
print STDOUT qq[<dd>].get_node_link ($input, $_).qq[</dd>]; |
232 |
} |
233 |
} |
234 |
print STDOUT qq[</dl></div>]; |
235 |
} # print_listing_section |
236 |
|
237 |
|
238 |
sub print_rdf_section ($$$) { |
239 |
my ($input, $rdfs) = @_; |
240 |
|
241 |
# push @nav, ['#' . $input->{id_prefix} . 'rdf' => 'RDF'] |
242 |
# unless $input->{nested}; |
243 |
print STDOUT qq[ |
244 |
<div id="$input->{id_prefix}rdf" class="section"> |
245 |
<h2>RDF Triples</h2> |
246 |
|
247 |
<dl>]; |
248 |
my $i = 0; |
249 |
for my $rdf (@$rdfs) { |
250 |
print STDOUT qq[<dt id="$input->{id_prefix}rdf-@{[$i++]}">]; |
251 |
print STDOUT get_node_link ($input, $rdf->[0]); |
252 |
print STDOUT qq[<dd><dl>]; |
253 |
for my $triple (@{$rdf->[1]}) { |
254 |
print STDOUT '<dt>' . get_node_link ($input, $triple->[0]) . '<dd>'; |
255 |
print STDOUT get_rdf_resource_html ($triple->[1]); |
256 |
print STDOUT ' '; |
257 |
print STDOUT get_rdf_resource_html ($triple->[2]); |
258 |
print STDOUT ' '; |
259 |
print STDOUT get_rdf_resource_html ($triple->[3]); |
260 |
} |
261 |
print STDOUT qq[</dl>]; |
262 |
} |
263 |
print STDOUT qq[</dl></div>]; |
264 |
} # print_rdf_section |
265 |
|
266 |
sub get_rdf_resource_html ($) { |
267 |
my $resource = shift; |
268 |
if (defined $resource->{uri}) { |
269 |
my $euri = htescape ($resource->{uri}); |
270 |
return '<code class=uri><<a href="' . $euri . '">' . $euri . |
271 |
'</a>></code>'; |
272 |
} elsif (defined $resource->{bnodeid}) { |
273 |
return htescape ('_:' . $resource->{bnodeid}); |
274 |
} elsif ($resource->{nodes}) { |
275 |
return '(rdf:XMLLiteral)'; |
276 |
} elsif (defined $resource->{value}) { |
277 |
my $elang = htescape (defined $resource->{language} |
278 |
? $resource->{language} : ''); |
279 |
my $r = qq[<q lang="$elang">] . htescape ($resource->{value}) . '</q>'; |
280 |
if (defined $resource->{datatype}) { |
281 |
my $euri = htescape ($resource->{datatype}); |
282 |
$r .= '^^<code class=uri><<a href="' . $euri . '">' . $euri . |
283 |
'</a>></code>'; |
284 |
} elsif (length $resource->{language}) { |
285 |
$r .= '@' . htescape ($resource->{language}); |
286 |
} |
287 |
return $r; |
288 |
} else { |
289 |
return '??'; |
290 |
} |
291 |
} # get_rdf_resource_html |
292 |
|
293 |
{ |
294 |
my $Msg = {}; |
295 |
|
296 |
sub load_text_catalog ($) { |
297 |
# my $self = shift; |
298 |
my $lang = shift; # MUST be a canonical lang name |
299 |
open my $file, '<:utf8', "cc-msg.$lang.txt" |
300 |
or die "$0: cc-msg.$lang.txt: $!"; |
301 |
while (<$file>) { |
302 |
if (s/^([^;]+);([^;]*);//) { |
303 |
my ($type, $cls, $msg) = ($1, $2, $_); |
304 |
$msg =~ tr/\x0D\x0A//d; |
305 |
$Msg->{$type} = [$cls, $msg]; |
306 |
} |
307 |
} |
308 |
} # load_text_catalog |
309 |
|
310 |
sub get_text ($;$$) { |
311 |
# my $self = shift; |
312 |
my ($type, $level, $node) = @_; |
313 |
$type = $level . ':' . $type if defined $level; |
314 |
$level = 'm' unless defined $level; |
315 |
my @arg; |
316 |
{ |
317 |
if (defined $Msg->{$type}) { |
318 |
my $msg = $Msg->{$type}->[1]; |
319 |
$msg =~ s{<var>\$([0-9]+)</var>}{ |
320 |
defined $arg[$1] ? ($arg[$1]) : '(undef)'; |
321 |
}ge; ##BUG: ^ must be escaped |
322 |
$msg =~ s{<var>{\@([A-Za-z0-9:_.-]+)}</var>}{ |
323 |
UNIVERSAL::can ($node, 'get_attribute_ns') |
324 |
? ($node->get_attribute_ns (undef, $1)) : '' |
325 |
}ge; ## BUG: ^ must be escaped |
326 |
$msg =~ s{<var>{\@}</var>}{ ## BUG: v must be escaped |
327 |
UNIVERSAL::can ($node, 'value') ? ($node->value) : '' |
328 |
}ge; |
329 |
$msg =~ s{<var>{local-name}</var>}{ |
330 |
UNIVERSAL::can ($node, 'manakai_local_name') |
331 |
? ($node->manakai_local_name) : '' |
332 |
}ge; ## BUG: ^ must be escaped |
333 |
$msg =~ s{<var>{element-local-name}</var>}{ |
334 |
(UNIVERSAL::can ($node, 'owner_element') and |
335 |
$node->owner_element) |
336 |
? ($node->owner_element->manakai_local_name) |
337 |
: '' ## BUG: ^ must be escaped |
338 |
}ge; |
339 |
return ($type, 'level-' . $level . ' ' . $Msg->{$type}->[0], $msg); |
340 |
} elsif ($type =~ s/:([^:]*)$//) { |
341 |
unshift @arg, $1; |
342 |
redo; |
343 |
} |
344 |
} |
345 |
return ($type, 'level-'.$level, ($_[0])); |
346 |
## BUG: ^ must be escaped |
347 |
} # get_text |
348 |
|
349 |
} |
350 |
|
351 |
sub get_input_document ($$) { |
352 |
my ($http, $dom) = @_; |
353 |
|
354 |
require Encode; |
355 |
my $request_uri = Encode::decode ('utf-8', $http->get_parameter ('uri')); |
356 |
my $r = WebHACC::Input->new; |
357 |
if (defined $request_uri and length $request_uri) { |
358 |
my $uri = $dom->create_uri_reference ($request_uri); |
359 |
unless ({ |
360 |
http => 1, |
361 |
}->{lc $uri->uri_scheme}) { |
362 |
$r = WebHACC::Input::Error->new; |
363 |
$r->{uri} = $request_uri; |
364 |
$r->{request_uri} = $request_uri; |
365 |
$r->{error_status_text} = 'URL scheme not allowed'; |
366 |
} |
367 |
|
368 |
require Message::Util::HostPermit; |
369 |
my $host_permit = new Message::Util::HostPermit; |
370 |
$host_permit->add_rule (<<EOH); |
371 |
Allow host=suika port=80 |
372 |
Deny host=suika |
373 |
Allow host=suika.fam.cx port=80 |
374 |
Deny host=suika.fam.cx |
375 |
Deny host=localhost |
376 |
Deny host=*.localdomain |
377 |
Deny ipv4=0.0.0.0/8 |
378 |
Deny ipv4=10.0.0.0/8 |
379 |
Deny ipv4=127.0.0.0/8 |
380 |
Deny ipv4=169.254.0.0/16 |
381 |
Deny ipv4=172.0.0.0/11 |
382 |
Deny ipv4=192.0.2.0/24 |
383 |
Deny ipv4=192.88.99.0/24 |
384 |
Deny ipv4=192.168.0.0/16 |
385 |
Deny ipv4=198.18.0.0/15 |
386 |
Deny ipv4=224.0.0.0/4 |
387 |
Deny ipv4=255.255.255.255/32 |
388 |
Deny ipv6=0::0/0 |
389 |
Allow host=* |
390 |
EOH |
391 |
unless ($host_permit->check ($uri->uri_host, $uri->uri_port || 80)) { |
392 |
my $r = WebHACC::Input::Error->new; |
393 |
$r->{uri} = $request_uri; |
394 |
$r->{request_uri} = $request_uri; |
395 |
$r->{error_status_text} = 'Connection to the host is forbidden'; |
396 |
return $r; |
397 |
} |
398 |
|
399 |
require LWP::UserAgent; |
400 |
my $ua = WDCC::LWPUA->new; |
401 |
$ua->{wdcc_dom} = $dom; |
402 |
$ua->{wdcc_host_permit} = $host_permit; |
403 |
$ua->agent ('Mozilla'); ## TODO: for now. |
404 |
$ua->parse_head (0); |
405 |
$ua->protocols_allowed ([qw/http/]); |
406 |
$ua->max_size (1000_000); |
407 |
my $req = HTTP::Request->new (GET => $request_uri); |
408 |
$req->header ('Accept-Encoding' => 'identity, *; q=0'); |
409 |
my $res = $ua->request ($req); |
410 |
## TODO: 401 sets |is_success| true. |
411 |
if ($res->is_success or $http->get_parameter ('error-page')) { |
412 |
$r->{base_uri} = $res->base; ## NOTE: It does check |Content-Base|, |Content-Location|, and <base>. ## TODO: Use our own code! |
413 |
$r->{uri} = $res->request->uri; |
414 |
$r->{request_uri} = $request_uri; |
415 |
|
416 |
## TODO: More strict parsing... |
417 |
my $ct = $res->header ('Content-Type'); |
418 |
if (defined $ct and $ct =~ /;\s*charset\s*=\s*"?([^\s;"]+)"?/i) { |
419 |
$r->{charset} = lc $1; |
420 |
$r->{charset} =~ tr/\\//d; |
421 |
$r->{official_charset} = $r->{charset}; |
422 |
} |
423 |
|
424 |
my $input_charset = $http->get_parameter ('charset'); |
425 |
if (defined $input_charset and length $input_charset) { |
426 |
$r->{charset_overridden} |
427 |
= (not defined $r->{charset} or $r->{charset} ne $input_charset); |
428 |
$r->{charset} = $input_charset; |
429 |
} |
430 |
|
431 |
## TODO: Support for HTTP Content-Encoding |
432 |
|
433 |
$r->{s} = ''.$res->content; |
434 |
|
435 |
require Whatpm::ContentType; |
436 |
($r->{official_type}, $r->{media_type}) |
437 |
= Whatpm::ContentType->get_sniffed_type |
438 |
(get_file_head => sub { |
439 |
return substr $r->{s}, 0, shift; |
440 |
}, |
441 |
http_content_type_byte => $ct, |
442 |
has_http_content_encoding => |
443 |
defined $res->header ('Content-Encoding'), |
444 |
supported_image_types => {}); |
445 |
} else { |
446 |
$r->{uri} = $res->request->uri; |
447 |
$r->{request_uri} = $request_uri; |
448 |
$r->{error_status_text} = $res->status_line; |
449 |
} |
450 |
|
451 |
$r->{header_field} = []; |
452 |
$res->scan (sub { |
453 |
push @{$r->{header_field}}, [$_[0], $_[1]]; |
454 |
}); |
455 |
$r->{header_status_code} = $res->code; |
456 |
$r->{header_status_text} = $res->message; |
457 |
} else { |
458 |
$r->{s} = ''.$http->get_parameter ('s'); |
459 |
$r->{uri} = q<thismessage:/>; |
460 |
$r->{request_uri} = q<thismessage:/>; |
461 |
$r->{base_uri} = q<thismessage:/>; |
462 |
$r->{charset} = ''.$http->get_parameter ('_charset_'); |
463 |
$r->{charset} =~ s/\s+//g; |
464 |
$r->{charset} = 'utf-8' if $r->{charset} eq ''; |
465 |
$r->{official_charset} = $r->{charset}; |
466 |
$r->{header_field} = []; |
467 |
|
468 |
require Whatpm::ContentType; |
469 |
($r->{official_type}, $r->{media_type}) |
470 |
= Whatpm::ContentType->get_sniffed_type |
471 |
(get_file_head => sub { |
472 |
return substr $r->{s}, 0, shift; |
473 |
}, |
474 |
http_content_type_byte => undef, |
475 |
has_http_content_encoding => 0, |
476 |
supported_image_types => {}); |
477 |
} |
478 |
|
479 |
my $input_format = $http->get_parameter ('i'); |
480 |
if (defined $input_format and length $input_format) { |
481 |
$r->{media_type_overridden} |
482 |
= (not defined $r->{media_type} or $input_format ne $r->{media_type}); |
483 |
$r->{media_type} = $input_format; |
484 |
} |
485 |
if (defined $r->{s} and not defined $r->{media_type}) { |
486 |
$r->{media_type} = 'text/html'; |
487 |
$r->{media_type_overridden} = 1; |
488 |
} |
489 |
|
490 |
if ($r->{media_type} eq 'text/xml') { |
491 |
unless (defined $r->{charset}) { |
492 |
$r->{charset} = 'us-ascii'; |
493 |
$r->{official_charset} = $r->{charset}; |
494 |
} elsif ($r->{charset_overridden} and $r->{charset} eq 'us-ascii') { |
495 |
$r->{charset_overridden} = 0; |
496 |
} |
497 |
} |
498 |
|
499 |
if (length $r->{s} > 1000_000) { |
500 |
$r->{error_status_text} = 'Entity-body too large'; |
501 |
delete $r->{s}; |
502 |
return $r; |
503 |
} |
504 |
|
505 |
$r->{inner_html_element} = $http->get_parameter ('e'); |
506 |
|
507 |
return $r; |
508 |
} # get_input_document |
509 |
|
510 |
package WDCC::LWPUA; |
511 |
BEGIN { push our @ISA, 'LWP::UserAgent'; } |
512 |
|
513 |
sub redirect_ok { |
514 |
my $ua = shift; |
515 |
unless ($ua->SUPER::redirect_ok (@_)) { |
516 |
return 0; |
517 |
} |
518 |
|
519 |
my $uris = $_[1]->header ('Location'); |
520 |
return 0 unless $uris; |
521 |
my $uri = $ua->{wdcc_dom}->create_uri_reference ($uris); |
522 |
unless ({ |
523 |
http => 1, |
524 |
}->{lc $uri->uri_scheme}) { |
525 |
return 0; |
526 |
} |
527 |
unless ($ua->{wdcc_host_permit}->check ($uri->uri_host, $uri->uri_port || 80)) { |
528 |
return 0; |
529 |
} |
530 |
return 1; |
531 |
} # redirect_ok |
532 |
|
533 |
=head1 AUTHOR |
534 |
|
535 |
Wakaba <w@suika.fam.cx>. |
536 |
|
537 |
=head1 LICENSE |
538 |
|
539 |
Copyright 2007-2008 Wakaba <w@suika.fam.cx> |
540 |
|
541 |
This library is free software; you can redistribute it |
542 |
and/or modify it under the same terms as Perl itself. |
543 |
|
544 |
=cut |
545 |
|
546 |
## $Date: 2008/07/20 16:53:10 $ |