diff options
| author | chriseth <c@ethdev.com> | 2015-10-21 22:43:31 +0800 |
|---|---|---|
| committer | chriseth <c@ethdev.com> | 2015-10-27 07:49:27 +0800 |
| commit | a957322fd7ff87460e5de3b1c5abcfb021acc1b2 (patch) | |
| tree | f5511f27ea048754143753b4e7faa8b85a0b21bd /libsolidity/interface/Exceptions.cpp | |
| parent | 8fb49d85f9464bfa0d17ac77d2e19b3ba371c53c (diff) | |
| download | dexon-solidity-a957322fd7ff87460e5de3b1c5abcfb021acc1b2.tar.gz dexon-solidity-a957322fd7ff87460e5de3b1c5abcfb021acc1b2.tar.zst dexon-solidity-a957322fd7ff87460e5de3b1c5abcfb021acc1b2.zip | |
Preliminary why3 code output.
Diffstat (limited to 'libsolidity/interface/Exceptions.cpp')
| -rw-r--r-- | libsolidity/interface/Exceptions.cpp | 39 |
1 files changed, 21 insertions, 18 deletions
diff --git a/libsolidity/interface/Exceptions.cpp b/libsolidity/interface/Exceptions.cpp index 2e79ab39..84d4d108 100644 --- a/libsolidity/interface/Exceptions.cpp +++ b/libsolidity/interface/Exceptions.cpp @@ -30,23 +30,26 @@ Error::Error(Type _type): m_type(_type) { switch(m_type) { - case Type::DeclarationError: - m_typeName = "Declaration Error"; - break; - case Type::DocstringParsingError: - m_typeName = "Docstring Parsing Error"; - break; - case Type::ParserError: - m_typeName = "Parser Error"; - break; - case Type::TypeError: - m_typeName = "Type Error"; - break; - case Type::Warning: - m_typeName = "Warning"; - break; - default: - solAssert(false, ""); - break; + case Type::DeclarationError: + m_typeName = "Declaration Error"; + break; + case Type::DocstringParsingError: + m_typeName = "Docstring Parsing Error"; + break; + case Type::ParserError: + m_typeName = "Parser Error"; + break; + case Type::TypeError: + m_typeName = "Type Error"; + break; + case Type::FormalError: + m_typeName = "Formal Error"; + break; + case Type::Warning: + m_typeName = "Warning"; + break; + default: + solAssert(false, ""); + break; } } |