diff options
| author | chriseth <chris@ethereum.org> | 2017-07-14 03:06:04 +0800 |
|---|---|---|
| committer | chriseth <chris@ethereum.org> | 2017-08-23 23:37:35 +0800 |
| commit | 9ac2ac14c1819be2341c6947245bf63b02795528 (patch) | |
| tree | 0f935509daf2d166a6095924530263059894a764 /libsolidity/formal | |
| parent | ab5e3a8f6d9b92cef521b6855bf7ab649ebf751f (diff) | |
| download | dexon-solidity-9ac2ac14c1819be2341c6947245bf63b02795528.tar dexon-solidity-9ac2ac14c1819be2341c6947245bf63b02795528.tar.gz dexon-solidity-9ac2ac14c1819be2341c6947245bf63b02795528.tar.bz2 dexon-solidity-9ac2ac14c1819be2341c6947245bf63b02795528.tar.lz dexon-solidity-9ac2ac14c1819be2341c6947245bf63b02795528.tar.xz dexon-solidity-9ac2ac14c1819be2341c6947245bf63b02795528.tar.zst dexon-solidity-9ac2ac14c1819be2341c6947245bf63b02795528.zip | |
Rename read file callback.
Diffstat (limited to 'libsolidity/formal')
| -rw-r--r-- | libsolidity/formal/SMTChecker.h | 2 | ||||
| -rw-r--r-- | libsolidity/formal/SMTLib2Interface.cpp | 6 | ||||
| -rw-r--r-- | libsolidity/formal/SMTLib2Interface.h | 2 |
3 files changed, 6 insertions, 4 deletions
diff --git a/libsolidity/formal/SMTChecker.h b/libsolidity/formal/SMTChecker.h index afe5897d..f0968cc7 100644 --- a/libsolidity/formal/SMTChecker.h +++ b/libsolidity/formal/SMTChecker.h @@ -34,7 +34,7 @@ class ErrorReporter; class SMTChecker: private ASTConstVisitor { public: - SMTChecker(ErrorReporter& _errorReporter, ReadFile::Callback const& _readCallback); + SMTChecker(ErrorReporter& _errorReporter, ReadCallback::Callback const& _readCallback); void analyze(SourceUnit const& _sources); diff --git a/libsolidity/formal/SMTLib2Interface.cpp b/libsolidity/formal/SMTLib2Interface.cpp index 8cc4da66..4b118abc 100644 --- a/libsolidity/formal/SMTLib2Interface.cpp +++ b/libsolidity/formal/SMTLib2Interface.cpp @@ -18,6 +18,7 @@ #include <libsolidity/formal/SMTLib2Interface.h> #include <libsolidity/interface/Exceptions.h> +#include <libsolidity/interface/ReadFile.h> #include <boost/algorithm/string/predicate.hpp> #include <boost/algorithm/string/join.hpp> @@ -33,10 +34,11 @@ using namespace std; using namespace dev; +using namespace dev::solidity; using namespace dev::solidity::smt; -SMTLib2Interface::SMTLib2Interface(ReadFile::Callback const& _readFileCallback): - m_communicator(_readFileCallback) +SMTLib2Interface::SMTLib2Interface(ReadCallback::Callback const& _queryCallback): + m_queryCallback(_queryCallback) { reset(); } diff --git a/libsolidity/formal/SMTLib2Interface.h b/libsolidity/formal/SMTLib2Interface.h index 5755ae3f..957f2ea4 100644 --- a/libsolidity/formal/SMTLib2Interface.h +++ b/libsolidity/formal/SMTLib2Interface.h @@ -42,7 +42,7 @@ namespace smt class SMTLib2Interface: public SolverInterface, public boost::noncopyable { public: - SMTLib2Interface(ReadFile::Callback const& _readFileCallback); + SMTLib2Interface(ReadCallback::Callback const& _queryCallback); void reset() override; |