| 320 | } |
| 321 | |
| 322 | void CompilerStack::reset(bool _keepSettings) |
| 323 | { |
| 324 | m_stackState = Empty; |
| 325 | m_sources.clear(); |
| 326 | m_maxAstId.reset(); |
| 327 | m_smtlib2Responses.clear(); |
| 328 | m_unhandledSMTLib2Queries.clear(); |
| 329 | if (!_keepSettings) |
| 330 | { |
| 331 | m_importRemapper.clear(); |
| 332 | m_libraries.clear(); |
| 333 | m_viaIR = false; |
| 334 | m_viaSSACFG = false; |
| 335 | m_evmVersion = langutil::EVMVersion(); |
| 336 | m_eofVersion.reset(); |
| 337 | m_modelCheckerSettings = ModelCheckerSettings{}; |
| 338 | m_selectedContracts.clear(); |
| 339 | m_revertStrings = RevertStrings::Default; |
| 340 | m_optimiserSettings = OptimiserSettings::minimal(); |
| 341 | m_metadataLiteralSources = false; |
| 342 | m_metadataFormat = defaultMetadataFormat(); |
| 343 | m_metadataHash = MetadataHash::IPFS; |
| 344 | m_stopAfter = State::CompilationSuccessful; |
| 345 | m_compilationSourceType = CompilationSourceType::Solidity; |
| 346 | } |
| 347 | m_experimentalAnalysis.reset(); |
| 348 | m_globalContext.reset(); |
| 349 | m_sourceOrder.clear(); |
| 350 | m_contracts.clear(); |
| 351 | m_errorReporter.clear(); |
| 352 | TypeProvider::reset(); |
| 353 | } |
| 354 | |
| 355 | void CompilerStack::setSources(StringMap _sources) |
| 356 | { |
no test coverage detected