From 601877c638420b1c32a0ea49a0ec43c952529bab Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Fri, 5 Jun 2009 05:39:57 +0000 Subject: Expr::print shouldn't introduce line breaks or extra formatting. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72921 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/klee/util/ExprPPrinter.h | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'include') diff --git a/include/klee/util/ExprPPrinter.h b/include/klee/util/ExprPPrinter.h index a1961e2b..63e6611d 100644 --- a/include/klee/util/ExprPPrinter.h +++ b/include/klee/util/ExprPPrinter.h @@ -42,9 +42,20 @@ namespace klee { scan(*it); } + /// printOne - Pretty print a single expression prefixed by a + /// message and followed by a line break. static void printOne(std::ostream &os, const char *message, const ref &e); + /// printSingleExpr - Pretty print a single expression. + /// + /// The expression will not be followed by a line break. + /// + /// Note that if the output stream is not positioned at the + /// beginning of a line then printing will not resume at the + /// correct position following any output line breaks. + static void printSingleExpr(std::ostream &os, const ref &e); + static void printConstraints(std::ostream &os, const ConstraintManager &constraints); -- cgit 1.4.1