diff options
| author | chriseth <chris@ethereum.org> | 2016-09-17 21:25:54 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-17 21:25:54 +0800 |
| commit | af6afb0415761b53721f89c7f65064807f41cbd3 (patch) | |
| tree | 006481ce07f5ed6f1690014921f8c559b71dc5b5 /libsolidity/formal/Why3Translator.h | |
| parent | 4fc6fc2ca59579fae2472df319c2d8d31fe5bde5 (diff) | |
| parent | a78e7794225da95d0f875c908025213d6a47cb59 (diff) | |
| download | dexon-solidity-af6afb0415761b53721f89c7f65064807f41cbd3.tar dexon-solidity-af6afb0415761b53721f89c7f65064807f41cbd3.tar.gz dexon-solidity-af6afb0415761b53721f89c7f65064807f41cbd3.tar.bz2 dexon-solidity-af6afb0415761b53721f89c7f65064807f41cbd3.tar.lz dexon-solidity-af6afb0415761b53721f89c7f65064807f41cbd3.tar.xz dexon-solidity-af6afb0415761b53721f89c7f65064807f41cbd3.tar.zst dexon-solidity-af6afb0415761b53721f89c7f65064807f41cbd3.zip | |
Merge pull request #1107 from ethereum/develop
Version 0.4.2
Diffstat (limited to 'libsolidity/formal/Why3Translator.h')
| -rw-r--r-- | libsolidity/formal/Why3Translator.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/libsolidity/formal/Why3Translator.h b/libsolidity/formal/Why3Translator.h index 1b80ed61..22bfff89 100644 --- a/libsolidity/formal/Why3Translator.h +++ b/libsolidity/formal/Why3Translator.h @@ -60,9 +60,10 @@ private: /// Appends imports and constants use throughout the formal code. void appendPreface(); - /// @returns a string representation of the corresponding formal type or the empty string - /// if the type is not supported. + /// @returns a string representation of the corresponding formal type or throws NoFormalType exception. std::string toFormalType(Type const& _type) const; + using errinfo_noFormalTypeFrom = boost::error_info<struct tag_noFormalTypeFrom, std::string /* name of the type that cannot be translated */ >; + struct NoFormalType: virtual Exception {}; void indent() { newLine(); m_lines.back().indentation++; } void unindent(); |