cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Remove Why3 error class

Browse Source
This commit is contained in:
Alex Beregszaszi 2017-06-30 22:30:43 +01:00
parent b3be9d6fdc
commit c5947ae6e3
5 changed files with 0 additions and 31 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
libsolidity/interface/ErrorReporter.cpp
View File

@ -165,22 +165,3 @@ void ErrorReporter::docstringParsingError(string const& _description)
_description
);
}
void ErrorReporter::why3TranslatorError(ASTNode const& _location, std::string const& _description)
{
error(
Error::Type::Why3TranslatorError,
_location.location(),
_description
);
}
void ErrorReporter::fatalWhy3TranslatorError(ASTNode const& _location, std::string const& _description)
{
fatalError(
Error::Type::Why3TranslatorError,
_location.location(),
_description
);
}

4
libsolidity/interface/ErrorReporter.h
View File

@ -79,10 +79,6 @@ public:
void docstringParsingError(std::string const& _location);
void why3TranslatorError(ASTNode const& _location, std::string const& _description);
void fatalWhy3TranslatorError(ASTNode const& _location, std::string const& _description);
ErrorList const& errors() const;
void clear();

3
libsolidity/interface/Exceptions.cpp
View File

@ -46,9 +46,6 @@ Error::Error(Type _type, SourceLocation const& _location, string const& _descrip
case Type::TypeError:
m_typeName = "TypeError";
break;
case Type::Why3TranslatorError:
m_typeName = "Why3TranslatorError";
break;
case Type::Warning:
m_typeName = "Warning";
break;

1
libsolidity/interface/Exceptions.h
View File

@ -60,7 +60,6 @@ public:
ParserError,
TypeError,
SyntaxError,
Why3TranslatorError,
Warning
};

4
solc/jsonCompiler.cpp
View File

@ -164,10 +164,6 @@ string compile(StringMap const& _sources, bool _optimize, CStyleReadFileCallback
// "srcmapRuntime" = "0:1:2",
// "assembly" = {}
// }
// },
// "formal": {
// "errors": [ "Error 1" ],
// "why3": "why3 source"
// }
// }
Json::Value output = Json::objectValue;