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/interface/CompilerStack.cpp | |
| 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/interface/CompilerStack.cpp')
| -rw-r--r-- | libsolidity/interface/CompilerStack.cpp | 8 |
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; } |