From a957322fd7ff87460e5de3b1c5abcfb021acc1b2 Mon Sep 17 00:00:00 2001 From: chriseth Date: Wed, 21 Oct 2015 16:43:31 +0200 Subject: Preliminary why3 code output. --- libsolidity/interface/Exceptions.cpp | 39 +++++++++++++++++++----------------- 1 file changed, 21 insertions(+), 18 deletions(-) (limited to 'libsolidity/interface/Exceptions.cpp') 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; } } -- cgit v1.2.3 From 56f5d5885090a03ea9223f2210e70b6c78a1cb75 Mon Sep 17 00:00:00 2001 From: chriseth Date: Tue, 27 Oct 2015 17:45:58 +0100 Subject: Rename error type. --- libsolidity/interface/Exceptions.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'libsolidity/interface/Exceptions.cpp') 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"; -- cgit v1.2.3