Package org.smtlib

Interface IPrinter

All Known Implementing Classes:
Printer, Printer, Printer.WithLines, Solver_z3_4_3.Translator
public interface IPrinter
An interface for printers to concrete syntax; factories are shared with Parsers in IParser.IFactory.
Author:
David Cok

  • Method Summary

    Modifier and Type
    Method
    Description
    IPrinter
    newPrinter(Writer pw)
    Creates a new printer of the same type as the receiver, writing to the given Writer.
    <T extends INode>
    void
    print(T expr)
    Prints the argument to the receiver
    <T extends INode>
    String
    toString(T expr)
    Returns the argument as a String using a Printer of the same type as the receiver, but does not modify the receiver.

  • Method Details

    • print

      <T extends INode> void print(T expr) throws IVisitor.VisitorException
      Prints the argument to the receiver
      Throws:
      IVisitor.VisitorException

    • toString

      <T extends INode> String toString(T expr)
      Returns the argument as a String using a Printer of the same type as the receiver, but does not modify the receiver.

    • newPrinter

      IPrinter newPrinter(Writer pw)
      Creates a new printer of the same type as the receiver, writing to the given Writer.