Rename error type.

This commit is contained in:
chriseth 2015-10-27 17:45:58 +01:00
parent a957322fd7
commit 56f5d58850
3 changed files with 4 additions and 4 deletions

View File

@ -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);

View File

@ -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";

View File

@ -47,7 +47,7 @@ public:
DocstringParsingError,
ParserError,
TypeError,
FormalError,
Why3TranslatorError,
Warning
};