| 69 | } |
| 70 | |
| 71 | bool TypeChecker::checkTypeRequirements(SourceUnit const& _source) |
| 72 | { |
| 73 | m_currentSourceUnit = &_source; |
| 74 | _source.accept(*this); |
| 75 | m_currentSourceUnit = nullptr; |
| 76 | return !Error::containsErrors(m_errorReporter.errors()); |
| 77 | } |
| 78 | |
| 79 | bool TypeChecker::visit(ContractDefinition const& _contract) |
| 80 | { |
no test coverage detected