aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/interface/CompilerStack.cpp
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.cpp
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.cpp')
-rw-r--r--libsolidity/interface/CompilerStack.cpp8
1 files changed, 4 insertions, 4 deletions
diff --git a/libsolidity/interface/CompilerStack.cpp b/libsolidity/interface/CompilerStack.cpp
index 50e20b3d..363f45dd 100644
--- a/libsolidity/interface/CompilerStack.cpp
+++ b/libsolidity/interface/CompilerStack.cpp
@@ -239,7 +239,7 @@ bool CompilerStack::analyze()
if (noErrors)
{
- SMTChecker smtChecker(m_errorReporter, m_readFile);
+ SMTChecker smtChecker(m_errorReporter, m_smtQuery);
for (Source const* source: m_sourceOrder)
smtChecker.analyze(*source->ast);
}
@@ -535,17 +535,17 @@ StringMap CompilerStack::loadMissingSources(SourceUnit const& _ast, std::string
if (m_sources.count(importPath) || newSources.count(importPath))
continue;
- ReadFile::Result result{false, string("File not supplied initially.")};
+ ReadCallback::Result result{false, string("File not supplied initially.")};
if (m_readFile)
result = m_readFile(importPath);
if (result.success)
- newSources[importPath] = result.contentsOrErrorMessage;
+ newSources[importPath] = result.responseOrErrorMessage;
else
{
m_errorReporter.parserError(
import->location(),
- string("Source \"" + importPath + "\" not found: " + result.contentsOrErrorMessage)
+ string("Source \"" + importPath + "\" not found: " + result.responseOrErrorMessage)
);
continue;
}