diff options
| author | chriseth <c@ethdev.com> | 2015-10-28 00:45:58 +0800 |
|---|---|---|
| committer | chriseth <c@ethdev.com> | 2015-10-28 00:45:58 +0800 |
| commit | 56f5d5885090a03ea9223f2210e70b6c78a1cb75 (patch) | |
| tree | 2e36f5bcc884a579ab4ae7198b982ceadd8e7349 | |
| parent | a957322fd7ff87460e5de3b1c5abcfb021acc1b2 (diff) | |
| download | dexon-solidity-56f5d5885090a03ea9223f2210e70b6c78a1cb75.tar dexon-solidity-56f5d5885090a03ea9223f2210e70b6c78a1cb75.tar.gz dexon-solidity-56f5d5885090a03ea9223f2210e70b6c78a1cb75.tar.bz2 dexon-solidity-56f5d5885090a03ea9223f2210e70b6c78a1cb75.tar.lz dexon-solidity-56f5d5885090a03ea9223f2210e70b6c78a1cb75.tar.xz dexon-solidity-56f5d5885090a03ea9223f2210e70b6c78a1cb75.tar.zst dexon-solidity-56f5d5885090a03ea9223f2210e70b6c78a1cb75.zip | |
Rename error type.
| -rw-r--r-- | libsolidity/formal/Why3Translator.cpp | 2 | ||||
| -rw-r--r-- | libsolidity/interface/Exceptions.cpp | 4 | ||||
| -rw-r--r-- | libsolidity/interface/Exceptions.h | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/libsolidity/formal/Why3Translator.cpp b/libsolidity/formal/Why3Translator.cpp index 0d3d1586..944b1e7b 100644 --- a/libsolidity/formal/Why3Translator.cpp +++ b/libsolidity/formal/Why3Translator.cpp @@ -46,7 +46,7 @@ bool Why3Translator::process(SourceUnit const& _source) void Why3Translator::error(ASTNode const& _node, string const& _description) { - auto err = make_shared<Error>(Error::Type::FormalError); + auto err = make_shared<Error>(Error::Type::Why3TranslatorError); *err << errinfo_sourceLocation(_node.location()) << errinfo_comment(_description); diff --git a/libsolidity/interface/Exceptions.cpp b/libsolidity/interface/Exceptions.cpp index 84d4d108..465c3d2f 100644 --- a/libsolidity/interface/Exceptions.cpp +++ b/libsolidity/interface/Exceptions.cpp @@ -42,8 +42,8 @@ Error::Error(Type _type): m_type(_type) case Type::TypeError: m_typeName = "Type Error"; break; - case Type::FormalError: - m_typeName = "Formal Error"; + case Type::Why3TranslatorError: + m_typeName = "Why3 Translator Error"; break; case Type::Warning: m_typeName = "Warning"; diff --git a/libsolidity/interface/Exceptions.h b/libsolidity/interface/Exceptions.h index 830ec286..14be3c3d 100644 --- a/libsolidity/interface/Exceptions.h +++ b/libsolidity/interface/Exceptions.h @@ -47,7 +47,7 @@ public: DocstringParsingError, ParserError, TypeError, - FormalError, + Why3TranslatorError, Warning }; |