diff options
Diffstat (limited to 'src/smt/managed_ostreams.cpp')
-rw-r--r-- | src/smt/managed_ostreams.cpp | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/src/smt/managed_ostreams.cpp b/src/smt/managed_ostreams.cpp index a73ec44f4..7615325b7 100644 --- a/src/smt/managed_ostreams.cpp +++ b/src/smt/managed_ostreams.cpp @@ -163,31 +163,4 @@ void ManagedDiagnosticOutputChannel::addSpecialCases(OstreamOpener* opener) opener->addSpecialCase("stderr", &std::cerr); } - -ManagedReplayLogOstream::ManagedReplayLogOstream() : d_replayLog(NULL) {} -ManagedReplayLogOstream::~ManagedReplayLogOstream(){ - if(d_replayLog != NULL) { - (*d_replayLog) << std::flush; - } -} - -std::string ManagedReplayLogOstream::defaultSource() const { - return options::replayLogFilename(); -} - -void ManagedReplayLogOstream::initialize(std::ostream* outStream) { - if(outStream != NULL){ - *outStream << language::SetLanguage(options::outputLanguage()) - << expr::ExprSetDepth(-1); - } - /* Do this regardless of managing the memory. */ - d_replayLog = outStream; -} - -/** Adds special cases to an ostreamopener. */ -void ManagedReplayLogOstream::addSpecialCases(OstreamOpener* opener) const { - opener->addSpecialCase("-", &std::cout); -} - - }/* CVC4 namespace */ |