diff options
| author | chriseth <chris@ethereum.org> | 2017-05-30 22:45:36 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-30 22:45:36 +0800 |
| commit | 254b55728f66ea164e9085700a294ac4837f2029 (patch) | |
| tree | a4c464d4d40baaa260f071c1028f347bd287e44d /solc/jsonCompiler.cpp | |
| parent | 0066a08aa8f6c469cde7947ec50ca662a32123a0 (diff) | |
| parent | 89b60ffbd4c2dde26fa5e9f1d750729b5c89373e (diff) | |
| download | dexon-solidity-254b55728f66ea164e9085700a294ac4837f2029.tar dexon-solidity-254b55728f66ea164e9085700a294ac4837f2029.tar.gz dexon-solidity-254b55728f66ea164e9085700a294ac4837f2029.tar.bz2 dexon-solidity-254b55728f66ea164e9085700a294ac4837f2029.tar.lz dexon-solidity-254b55728f66ea164e9085700a294ac4837f2029.tar.xz dexon-solidity-254b55728f66ea164e9085700a294ac4837f2029.tar.zst dexon-solidity-254b55728f66ea164e9085700a294ac4837f2029.zip | |
Merge pull request #2264 from roadriverrail/refactor_error_log
Refactor error reporting
Diffstat (limited to 'solc/jsonCompiler.cpp')
| -rw-r--r-- | solc/jsonCompiler.cpp | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/solc/jsonCompiler.cpp b/solc/jsonCompiler.cpp index 7f99324e..1505a43d 100644 --- a/solc/jsonCompiler.cpp +++ b/solc/jsonCompiler.cpp @@ -218,12 +218,13 @@ string compile(StringMap const& _sources, bool _optimize, CStyleReadFileCallback { // Do not taint the internal error list ErrorList formalErrors; - if (compiler.prepareFormalAnalysis(&formalErrors)) + ErrorReporter errorReporter(formalErrors); + if (compiler.prepareFormalAnalysis(&errorReporter)) output["formal"]["why3"] = compiler.formalTranslation(); - if (!formalErrors.empty()) + if (!errorReporter.errors().empty()) { Json::Value errors(Json::arrayValue); - for (auto const& error: formalErrors) + for (auto const& error: errorReporter.errors()) errors.append(SourceReferenceFormatter::formatExceptionInformation( *error, (error->type() == Error::Type::Warning) ? "Warning" : "Error", |