Esempi in Java per PrettyStringBuilderFactory

Esempio n. 1

File: DefaultRecSubTypingProofNode.java Progetto: 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;
 }

Esempio n. 2

File: DefaultRecSubTypingProofNode.java Progetto: cbsa-informatik-uni-siegen/tpml

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