Interface ExprTreePrinter
-
- All Known Implementing Classes:
ExprPrinter
,JavaExprPrinter
,MapBasedPrinter
,SmtExprPrinter
,TextExprPrinter
public interface ExprTreePrinter
Interface to be implemented by all visitor objects applied to an expression tree printers.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description java.lang.String
toString(Node node)
Returns the string representation of the given expression tree.
-
-
-
Method Detail
-
toString
java.lang.String toString(Node node)
Returns the string representation of the given expression tree.- Parameters:
node
- the expression tree to be printed.- Returns:
- the string representation of the expression tree.
-
-