html-webhacc/WebHACC/Result.pm

package WebHACC::Result;
use strict;

sub new ($) {
  return bless {}, shift;
} # new

sub output ($;$) {
  if (@_ > 1) {
    if (defined $_[1]) {
      $_[0]->{output} = $_[1];
    } else {
      delete $_[0]->{output};
    }
  }

  return $_[0]->{output};
} # output

sub add_error ($%) {
  my ($self, %opt) = @_;

  my $out = $self->output;

  my $error_level = $opt{level};
  if (not defined $error_level) {
    $error_level = 'm'; ## NOTE: Unknown - an error of the implementation
  } elsif ({
    m => 1, s => 1, w => 1, i => 1, u => 1,
  }->{$error_level}) {
    #
  } else {
    $error_level = 'm'; ## NOTE: Unknown - an error of the implementation
  }

  my $error_layer = $opt{layer};
  if (not defined $error_layer) {
    $error_layer = 'syntax'; ## NOTE: Unknown - an error of the implementation
  } elsif ({
    transfer => 1,
    encode => 1,
    charset => 1,
    syntax => 1,
    structure => 1,
    semantics => 1,
  }->{$error_layer}) {
    #
  } else {
    $error_layer = 'syntax'; ## NOTE: Unknown - an error of the implementation
  }

  my $error_type_text = $opt{type};

  my $class = qq[level-$error_level layer-$error_layer];
 
  ## Line & column numbers (prepare values)

  my $line;
  my $column;
    
  if (defined $opt{node}) {
    $line = $opt{node}->get_user_data ('manakai_source_line');
    if (defined $line) {
      $column = $opt{node}->get_user_data ('manakai_source_column');
    } elsif ($opt{node}->isa ('Message::IF::Node')) {
      if ($opt{node}->node_type == $opt{node}->ATTRIBUTE_NODE) {
        my $owner = $opt{node}->owner_element;
        if ($owner) {
          $line = $owner->get_user_data ('manakai_source_line');
          $column = $owner->get_user_data ('manakai_source_column');
        }
      } else {
        my $parent = $opt{node}->parent_node;
        if ($parent) {
          $line = $parent->get_user_data ('manakai_source_line');
          $column = $parent->get_user_data ('manakai_source_column');
        }
      }
    }
  }
  unless (defined $line) {
    if (defined $opt{token} and defined $opt{token}->{line}) {
      $line = $opt{token}->{line};
      $column = $opt{token}->{column};
    } elsif (defined $opt{line}) {
      $line = $opt{line};
      $column = $opt{column};
    }
  }
  $line = $line - 1 || 1
      if defined $line and not (defined $column and $column > 0);

  $out->start_tag ('dt', class => $class,
                   'data-type' => $opt{type},
                   'data-level' => $error_level,
                   'data-layer' => $error_layer,
                   ($line ? ('data-line' => $line) : ()),
                   ($column ? ('data-column' => $column) : ()));
  my $has_location;

  ## URL
  
  if (defined $opt{url}) {
    $out->url ($opt{url});
    $has_location = 1;
  }

  ## Line & column numbers (real output)
 
  if (defined $line) {
    if (defined $column and $column > 0) {
      $out->xref ('Line #', text => $line, target => 'line-' . $line);
      $out->text (' ');
      $out->nl_text ('column #', text => $column);
    } else {
      $out->xref ('Line #', text => $line, target => 'line-' . $line);
    }
    $has_location = 1;
  }

  ## Node path

  if (defined $opt{node}) {
    $out->html (' ');
    $out->node_link ($opt{node});
    $has_location = 1;
  }

  if (defined $opt{index}) {
    if ($opt{index_has_link}) {
      $out->html (' ');
      $out->xref ('Index #', text => (0+$opt{index}),
                  target => 'index-' . (0+$opt{index}));
    } else {
      $out->html (' ');
      $out->nl_text ('Index #', text => (0+$opt{index}));
    }
    $has_location = 1;
  }

  if (defined $opt{value}) {
    $out->html (' ');
    $out->code ($opt{value});
    $has_location = 1;
  }

  unless ($has_location) {
    if (defined $opt{input}) {
      if (defined $opt{input}->{container_node}) {
        my $original_input = $out->input;
        $out->input ($opt{input}->{parent_input});
        $out->node_link ($opt{input}->{container_node});
        $out->input ($original_input);
        $has_location = 1;
      } elsif (defined $opt{input}->{request_uri}) {
        $out->url ($opt{input}->{request_uri});
        $has_location = 1;
      } elsif (defined $opt{input}->{uri}) {
        $out->url ($opt{input}->{uri});
        $has_location = 1;
      }
    }
    
    unless ($has_location) {
      $out->text ('Unknown location');
    }
  }
 
  $out->start_tag ('dd', class => $class);

  ## Error level
  
  if ($error_level eq 'm') {
    $out->html (qq[<strong><a href="../error-description#level-m"><em class=rfc2119>MUST</em>-level
        error</a></strong>: ]);
  } elsif ($error_level eq 's') {
    $out->html (qq[<strong><a href="../error-description#level-s"><em class=rfc2119>SHOULD</em>-level
        error</a></strong>: ]);
  } elsif ($error_level eq 'w') {
    $out->html (qq[<strong><a href="../error-description#level-w">Warning</a></strong>: ]);
  } elsif ($error_level eq 'u') {
    $out->html (qq[<strong><a href="../error-description#level-u">Not
        supported</a></strong>: ]);
  } elsif ($error_level eq 'i') {
    $out->html (qq[<strong><a href="../error-description#level-i">Information</a></strong>: ]);
  }

  ## Error message

  $out->nl_text ($error_type_text, node => $opt{node}, text => $opt{text});

  ## Additional error description

  if (defined $opt{text}) {
    $out->html (' (<q>');
    $out->text ($opt{text});
    $out->html ('</q>)');
  }
  
  ## Link to a long description

  my $fragment = $opt{type};
  $fragment =~ tr/ /-/;
  $fragment = $out->encode_url_component ($fragment);
  $out->text (' [');
  $out->link ('Description', url => '../error-description#' . $fragment,
              rel => 'help');
  $out->text (']');


#    my ($type, $cls, $msg) = main::get_text ($opt{type}, $opt{level});
#    $out->html (qq[<dt class="$cls">] . $result->get_error_label ($input, \%opt));

  $error_layer = 'char'
      if $error_layer eq 'charset' or $error_layer eq 'encode';
  if ($error_level eq 's') {
    $self->{$error_layer}->{should}++;
    $self->{$error_layer}->{score_min} -= 2;
    $self->{conforming_min} = 0;
  } elsif ($error_level eq 'w') {
    $self->{$error_layer}->{warning}++;
  } elsif ($error_level eq 'u') {
    $self->{$error_layer}->{unsupported}++;
    $self->{unsupported} = 1;
  } elsif ($error_level eq 'i') {
    #
  } else {
    $self->{$error_layer}->{must}++;
    $self->{$error_layer}->{score_max} -= 2;
    $self->{$error_layer}->{score_min} -= 2;
    $self->{conforming_min} = 0;
    $self->{conforming_max} = 0;
  }
} # add_error

