diff options
author | chriseth <chris@ethereum.org> | 2017-11-30 08:19:49 +0800 |
---|---|---|
committer | chriseth <chris@ethereum.org> | 2017-12-05 21:42:52 +0800 |
commit | c6df1cdaaa3d743b24e655a1e94eecf4ba49de3b (patch) | |
tree | c4fb5fd84927aa244a64f3a44ed4dfdf19aa0315 /libjulia/optimiser/ASTWalker.cpp | |
parent | b582420b5fba1df9ce96333ff38168778ae6f4de (diff) | |
download | dexon-solidity-c6df1cdaaa3d743b24e655a1e94eecf4ba49de3b.tar dexon-solidity-c6df1cdaaa3d743b24e655a1e94eecf4ba49de3b.tar.gz dexon-solidity-c6df1cdaaa3d743b24e655a1e94eecf4ba49de3b.tar.bz2 dexon-solidity-c6df1cdaaa3d743b24e655a1e94eecf4ba49de3b.tar.lz dexon-solidity-c6df1cdaaa3d743b24e655a1e94eecf4ba49de3b.tar.xz dexon-solidity-c6df1cdaaa3d743b24e655a1e94eecf4ba49de3b.tar.zst dexon-solidity-c6df1cdaaa3d743b24e655a1e94eecf4ba49de3b.zip |
Generic AST walker.
Diffstat (limited to 'libjulia/optimiser/ASTWalker.cpp')
-rw-r--r-- | libjulia/optimiser/ASTWalker.cpp | 149 |
1 files changed, 149 insertions, 0 deletions
diff --git a/libjulia/optimiser/ASTWalker.cpp b/libjulia/optimiser/ASTWalker.cpp new file mode 100644 index 00000000..786afbe0 --- /dev/null +++ b/libjulia/optimiser/ASTWalker.cpp @@ -0,0 +1,149 @@ +/* + This file is part of solidity. + + solidity is free software: you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation, either version 3 of the License, or + (at your option) any later version. + + solidity is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with solidity. If not, see <http://www.gnu.org/licenses/>. +*/ +/** + * Generic AST walker. + */ + +#include <libjulia/optimiser/ASTWalker.h> + +#include <libsolidity/inlineasm/AsmData.h> + +#include <libsolidity/interface/Exceptions.h> + +#include <boost/range/adaptor/reversed.hpp> + +using namespace std; +using namespace dev; +using namespace dev::julia; +using namespace dev::solidity; + + +void ASTWalker::operator()(FunctionalInstruction const& _instr) +{ + walkVector(_instr.arguments | boost::adaptors::reversed); +} + +void ASTWalker::operator()(FunctionCall const& _funCall) +{ + walkVector(_funCall.arguments | boost::adaptors::reversed); +} + +void ASTWalker::operator()(Assignment const& _assignment) +{ + for (auto const& name: _assignment.variableNames) + (*this)(name); + boost::apply_visitor(*this, *_assignment.value); +} + +void ASTWalker::operator()(VariableDeclaration const& _varDecl) +{ + if (_varDecl.value) + boost::apply_visitor(*this, *_varDecl.value); +} + +void ASTWalker::operator()(If const& _if) +{ + boost::apply_visitor(*this, *_if.condition); + (*this)(_if.body); +} + +void ASTWalker::operator()(Switch const& _switch) +{ + boost::apply_visitor(*this, *_switch.expression); + for (auto const& _case: _switch.cases) + { + if (_case.value) + (*this)(*_case.value); + (*this)(_case.body); + } +} + +void ASTWalker::operator()(FunctionDefinition const& _fun) +{ + (*this)(_fun.body); +} + +void ASTWalker::operator()(ForLoop const& _for) +{ + (*this)(_for.pre); + boost::apply_visitor(*this, *_for.condition); + (*this)(_for.post); + (*this)(_for.body); +} + +void ASTWalker::operator()(Block const& _block) +{ + walkVector(_block.statements); +} + +void ASTModifier::operator()(FunctionalInstruction& _instr) +{ + walkVector(_instr.arguments | boost::adaptors::reversed); +} + +void ASTModifier::operator()(FunctionCall& _funCall) +{ + walkVector(_funCall.arguments | boost::adaptors::reversed); +} + +void ASTModifier::operator()(Assignment& _assignment) +{ + for (auto& name: _assignment.variableNames) + (*this)(name); + boost::apply_visitor(*this, *_assignment.value); +} + +void ASTModifier::operator()(VariableDeclaration& _varDecl) +{ + if (_varDecl.value) + boost::apply_visitor(*this, *_varDecl.value); +} + +void ASTModifier::operator()(If& _if) +{ + boost::apply_visitor(*this, *_if.condition); + (*this)(_if.body); +} + +void ASTModifier::operator()(Switch& _switch) +{ + boost::apply_visitor(*this, *_switch.expression); + for (auto& _case: _switch.cases) + { + if (_case.value) + (*this)(*_case.value); + (*this)(_case.body); + } +} + +void ASTModifier::operator()(FunctionDefinition& _fun) +{ + (*this)(_fun.body); +} + +void ASTModifier::operator()(ForLoop& _for) +{ + (*this)(_for.pre); + boost::apply_visitor(*this, *_for.condition); + (*this)(_for.post); + (*this)(_for.body); +} + +void ASTModifier::operator()(Block& _block) +{ + walkVector(_block.statements); +} |