diff options
author | Christian Parpart <christian@ethereum.org> | 2018-11-23 18:16:52 +0800 |
---|---|---|
committer | Christian Parpart <christian@ethereum.org> | 2018-11-23 18:16:52 +0800 |
commit | 10e6d2897d09511ca3253287694a28d05fa6b9e0 (patch) | |
tree | 3587e2684ec19cd89d6eced6e87591b989bf4cc9 /libyul/AsmScopeFiller.h | |
parent | 9217fbb58d085325ce37ed6ca37f76e8b8de9d90 (diff) | |
download | dexon-solidity-10e6d2897d09511ca3253287694a28d05fa6b9e0.tar.gz dexon-solidity-10e6d2897d09511ca3253287694a28d05fa6b9e0.tar.zst dexon-solidity-10e6d2897d09511ca3253287694a28d05fa6b9e0.zip |
Moving files from libsolidity/inlineasm/*.{cpp,h} to libyul/.
Diffstat (limited to 'libyul/AsmScopeFiller.h')
-rw-r--r-- | libyul/AsmScopeFiller.h | 88 |
1 files changed, 88 insertions, 0 deletions
diff --git a/libyul/AsmScopeFiller.h b/libyul/AsmScopeFiller.h new file mode 100644 index 00000000..7454fd6c --- /dev/null +++ b/libyul/AsmScopeFiller.h @@ -0,0 +1,88 @@ +/* + 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/>. +*/ +/** + * Module responsible for registering identifiers inside their scopes. + */ + +#pragma once + +#include <libsolidity/inlineasm/AsmDataForward.h> + +#include <boost/variant.hpp> + +#include <functional> +#include <memory> + +namespace langutil +{ +class ErrorReporter; +struct SourceLocation; +} + +namespace dev +{ +namespace solidity +{ +namespace assembly +{ + +struct TypedName; +struct Scope; +struct AsmAnalysisInfo; + +/** + * Fills scopes with identifiers and checks for name clashes. + * Does not resolve references. + */ +class ScopeFiller: public boost::static_visitor<bool> +{ +public: + ScopeFiller(AsmAnalysisInfo& _info, langutil::ErrorReporter& _errorReporter); + + bool operator()(assembly::Instruction const&) { return true; } + bool operator()(assembly::Literal const&) { return true; } + bool operator()(assembly::Identifier const&) { return true; } + bool operator()(assembly::FunctionalInstruction const&) { return true; } + bool operator()(assembly::ExpressionStatement const& _expr); + bool operator()(assembly::Label const& _label); + bool operator()(assembly::StackAssignment const&) { return true; } + bool operator()(assembly::Assignment const&) { return true; } + bool operator()(assembly::VariableDeclaration const& _variableDeclaration); + bool operator()(assembly::FunctionDefinition const& _functionDefinition); + bool operator()(assembly::FunctionCall const&) { return true; } + bool operator()(assembly::If const& _if); + bool operator()(assembly::Switch const& _switch); + bool operator()(assembly::ForLoop const& _forLoop); + bool operator()(assembly::Block const& _block); + +private: + bool registerVariable( + TypedName const& _name, + langutil::SourceLocation const& _location, + Scope& _scope + ); + + Scope& scope(assembly::Block const* _block); + + Scope* m_currentScope = nullptr; + AsmAnalysisInfo& m_info; + langutil::ErrorReporter& m_errorReporter; +}; + +} +} +} |