sub generate_result_section ($) {
  my $result = shift;

  my $out = $result->output;

  $out->start_section (id => 'result-summary',
                       title => 'Result');

  if ($result->{unsupported} and $result->{conforming_max}) {  
    $out->html (qq[<p class=uncertain id=result-para>The conformance
        checker cannot decide whether the document is conforming or
        not, since the document contains one or more unsupported
        features.  The document might or might not be conforming.</p>]);
  } elsif ($result->{conforming_min}) {
    $out->html (qq[<p class=PASS id=result-para>No conformance-error is
        found in this document.</p>]);
  } elsif ($result->{conforming_max}) {
    $out->html (qq[<p class=SEE-RESULT id=result-para>This document
        is <strong>likely <em>non</em>-conforming</strong>, but in rare case
        it might be conforming.</p>]);
  } else {
    $out->html (qq[<p class=FAIL id=result-para>This document is 
        <strong><em>non</em>-conforming</strong>.</p>]);
  }

  $out->html (qq[<table>
<colgroup><col><colgroup><col><col><col><colgroup><col>
<thead>
<tr><th scope=col></th>
<th scope=col><a href="../error-description#level-m"><em class=rfc2119>MUST</em>-level
Errors</a></th>
<th scope=col><a href="../error-description#level-s"><em class=rfc2119>SHOULD</em>-level
Errors</a></th>
<th scope=col><a href="../error-description#level-w">Warnings</a></th>
<th scope=col>Score</th></tr></thead><tbody>]);

  ## TODO: Introduce "N/A" value (e.g. Character layer is not applicable
  ## to binary formats)

  my $must_error = 0;
  my $should_error = 0;
  my $warning = 0;
  my $score_min = 0;
  my $score_max = 0;
  my $score_base = 20;
  my $score_unit = $score_base / 100;
  for (
    [Transfer => 'transfer', '#transfer-errors'],
    [Character => 'char', ''],
    [Syntax => 'syntax', '#parse-errors'],
    [Structure => 'structure', '#document-errors'],
  ) {
    $must_error += ($result->{$_->[1]}->{must} += 0);
    $should_error += ($result->{$_->[1]}->{should} += 0);
    $warning += ($result->{$_->[1]}->{warning} += 0);
    $score_min += (($result->{$_->[1]}->{score_min} *= $score_unit) += $score_base);
    $score_max += (($result->{$_->[1]}->{score_max} *= $score_unit) += $score_base);

    my $uncertain = $result->{$_->[1]}->{unsupported} ? '?' : '';
    my $label = $_->[0];
    if ($result->{$_->[1]}->{must} or
        $result->{$_->[1]}->{should} or
        $result->{$_->[1]}->{warning} or
        $result->{$_->[1]}->{unsupported}) {
      $label = qq[<a href="$_->[2]">$label</a>];
    }

    $out->html (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>]);
    if ($uncertain) {
      $out->html (qq[<td class="@{[$result->{$_->[1]}->{must} ? 'FAIL' : $result->{$_->[1]}->{should} ? 'SEE-RESULT' : '']}">&#x2212;&#x221E;..$result->{$_->[1]}->{score_max}]);
    } elsif ($result->{$_->[1]}->{score_min} != $result->{$_->[1]}->{score_max}) {
      $out->html (qq[<td class="@{[$result->{$_->[1]}->{must} ? 'FAIL' : 'SEE-RESULT']}">$result->{$_->[1]}->{score_min}..$result->{$_->[1]}->{score_max}]);
    } else {
      $out->html (qq[<td class="@{[$result->{$_->[1]}->{must} ? 'FAIL' : '']}">$result->{$_->[1]}->{score_min}]);
    }
    $out->html (qq[ / 20]);
  }

  $score_max += $score_base;

  $out->html (qq[
<tr class=uncertain><th scope=row>Semantics</th><td>0?</td><td>0?</td><td>0?</td><td>&#x2212;&#x221E;..$score_base / 20
</tbody>
<tfoot><tr class=uncertain><th scope=row>Total</th>
<td class="@{[$must_error ? 'FAIL' : '']}">$must_error?</td>
<td class="@{[$should_error ? 'SEE-RESULT' : '']}">$should_error?</td>
<td>$warning?</td>
<td class="@{[$must_error ? 'FAIL' : $should_error ? 'SEE-RESULT' : '']}"><strong>&#x2212;&#x221E;..$score_max</strong> / 100
</table>

<p><strong>Important</strong>: This conformance checking service
is <em>under development</em>.  The result above might be <em>wrong</em>.</p>]);
  $out->end_section;
} # generate_result_section

1;
1	wakaba	1.1	package WebHACC::Result;
2			use strict;
3
4			sub new ($) {
5			return bless {}, shift;
6			} # new
7
8	wakaba	1.2	sub output ($;$) {
9			if (@_ > 1) {
10			if (defined $_[1]) {
11			$_[0]->{output} = $_[1];
12			} else {
13			delete $_[0]->{output};
14			}
15			}
16
17			return $_[0]->{output};
18			} # output
19
20			sub add_error ($%) {
21			my ($self, %opt) = @_;
22
23			my $out = $self->output;
24
25			my $error_level = $opt{level};
26			if (not defined $error_level) {
27			$error_level = 'm'; ## NOTE: Unknown - an error of the implementation
28			} elsif ({
29			m => 1, s => 1, w => 1, i => 1, u => 1,
30			}->{$error_level}) {
31			#
32			} else {
33			$error_level = 'm'; ## NOTE: Unknown - an error of the implementation
34			}
35
36			my $error_layer = $opt{layer};
37			if (not defined $error_layer) {
38			$error_layer = 'syntax'; ## NOTE: Unknown - an error of the implementation
39			} elsif ({
40			transfer => 1,
41			encode => 1,
42			charset => 1,
43			syntax => 1,
44			structure => 1,
45			semantics => 1,
46			}->{$error_layer}) {
47			#
48			} else {
49			$error_layer = 'syntax'; ## NOTE: Unknown - an error of the implementation
50			}
51
52			my $error_type_text = $opt{type};
53
54			my $class = qq[level-$error_level layer-$error_layer];
55
56	wakaba	1.6	## Line & column numbers (prepare values)
57	wakaba	1.1
58			my $line;
59			my $column;
60
61	wakaba	1.2	if (defined $opt{node}) {
62			$line = $opt{node}->get_user_data ('manakai_source_line');
63	wakaba	1.1	if (defined $line) {
64	wakaba	1.2	$column = $opt{node}->get_user_data ('manakai_source_column');
65	wakaba	1.7	} elsif ($opt{node}->isa ('Message::IF::Node')) {
66	wakaba	1.2	if ($opt{node}->node_type == $opt{node}->ATTRIBUTE_NODE) {
67			my $owner = $opt{node}->owner_element;
68			if ($owner) {
69			$line = $owner->get_user_data ('manakai_source_line');
70			$column = $owner->get_user_data ('manakai_source_column');
71			}
72	wakaba	1.1	} else {
73	wakaba	1.2	my $parent = $opt{node}->parent_node;
74	wakaba	1.1	if ($parent) {
75			$line = $parent->get_user_data ('manakai_source_line');
76			$column = $parent->get_user_data ('manakai_source_column');
77			}
78			}
79			}
80			}
81			unless (defined $line) {
82	wakaba	1.2	if (defined $opt{token} and defined $opt{token}->{line}) {
83			$line = $opt{token}->{line};
84			$column = $opt{token}->{column};
85			} elsif (defined $opt{line}) {
86			$line = $opt{line};
87			$column = $opt{column};
88	wakaba	1.1	}
89			}
90	wakaba	1.6	$line = $line - 1 \|\| 1
91			if defined $line and not (defined $column and $column > 0);
92
93			$out->start_tag ('dt', class => $class,
94			'data-type' => $opt{type},
95			'data-level' => $error_level,
96			'data-layer' => $error_layer,
97			($line ? ('data-line' => $line) : ()),
98			($column ? ('data-column' => $column) : ()));
99			my $has_location;
100
101			## URL
102
103			if (defined $opt{url}) {
104			$out->url ($opt{url});
105			$has_location = 1;
106			}
107
108			## Line & column numbers (real output)
109	wakaba	1.1
110			if (defined $line) {
111			if (defined $column and $column > 0) {
112	wakaba	1.6	$out->xref ('Line #', text => $line, target => 'line-' . $line);
113			$out->text (' ');
114			$out->nl_text ('column #', text => $column);
115	wakaba	1.1	} else {
116	wakaba	1.6	$out->xref ('Line #', text => $line, target => 'line-' . $line);
117	wakaba	1.1	}
118	wakaba	1.3	$has_location = 1;
119	wakaba	1.1	}
120
121	wakaba	1.2	## Node path
122
123			if (defined $opt{node}) {
124			$out->html (' ');
125			$out->node_link ($opt{node});
126	wakaba	1.3	$has_location = 1;
127	wakaba	1.1	}
128
129	wakaba	1.2	if (defined $opt{index}) {
130			if ($opt{index_has_link}) {
131			$out->html (' ');
132	wakaba	1.6	$out->xref ('Index #', text => (0+$opt{index}),
133	wakaba	1.2	target => 'index-' . (0+$opt{index}));
134	wakaba	1.1	} else {
135	wakaba	1.6	$out->html (' ');
136			$out->nl_text ('Index #', text => (0+$opt{index}));
137	wakaba	1.1	}
138	wakaba	1.3	$has_location = 1;
139	wakaba	1.1	}
140
141	wakaba	1.2	if (defined $opt{value}) {
142			$out->html (' ');
143			$out->code ($opt{value});
144	wakaba	1.3	$has_location = 1;
145			}
146
147			unless ($has_location) {
148			if (defined $opt{input}) {
149			if (defined $opt{input}->{container_node}) {
150			my $original_input = $out->input;
151			$out->input ($opt{input}->{parent_input});
152			$out->node_link ($opt{input}->{container_node});
153			$out->input ($original_input);
154			$has_location = 1;
155			} elsif (defined $opt{input}->{request_uri}) {
156			$out->url ($opt{input}->{request_uri});
157			$has_location = 1;
158			} elsif (defined $opt{input}->{uri}) {
159			$out->url ($opt{input}->{uri});
160			$has_location = 1;
161			}
162			}
163
164			unless ($has_location) {
165	wakaba	1.5	$out->text ('Unknown location');
166	wakaba	1.3	}
167	wakaba	1.1	}
168	wakaba	1.2
169			$out->start_tag ('dd', class => $class);
170	wakaba	1.4
171			## Error level
172
173			if ($error_level eq 'm') {
174			$out->html (qq[<strong><a href="../error-description#level-m"><em class=rfc2119>MUST</em>-level
175			error</a></strong>: ]);
176			} elsif ($error_level eq 's') {
177			$out->html (qq[<strong><a href="../error-description#level-s"><em class=rfc2119>SHOULD</em>-level
178			error</a></strong>: ]);
179			} elsif ($error_level eq 'w') {
180			$out->html (qq[<strong><a href="../error-description#level-w">Warning</a></strong>: ]);
181			} elsif ($error_level eq 'u') {
182			$out->html (qq[<strong><a href="../error-description#level-u">Not
183			supported</a></strong>: ]);
184			} elsif ($error_level eq 'i') {
185			$out->html (qq[<strong><a href="../error-description#level-i">Information</a></strong>: ]);
186			}
187
188			## Error message
189
190	wakaba	1.6	$out->nl_text ($error_type_text, node => $opt{node}, text => $opt{text});
191	wakaba	1.2
192	wakaba	1.4	## Additional error description
193
194	wakaba	1.2	if (defined $opt{text}) {
195			$out->html (' (<q>');
196			$out->text ($opt{text});
197			$out->html ('</q>)');
198			}
199	wakaba	1.4
200			## Link to a long description
201	wakaba	1.2
202			my $fragment = $opt{type};
203			$fragment =~ tr/ /-/;
204			$fragment = $out->encode_url_component ($fragment);
205			$out->text (' [');
206	wakaba	1.4	$out->link ('Description', url => '../error-description#' . $fragment,
207			rel => 'help');
208	wakaba	1.2	$out->text (']');
209
210
211			# my ($type, $cls, $msg) = main::get_text ($opt{type}, $opt{level});
212			# $out->html (qq[<dt class="$cls">] . $result->get_error_label ($input, \%opt));
213
214			$error_layer = 'char'
215			if $error_layer eq 'charset' or $error_layer eq 'encode';
216			if ($error_level eq 's') {
217			$self->{$error_layer}->{should}++;
218			$self->{$error_layer}->{score_min} -= 2;
219			$self->{conforming_min} = 0;
220			} elsif ($error_level eq 'w') {
221			$self->{$error_layer}->{warning}++;
222			} elsif ($error_level eq 'u') {
223			$self->{$error_layer}->{unsupported}++;
224			$self->{unsupported} = 1;
225			} elsif ($error_level eq 'i') {
226			#
227			} else {
228			$self->{$error_layer}->{must}++;
229			$self->{$error_layer}->{score_max} -= 2;
230			$self->{$error_layer}->{score_min} -= 2;
231			$self->{conforming_min} = 0;
232			$self->{conforming_max} = 0;
233			}
234			} # add_error
235
236			sub generate_result_section ($) {
237			my $result = shift;
238
239			my $out = $result->output;
240
241			$out->start_section (id => 'result-summary',
242			title => 'Result');
243
244			if ($result->{unsupported} and $result->{conforming_max}) {
245			$out->html (qq[<p class=uncertain id=result-para>The conformance
246			checker cannot decide whether the document is conforming or
247			not, since the document contains one or more unsupported
248			features. The document might or might not be conforming.</p>]);
249			} elsif ($result->{conforming_min}) {
250			$out->html (qq[<p class=PASS id=result-para>No conformance-error is
251			found in this document.</p>]);
252			} elsif ($result->{conforming_max}) {
253			$out->html (qq[<p class=SEE-RESULT id=result-para>This document
254			is <strong>likely <em>non</em>-conforming</strong>, but in rare case
255			it might be conforming.</p>]);
256			} else {
257			$out->html (qq[<p class=FAIL id=result-para>This document is
258			<strong><em>non</em>-conforming</strong>.</p>]);
259			}
260
261			$out->html (qq[<table>
262			<colgroup><col><colgroup><col><col><col><colgroup><col>
263			<thead>
264			<tr><th scope=col></th>
265			<th scope=col><a href="../error-description#level-m"><em class=rfc2119>MUST</em>-level
266			Errors</a></th>
267			<th scope=col><a href="../error-description#level-s"><em class=rfc2119>SHOULD</em>-level
268			Errors</a></th>
269			<th scope=col><a href="../error-description#level-w">Warnings</a></th>
270			<th scope=col>Score</th></tr></thead><tbody>]);
271
272			## TODO: Introduce "N/A" value (e.g. Character layer is not applicable
273			## to binary formats)
274
275			my $must_error = 0;
276			my $should_error = 0;
277			my $warning = 0;
278			my $score_min = 0;
279			my $score_max = 0;
280			my $score_base = 20;
281			my $score_unit = $score_base / 100;
282			for (
283	wakaba	1.8	[Transfer => 'transfer', '#transfer-errors'],
284	wakaba	1.2	[Character => 'char', ''],
285			[Syntax => 'syntax', '#parse-errors'],
286			[Structure => 'structure', '#document-errors'],
287			) {
288			$must_error += ($result->{$_->[1]}->{must} += 0);
289			$should_error += ($result->{$_->[1]}->{should} += 0);
290			$warning += ($result->{$_->[1]}->{warning} += 0);
291			$score_min += (($result->{$_->[1]}->{score_min} *= $score_unit) += $score_base);
292			$score_max += (($result->{$_->[1]}->{score_max} *= $score_unit) += $score_base);
293
294			my $uncertain = $result->{$_->[1]}->{unsupported} ? '?' : '';
295			my $label = $_->[0];
296			if ($result->{$_->[1]}->{must} or
297			$result->{$_->[1]}->{should} or
298			$result->{$_->[1]}->{warning} or
299			$result->{$_->[1]}->{unsupported}) {
300			$label = qq[<a href="$_->[2]">$label</a>];
301			}
302
303			$out->html (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>]);
304			if ($uncertain) {
305			$out->html (qq[<td class="@{[$result->{$_->[1]}->{must} ? 'FAIL' : $result->{$_->[1]}->{should} ? 'SEE-RESULT' : '']}">−∞..$result->{$_->[1]}->{score_max}]);
306			} elsif ($result->{$_->[1]}->{score_min} != $result->{$_->[1]}->{score_max}) {
307			$out->html (qq[<td class="@{[$result->{$_->[1]}->{must} ? 'FAIL' : 'SEE-RESULT']}">$result->{$_->[1]}->{score_min}..$result->{$_->[1]}->{score_max}]);
308			} else {
309			$out->html (qq[<td class="@{[$result->{$_->[1]}->{must} ? 'FAIL' : '']}">$result->{$_->[1]}->{score_min}]);
310			}
311			$out->html (qq[ / 20]);
312			}
313
314			$score_max += $score_base;
315
316			$out->html (qq[
317			<tr class=uncertain><th scope=row>Semantics</th><td>0?</td><td>0?</td><td>0?</td><td>−∞..$score_base / 20
318			</tbody>
319			<tfoot><tr class=uncertain><th scope=row>Total</th>
320			<td class="@{[$must_error ? 'FAIL' : '']}">$must_error?</td>
321			<td class="@{[$should_error ? 'SEE-RESULT' : '']}">$should_error?</td>
322			<td>$warning?</td>
323			<td class="@{[$must_error ? 'FAIL' : $should_error ? 'SEE-RESULT' : '']}"><strong>−∞..$score_max</strong> / 100
324			</table>
325
326			<p><strong>Important</strong>: This conformance checking service
327			is <em>under development</em>. The result above might be <em>wrong</em>.</p>]);
328			$out->end_section;
329			} # generate_result_section
330	wakaba	1.1
331			1;