renderer = $r; } /** * @param string $content The replacement for the getValueShort contents */ public function renderLockedHeader(Value $o, string $content): string { $header = '

'; if (RichRenderer::$access_paths && $o->depth > 0 && $ap = $o->getAccessPath()) { $header .= '⇄'; } $header .= ''; if (null !== ($s = $o->getModifiers())) { $header .= ''.$s.' '; } if (null !== ($s = $o->getName())) { $header .= ''.$this->renderer->escape($s).' '; if ($s = $o->getOperator()) { $header .= $this->renderer->escape($s, 'ASCII').' '; } } if (null !== ($s = $o->getType())) { if (RichRenderer::$escape_types) { $s = $this->renderer->escape($s); } if ($o->reference) { $s = '&'.$s; } $header .= ''.$s.''; if ($o instanceof InstanceValue && isset($o->spl_object_id)) { $header .= '#'.((int) $o->spl_object_id); } $header .= ' '; } if (null !== ($s = $o->getSize())) { if (RichRenderer::$escape_types) { $s = $this->renderer->escape($s); } $header .= '('.$s.') '; } $header .= $content; if (!empty($ap)) { $header .= '

'.$this->renderer->escape($ap).'

'; } return $header.'

'; } }