Change error type names to not include spaces

This commit is contained in:
Alex Beregszaszi 2017-04-24 11:25:33 +01:00
parent 4a3fb96381
commit 3cd02ca148

View File

@ -33,22 +33,22 @@ Error::Error(Type _type, SourceLocation const& _location, string const& _descrip
switch(m_type) switch(m_type)
{ {
case Type::DeclarationError: case Type::DeclarationError:
m_typeName = "Declaration Error"; m_typeName = "DeclarationError";
break; break;
case Type::DocstringParsingError: case Type::DocstringParsingError:
m_typeName = "Docstring Parsing Error"; m_typeName = "DocstringParsingError";
break; break;
case Type::ParserError: case Type::ParserError:
m_typeName = "Parser Error"; m_typeName = "ParserError";
break; break;
case Type::SyntaxError: case Type::SyntaxError:
m_typeName = "Syntax Error"; m_typeName = "SyntaxError";
break; break;
case Type::TypeError: case Type::TypeError:
m_typeName = "Type Error"; m_typeName = "TypeError";
break; break;
case Type::Why3TranslatorError: case Type::Why3TranslatorError:
m_typeName = "Why3 Translator Error"; m_typeName = "Why3TranslatorError";
break; break;
case Type::Warning: case Type::Warning:
m_typeName = "Warning"; m_typeName = "Warning";