diff options
| author | Alex Beregszaszi <alex@rtfs.hu> | 2017-03-16 19:58:17 +0800 |
|---|---|---|
| committer | Alex Beregszaszi <alex@rtfs.hu> | 2017-03-16 20:49:52 +0800 |
| commit | 3ae88377d6bf59afe823eef2e4df4065561ed6ea (patch) | |
| tree | 5d3df9cd820cd53f6b98a80e5d5ffb2ddbbdbc3d /libsolidity/formal | |
| parent | 7123f25210c200f225c5988452d9e2c35d668223 (diff) | |
| download | dexon-solidity-3ae88377d6bf59afe823eef2e4df4065561ed6ea.tar dexon-solidity-3ae88377d6bf59afe823eef2e4df4065561ed6ea.tar.gz dexon-solidity-3ae88377d6bf59afe823eef2e4df4065561ed6ea.tar.bz2 dexon-solidity-3ae88377d6bf59afe823eef2e4df4065561ed6ea.tar.lz dexon-solidity-3ae88377d6bf59afe823eef2e4df4065561ed6ea.tar.xz dexon-solidity-3ae88377d6bf59afe823eef2e4df4065561ed6ea.tar.zst dexon-solidity-3ae88377d6bf59afe823eef2e4df4065561ed6ea.zip | |
Change references to FunctionType::Location
Diffstat (limited to 'libsolidity/formal')
| -rw-r--r-- | libsolidity/formal/Why3Translator.cpp | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/libsolidity/formal/Why3Translator.cpp b/libsolidity/formal/Why3Translator.cpp index 2903a4e3..b6f17907 100644 --- a/libsolidity/formal/Why3Translator.cpp +++ b/libsolidity/formal/Why3Translator.cpp @@ -588,14 +588,14 @@ bool Why3Translator::visit(FunctionCall const& _node) return true; } FunctionType const& function = dynamic_cast<FunctionType const&>(*_node.expression().annotation().type); - switch (function.location()) + switch (function.kind()) { - case FunctionType::Location::AddMod: - case FunctionType::Location::MulMod: + case FunctionType::Kind::AddMod: + case FunctionType::Kind::MulMod: { //@todo require that third parameter is not zero add("(of_int (mod (Int.("); - add(function.location() == FunctionType::Location::AddMod ? "+" : "*"); + add(function.kind() == FunctionType::Kind::AddMod ? "+" : "*"); add(") (to_int "); _node.arguments().at(0)->accept(*this); add(") (to_int "); @@ -605,7 +605,7 @@ bool Why3Translator::visit(FunctionCall const& _node) add(")))"); return false; } - case FunctionType::Location::Internal: + case FunctionType::Kind::Internal: { if (!_node.names().empty()) { @@ -626,7 +626,7 @@ bool Why3Translator::visit(FunctionCall const& _node) add(")"); return false; } - case FunctionType::Location::Bare: + case FunctionType::Kind::Bare: { if (!_node.arguments().empty()) { @@ -654,7 +654,7 @@ bool Why3Translator::visit(FunctionCall const& _node) add(")"); return false; } - case FunctionType::Location::SetValue: + case FunctionType::Kind::SetValue: { add("let amount = "); solAssert(_node.arguments().size() == 1, ""); |