From 56f5d5885090a03ea9223f2210e70b6c78a1cb75 Mon Sep 17 00:00:00 2001
From: chriseth <c@ethdev.com>
Date: Tue, 27 Oct 2015 17:45:58 +0100
Subject: Rename error type.
---
libsolidity/formal/Why3Translator.cpp | 2 +-
libsolidity/interface/Exceptions.cpp | 4 ++--
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
};
--
cgit v1.2.3