String inner; if (kind == CLASS) inner = " extends "; else if (kind == TYPE) inner = " <: "; else if (kind == ALIAS) inner = " = "; else inner = " : "; return (isParameter() ? "" : defKeyword() + " ") + nameString() + idString() + inner + (rawInfoAt(Global.instance.POST_ANALYZER_PHASE_ID) instanceof Type.LazyType ? "?" : info());
StringBuffer buffer = new StringBuffer(); if (!isParameter()) buffer.append(defKeyword()).append(' '); String name = nameString(); if (!Global.instance.debug) { int index = name.indexOf('$'); if (index > 0) name = name.substring(0, index); } buffer.append(name).append(idString()).append(innerString()); if (rawInfoAt(Global.instance.POST_ANALYZER_PHASE_ID) instanceof Type.LazyType) buffer.append("?"); else if (isInitializedMethod()) buffer.append(info().defString()); else buffer.append(info()); return buffer.toString();
    public String defString() {	String inner;	if (kind == CLASS) inner = " extends ";	else if (kind == TYPE) inner = " <: ";	else if (kind == ALIAS) inner = " = ";	else inner = " : ";	return	    (isParameter() ? "" : defKeyword() + " ") + 	    nameString() + idString() + inner +            (rawInfoAt(Global.instance.POST_ANALYZER_PHASE_ID) 	       instanceof Type.LazyType ? "?" : info());    }