| 13 | : Solver(Solver) {} |
| 14 | |
| 15 | void ArgFlowAnalyzer::analyze(const Argument &A) { |
| 16 | auto &AF = getOrCreateArgFlow(*const_cast<Argument *>(&A)); |
| 17 | if (AF.State != AnalysisState_Not_Analyzed) |
| 18 | return; |
| 19 | |
| 20 | AF.setState(AnalysisState_Analyzing); |
| 21 | analyzeProperty(*const_cast<Argument *>(&A)); |
| 22 | AF.setState(AnalysisState_Analyzed); |
| 23 | } |
| 24 | |
| 25 | const std::map<Argument *, std::shared_ptr<ArgFlow>> |
| 26 | ArgFlowAnalyzer::getArgFlowMap() const { |