Exemplos de PrettyStringBuilderFactory em Java

Exemplo n.º 1

Arquivo: DefaultRecSubTypingProofNode.java Projeto: cbsa-informatik-uni-siegen/tpml

 /**
  * {@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;
 }

Exemplo n.º 2

Arquivo: DefaultRecSubTypingProofNode.java Projeto: cbsa-informatik-uni-siegen/tpml

 /**
  * {@inheritDoc}
  *
  * @see de.unisiegen.tpml.core.prettyprinter.PrettyPrintable#toPrettyString()
  */
 public final PrettyString toPrettyString() {
   return toPrettyStringBuilder(PrettyStringBuilderFactory.newInstance()).toPrettyString();
 }