diff options
| author | chriseth <c@ethdev.com> | 2017-03-10 00:03:53 +0800 |
|---|---|---|
| committer | chriseth <c@ethdev.com> | 2017-03-14 21:21:33 +0800 |
| commit | 47cd8964b8617e5c7e93232719224c8334a4c764 (patch) | |
| tree | ea29137b7c499b0ddbef1e62bb8a4d401c694224 /libsolidity/analysis | |
| parent | 9aab3b8639afa6e30e866e052a412b6f39c6ef6c (diff) | |
| download | dexon-solidity-47cd8964b8617e5c7e93232719224c8334a4c764.tar.gz dexon-solidity-47cd8964b8617e5c7e93232719224c8334a4c764.tar.zst dexon-solidity-47cd8964b8617e5c7e93232719224c8334a4c764.zip | |
Require and Assert.
Diffstat (limited to 'libsolidity/analysis')
| -rw-r--r-- | libsolidity/analysis/GlobalContext.cpp | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/libsolidity/analysis/GlobalContext.cpp b/libsolidity/analysis/GlobalContext.cpp index 069d10f5..d8f1603a 100644 --- a/libsolidity/analysis/GlobalContext.cpp +++ b/libsolidity/analysis/GlobalContext.cpp @@ -66,9 +66,10 @@ m_magicVariables(vector<shared_ptr<MagicVariableDeclaration const>>{make_shared< make_shared<FunctionType>(strings{"bytes32", "uint8", "bytes32", "bytes32"}, strings{"address"}, FunctionType::Location::ECRecover)), make_shared<MagicVariableDeclaration>("ripemd160", make_shared<FunctionType>(strings(), strings{"bytes20"}, FunctionType::Location::RIPEMD160, true)), -// Disabled until decision about semantics of assert is made. -// make_shared<MagicVariableDeclaration>("assert", -// make_shared<FunctionType>(strings{"bool"}, strings{}, FunctionType::Location::Assert)), + make_shared<MagicVariableDeclaration>("assert", + make_shared<FunctionType>(strings{"bool"}, strings{}, FunctionType::Location::Assert)), + make_shared<MagicVariableDeclaration>("require", + make_shared<FunctionType>(strings{"bool"}, strings{}, FunctionType::Location::Require)), make_shared<MagicVariableDeclaration>("revert", make_shared<FunctionType>(strings(), strings(), FunctionType::Location::Revert))}) { |