public function format_of($text, $check_simple = false)
{
return Conf::check_format($this->paperFormat, $check_simple ? $text : null);
}
private function _check_heading($thenval, $rstate, $srows, $lastheading, &$body)
{
if ($this->count != 1 && $thenval != $lastheading) {
$rstate->headingstart[] = count($body);
}
while ($lastheading != $thenval) {
++$lastheading;
$ginfo = get($this->search->groupmap, $lastheading);
if ($ginfo === null || !isset($ginfo->heading) || strcasecmp($ginfo->heading, "none") == 0) {
if ($this->count != 1) {
$body[] = " <tr class=\"plheading_blank\"><td class=\"plheading_blank\" colspan=\"{$rstate->ncol}\"></td></tr>\n";
}
} else {
$x = " <tr class=\"plheading\"";
if (isset($ginfo->tag)) {
$x .= " data-anno-tag=\"{$ginfo->tag}\"";
}
if (isset($ginfo->annoId)) {
$x .= " data-anno-id=\"{$ginfo->annoId}\" data-tags=\"{$ginfo->tag}#{$ginfo->tagIndex}\"";
}
$x .= ">";
if ($rstate->titlecol) {
$x .= "<td class=\"plheading_spacer\" colspan=\"{$rstate->titlecol}\"></td>";
}
$x .= "<td class=\"plheading\" colspan=\"" . ($rstate->ncol - $rstate->titlecol) . "\">";
for ($i = $this->count - 1; $i < count($srows) && $this->_row_thenval($srows[$i]) == $lastheading; ++$i) {
/* do nothing */
}
$count = plural($i - $this->count + 1, "paper");
$x .= "<span class=\"plheading_group";
if ($ginfo->heading !== "" && ($format = Conf::check_format($ginfo->annoFormat, $ginfo->heading))) {
$x .= " need-format\" data-format=\"{$format}";
$this->need_render = true;
}
$x .= "\" data-title=\"" . htmlspecialchars($ginfo->heading) . "\">" . htmlspecialchars($ginfo->heading) . ($ginfo->heading !== "" ? " " : "") . "</span><span class=\"plheading_count\">{$count}</span></td></tr>";
$body[] = $x;
$rstate->colorindex = 0;
}
}
return $thenval;
}
public static function unparse_anno_json($anno)
{
$j = (object) ["annoid" => $anno->annoId === null ? null : +$anno->annoId];
if ($anno->tagIndex !== null) {
$j->tagval = (double) $anno->tagIndex;
}
$j->heading = $anno->heading;
if ($format = Conf::check_format($anno->annoFormat, (string) $anno->heading)) {
$j->format = +$format;
}
return $j;
}
