aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/interface/CompilerStack.h
diff options
context:
space:
mode:
authorchriseth <chris@ethereum.org>2017-07-14 03:06:04 +0800
committerchriseth <chris@ethereum.org>2017-08-23 23:37:35 +0800
commit9ac2ac14c1819be2341c6947245bf63b02795528 (patch)
tree0f935509daf2d166a6095924530263059894a764 /libsolidity/interface/CompilerStack.h
parentab5e3a8f6d9b92cef521b6855bf7ab649ebf751f (diff)
downloaddexon-solidity-9ac2ac14c1819be2341c6947245bf63b02795528.tar.gz
dexon-solidity-9ac2ac14c1819be2341c6947245bf63b02795528.tar.zst
dexon-solidity-9ac2ac14c1819be2341c6947245bf63b02795528.zip
Rename read file callback.
Diffstat (limited to 'libsolidity/interface/CompilerStack.h')
-rw-r--r--libsolidity/interface/CompilerStack.h5
1 files changed, 3 insertions, 2 deletions
diff --git a/libsolidity/interface/CompilerStack.h b/libsolidity/interface/CompilerStack.h
index bb0f4126..361b8a45 100644
--- a/libsolidity/interface/CompilerStack.h
+++ b/libsolidity/interface/CompilerStack.h
@@ -82,7 +82,7 @@ public:
/// Creates a new compiler stack.
/// @param _readFile callback to used to read files for import statements. Must return
/// and must not emit exceptions.
- explicit CompilerStack(ReadFile::Callback const& _readFile = ReadFile::Callback()):
+ explicit CompilerStack(ReadCallback::Callback const& _readFile = ReadCallback::Callback()):
m_readFile(_readFile),
m_errorList(),
m_errorReporter(m_errorList) {}
@@ -287,7 +287,8 @@ private:
std::string target;
};
- ReadFile::Callback m_readFile;
+ ReadCallback::Callback m_readFile;
+ ReadCallback::Callback m_smtQuery;
bool m_optimize = false;
unsigned m_optimizeRuns = 200;
std::map<std::string, h160> m_libraries;