blob: 74953ba5374126a0ff6b1b83aa23524907e672bd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
|
%{
#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"
|
