MCPcopy Create free account
hub / github.com/argotorg/solidity / analyze

Method analyze

libsolidity/experimental/analysis/TypeInference.cpp:126–130  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

124}
125
126bool TypeInference::analyze(SourceUnit const& _sourceUnit)
127{
128 _sourceUnit.accept(*this);
129 return !m_errorReporter.hasErrors();
130}
131
132bool TypeInference::visit(ForAllQuantifier const& _quantifier)
133{

Callers 1

visitMethod · 0.45

Calls 2

acceptMethod · 0.45
hasErrorsMethod · 0.45

Tested by

no test coverage detected