/**
* {@inheritDoc}
*
* @see PrettyPrintable#toPrettyStringBuilder(PrettyStringBuilderFactory)
*/
public PrettyStringBuilder toPrettyStringBuilder(
PrettyStringBuilderFactory pPrettyStringBuilderFactory) {
PrettyStringBuilder builder = pPrettyStringBuilderFactory.newBuilder(this, 0);
builder.addBuilder(this.type.getLeft().toPrettyStringBuilder(pPrettyStringBuilderFactory), 0);
builder.addText(PRETTY_SPACE);
builder.addText(PRETTY_SUBTYPE);
builder.addText(PRETTY_SPACE);
builder.addBuilder(this.type.getRight().toPrettyStringBuilder(pPrettyStringBuilderFactory), 0);
return builder;
}
/**
* {@inheritDoc}
*
* @see de.unisiegen.tpml.core.prettyprinter.PrettyPrintable#toPrettyString()
*/
public final PrettyString toPrettyString() {
return toPrettyStringBuilder(PrettyStringBuilderFactory.newInstance()).toPrettyString();
}
