aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/inlineasm/AsmAnalysis.h
diff options
context:
space:
mode:
authorchriseth <chris@ethereum.org>2017-05-29 20:12:38 +0800
committerGitHub <noreply@github.com>2017-05-29 20:12:38 +0800
commit2c4a107f431735a41444c5965f191f93fefb263e (patch)
tree440f1ac45a3375c656cb3d21175b8b8bb62e2746 /libsolidity/inlineasm/AsmAnalysis.h
parent4a5dc6a4ea619b90214006a573cbd9c036d2d4a2 (diff)
parent2a50e869d060bd42faae9003fa563398ba8b79c1 (diff)
downloaddexon-solidity-2c4a107f431735a41444c5965f191f93fefb263e.tar
dexon-solidity-2c4a107f431735a41444c5965f191f93fefb263e.tar.gz
dexon-solidity-2c4a107f431735a41444c5965f191f93fefb263e.tar.bz2
dexon-solidity-2c4a107f431735a41444c5965f191f93fefb263e.tar.lz
dexon-solidity-2c4a107f431735a41444c5965f191f93fefb263e.tar.xz
dexon-solidity-2c4a107f431735a41444c5965f191f93fefb263e.tar.zst
dexon-solidity-2c4a107f431735a41444c5965f191f93fefb263e.zip
Merge pull request #2311 from ethereum/julia-types
Validate types for Julia (part 1)
Diffstat (limited to 'libsolidity/inlineasm/AsmAnalysis.h')
-rw-r--r--libsolidity/inlineasm/AsmAnalysis.h7
1 files changed, 5 insertions, 2 deletions
diff --git a/libsolidity/inlineasm/AsmAnalysis.h b/libsolidity/inlineasm/AsmAnalysis.h
index 613abf38..87d41e11 100644
--- a/libsolidity/inlineasm/AsmAnalysis.h
+++ b/libsolidity/inlineasm/AsmAnalysis.h
@@ -61,11 +61,12 @@ struct AsmAnalysisInfo;
class AsmAnalyzer: public boost::static_visitor<bool>
{
public:
- AsmAnalyzer(
+ explicit AsmAnalyzer(
AsmAnalysisInfo& _analysisInfo,
ErrorList& _errors,
+ bool _julia = false,
julia::ExternalIdentifierAccess::Resolver const& _resolver = julia::ExternalIdentifierAccess::Resolver()
- );
+ ): m_resolver(_resolver), m_info(_analysisInfo), m_errors(_errors), m_julia(_julia) {}
bool analyze(assembly::Block const& _block);
@@ -88,6 +89,7 @@ private:
bool checkAssignment(assembly::Identifier const& _assignment, size_t _valueSize = size_t(-1));
bool expectDeposit(int _deposit, int _oldHeight, SourceLocation const& _location);
Scope& scope(assembly::Block const* _block);
+ void expectValidType(std::string const& type, SourceLocation const& _location);
/// This is used when we enter the body of a function definition. There, the parameters
/// and return parameters appear as variables which are already on the stack before
@@ -98,6 +100,7 @@ private:
Scope* m_currentScope = nullptr;
AsmAnalysisInfo& m_info;
ErrorList& m_errors;
+ bool m_julia = false;
};
}