aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/analysis/GlobalContext.cpp
diff options
context:
space:
mode:
authorAlex Beregszaszi <alex@rtfs.hu>2017-02-11 06:39:34 +0800
committerGitHub <noreply@github.com>2017-02-11 06:39:34 +0800
commit14ded4963d2b42443c6ddce8ad7550393ab58983 (patch)
treecb0dd96aaa2291acc4f9405bc67d1f1ba2cb3d45 /libsolidity/analysis/GlobalContext.cpp
parent885b6ed96b580f9bdc214bca279e39dbaa739cf9 (diff)
parentfd7ffedead51f77135250dca29326c890f3632a2 (diff)
downloaddexon-solidity-14ded4963d2b42443c6ddce8ad7550393ab58983.tar
dexon-solidity-14ded4963d2b42443c6ddce8ad7550393ab58983.tar.gz
dexon-solidity-14ded4963d2b42443c6ddce8ad7550393ab58983.tar.bz2
dexon-solidity-14ded4963d2b42443c6ddce8ad7550393ab58983.tar.lz
dexon-solidity-14ded4963d2b42443c6ddce8ad7550393ab58983.tar.xz
dexon-solidity-14ded4963d2b42443c6ddce8ad7550393ab58983.tar.zst
dexon-solidity-14ded4963d2b42443c6ddce8ad7550393ab58983.zip
Merge pull request #1678 from ethereum/assert
Implement assert()
Diffstat (limited to 'libsolidity/analysis/GlobalContext.cpp')
-rw-r--r--libsolidity/analysis/GlobalContext.cpp4
1 files changed, 3 insertions, 1 deletions
diff --git a/libsolidity/analysis/GlobalContext.cpp b/libsolidity/analysis/GlobalContext.cpp
index e46868be..cc418c5e 100644
--- a/libsolidity/analysis/GlobalContext.cpp
+++ b/libsolidity/analysis/GlobalContext.cpp
@@ -65,7 +65,9 @@ m_magicVariables(vector<shared_ptr<MagicVariableDeclaration const>>{make_shared<
make_shared<MagicVariableDeclaration>("ecrecover",
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))})
+ make_shared<FunctionType>(strings(), strings{"bytes20"}, FunctionType::Location::RIPEMD160, true)),
+ make_shared<MagicVariableDeclaration>("assert",
+ make_shared<FunctionType>(strings{"bool"}, strings{}, FunctionType::Location::Assert))})
{
}