| 42 | } |
| 43 | |
| 44 | bool PostTypeChecker::finalize() |
| 45 | { |
| 46 | for (auto& checker: m_checkers) |
| 47 | checker->finalize(); |
| 48 | return !Error::containsErrors(m_errorReporter.errors()); |
| 49 | } |
| 50 | |
| 51 | bool PostTypeChecker::visit(ContractDefinition const& _contractDefinition) |
| 52 | { |