Package org.smtlib.sexpr

Class Printer.WithLines

java.lang.Object

org.smtlib.sexpr.Printer

org.smtlib.sexpr.Printer.WithLines

All Implemented Interfaces:

IPrinter, IVisitor<Void>

Enclosing class:

Printer

public static class Printer.WithLines
extends Printer

Nested Class Summary

Nested classes/interfaces inherited from class org.smtlib.sexpr.Printer

Printer.PrintArgs, Printer.WithLines

Nested classes/interfaces inherited from interface org.smtlib.IVisitor

IVisitor.TreeVisitor<T>, IVisitor.VisitorException

Field Summary

Fields inherited from class org.smtlib.sexpr.Printer

eol, smtConfig, w

Constructor Summary

Constructors

Constructor	Description
WithLines(SMT.Configuration smtConfig, Writer w)	Creates a printer object that follows the given Configuration's rules.

Method Summary

Modifier and Type	Method	Description
Printer.WithLines	newPrinter(Writer w)	Creates a new printer of the same type as the receiver, writing to the given Writer.
Void	visit(ICommand.IScript e)
static <T extends INode> void	write(SMT.Configuration smtConfig, PrintStream w, T e)	Writes the given expression to the given stream, following the given Configuration's rules.
static <T extends INode> void	write(SMT.Configuration smtConfig, Writer w, T e)	Writes the given expression to the given writer, following the given Configuration's rules.

Methods inherited from class org.smtlib.sexpr.Printer

append, error, exc, flush, print, printCommand, printCommand, toString, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, write, writer

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

WithLines

public WithLines(SMT.Configuration smtConfig,
 Writer w)

Creates a printer object that follows the given Configuration's rules.

Method Details

newPrinter

public Printer.WithLines newPrinter(Writer w)

Description copied from interface: IPrinter

Creates a new printer of the same type as the receiver, writing to the given Writer.

Specified by:

newPrinter in interface IPrinter

Overrides:

newPrinter in class Printer

write

public static <T extends INode> void write(SMT.Configuration smtConfig,
 Writer w,
 T e)
                                    throws IVisitor.VisitorException

Writes the given expression to the given writer, following the given Configuration's rules.

Throws:

IVisitor.VisitorException

write

public static <T extends INode> void write(SMT.Configuration smtConfig,
 PrintStream w,
 T e)
                                    throws IVisitor.VisitorException

Writes the given expression to the given stream, following the given Configuration's rules.

Throws:

IVisitor.VisitorException

visit

public Void visit(ICommand.IScript e)
           throws IVisitor.VisitorException

Specified by:

visit in interface IVisitor<Void>

Overrides:

visit in class Printer

Throws:

IVisitor.VisitorException