Beispiel #1
0
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;
}
Beispiel #2
0
String FunctorType::defineHtml() const
{
	return tagOf(L"minor symbol", L"((") + toHtml(cardinalChildren()) + tagOf(L"minor symbol", L")") + "<^>" + tagOf(L"symbol", L"&rarr;") + toHtml(child(Returned)) + tagOf(L"minor symbol", L")");
}