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

'; $c = $v->getContext(); if (RichRenderer::$access_paths && $c->getDepth() > 0 && null !== ($ap = $c->getAccessPath())) { $header .= '⇄'; } $header .= ''; if ($c instanceof ClassDeclaredContext) { $header .= ''.$c->getModifiers().' '; } $header .= ''.$this->renderer->escape($v->getDisplayName()).' '; if ($c instanceof PropertyContext && null !== ($s = $c->getHooks())) { $header .= ''.$this->renderer->escape($s).' '; } if (null !== ($s = $c->getOperator())) { $header .= $this->renderer->escape($s, 'ASCII').' '; } $s = $v->getDisplayType(); if (RichRenderer::$escape_types) { $s = $this->renderer->escape($s); } if ($c->isRef()) { $s = '&'.$s; } $header .= ''.$s.''; if ($v instanceof InstanceValue && $this->renderer->shouldRenderObjectIds()) { $header .= '#'.$v->getSplObjectId(); } $header .= ' '; if (null !== ($s = $v->getDisplaySize())) { if (RichRenderer::$escape_types) { $s = $this->renderer->escape($s); } $header .= '('.$s.') '; } $header .= $content; if (!empty($ap)) { $header .= '

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

'; } return $header.'

'; } }