/[suikacvs]/test/html-webhacc/cc.cgi
Suika

Contents of /test/html-webhacc/cc.cgi

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1.55 - (show annotations) (download)
Mon Jul 21 05:24:32 2008 UTC (15 years, 10 months ago) by wakaba
Branch: MAIN
Changes since 1.54: +21 -94 lines
++ ChangeLog	21 Jul 2008 05:20:07 -0000
	* cc.cgi: Information sections are now handled by WebHACC::Input
	module.  Input objects for subdocuments now owns their
	own subclass.

2008-07-21  Wakaba  <wakaba@suika.fam.cx>

++ html/WebHACC/Language/ChangeLog	21 Jul 2008 05:24:27 -0000
	* Base.pm: Use new method for node links.

	* CSS.pm: Typo fixes.  Pass |input| object as an argument
	to the CSSOM validation not supported error.

2008-07-21  Wakaba  <wakaba@suika.fam.cx>

++ html/WebHACC/ChangeLog	21 Jul 2008 05:23:21 -0000
	* Input.pm: A new subclass for subdocuments are added.
	Methods for information sections are added (from cc.cgi).

	* Output.pm (code): Support for attributes.
	(script, dt): New methods.
	(node_link): New method (from get_node_link in WebHACC::Result,
	which comes from cc.cgi).

	* Result.pm (add_error): Show some text even if no location
	infomration is available.  Use input object, if available,
	as fallback for location information.
	(get_error_label, get_node_path, get_node_link): Removed.
	The first method is no longer used.  The latters are now
	supported as |node_link| method in WebHACC::Output.

2008-07-21  Wakaba  <wakaba@suika.fam.cx>

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>&lt;<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>&lt;<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 $

admin@suikawiki.org
ViewVC Help
Powered by ViewVC 1.1.24