From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Sat, 13 Jul 2013 15:19:53 +0000 (-0400)
Subject: Remove now-unused language bindings interface file.
X-Git-Tag: cvc5-1.0.0~7287^2~64
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=839920ac29df9cf5a8a231a3d66250a102821472;p=cvc5.git

Remove now-unused language bindings interface file.
---

diff --git a/src/util/output.i b/src/util/output.i
deleted file mode 100644
index 74953ba53..000000000
--- a/src/util/output.i
+++ /dev/null
@@ -1,70 +0,0 @@
-%{
-#include "util/output.h"
-%}
-
-%ignore CVC4::null_streambuf;
-%ignore std::streambuf;
-%feature("valuewrapper") std::ostream;
-
-// There are issues with SWIG's attempted wrapping of these variables when
-// it tries to generate the getters and setters.  For now, just ignore them.
-%ignore CVC4::null_sb;
-%ignore CVC4::null_os;
-%ignore CVC4::DumpOutC::dump_cout;
-%ignore CVC4::CVC4ostream;
-
-%ignore operator<<;
-%ignore on(std::string);
-%ignore isOn(std::string);
-%ignore off(std::string);
-%ignore printf(std::string, const char*, ...);
-
-%ignore CVC4::IndentedScope;
-%ignore CVC4::push(CVC4ostream&);
-%ignore CVC4::pop(CVC4ostream&);
-
-%ignore CVC4::ScopedDebug::ScopedDebug(std::string);
-%ignore CVC4::ScopedDebug::ScopedDebug(std::string, bool);
-
-%ignore CVC4::ScopedTrace::ScopedTrace(std::string);
-%ignore CVC4::ScopedTrace::ScopedTrace(std::string, bool);
-
-%ignore CVC4::WarningC::WarningC(std::ostream*);
-%ignore CVC4::MessageC::MessageC(std::ostream*);
-%ignore CVC4::NoticeC::NoticeC(std::ostream*);
-%ignore CVC4::ChatC::ChatC(std::ostream*);
-%ignore CVC4::TraceC::TraceC(std::ostream*);
-%ignore CVC4::DebugC::DebugC(std::ostream*);
-%ignore CVC4::DumpOutC::DumpOutC(std::ostream*);
-
-%ignore CVC4::WarningC::operator();
-%ignore CVC4::MessageC::operator();
-%ignore CVC4::NoticeC::operator();
-%ignore CVC4::ChatC::operator();
-%ignore CVC4::TraceC::operator();
-%ignore CVC4::DebugC::operator();
-%ignore CVC4::DumpOutC::operator();
-
-%ignore CVC4::WarningC::getStream();
-%ignore CVC4::MessageC::getStream();
-%ignore CVC4::NoticeC::getStream();
-%ignore CVC4::ChatC::getStream();
-%ignore CVC4::TraceC::getStream();
-%ignore CVC4::DebugC::getStream();
-%ignore CVC4::DumpOutC::getStream();
-
-%ignore CVC4::WarningC::setStream(std::ostream&);
-%ignore CVC4::MessageC::setStream(std::ostream&);
-%ignore CVC4::NoticeC::setStream(std::ostream&);
-%ignore CVC4::ChatC::setStream(std::ostream&);
-%ignore CVC4::TraceC::setStream(std::ostream&);
-%ignore CVC4::DebugC::setStream(std::ostream&);
-%ignore CVC4::DumpOutC::setStream(std::ostream&);
-
-%ignore operator std::ostream&;
-%ignore operator CVC4ostream;
-
-%rename(get) operator ();
-%rename(ok) operator bool;
-
-%include "util/output.h"