String VirtualOverride::defineNameHtml() const
{
if (s_VirtualOverride_inEdit)
{
String cap = s_VirtualOverride_inEditReal + L"<span class=\"unreal\">" + s_VirtualOverride_inEditUnreal + L"</span>";
if (s_VirtualOverride_inEditMethod)
return stripId(s_VirtualOverride_inEditMethod->defineNameHtml()).replace(s_VirtualOverride_inEditReal + s_VirtualOverride_inEditUnreal, cap);
return cap + tagOf(L"minor", s_VirtualOverride_inEditComment);
}
else
return m_base ? stripId(m_base->defineNameHtml()) : String::null;
}
String FunctorType::defineHtml() const
{
return tagOf(L"minor symbol", L"((") + toHtml(cardinalChildren()) + tagOf(L"minor symbol", L")") + "<^>" + tagOf(L"symbol", L"→") + toHtml(child(Returned)) + tagOf(L"minor symbol", L")");
}