| 37 | |
| 38 | |
| 39 | std::unique_ptr<FunctionFlow> ControlFlowBuilder::createFunctionFlow( |
| 40 | CFG::NodeContainer& _nodeContainer, |
| 41 | FunctionDefinition const& _function, |
| 42 | ContractDefinition const* _contract |
| 43 | ) |
| 44 | { |
| 45 | auto functionFlow = std::make_unique<FunctionFlow>(); |
| 46 | functionFlow->entry = _nodeContainer.newNode(); |
| 47 | functionFlow->exit = _nodeContainer.newNode(); |
| 48 | functionFlow->revert = _nodeContainer.newNode(); |
| 49 | functionFlow->transactionReturn = _nodeContainer.newNode(); |
| 50 | ControlFlowBuilder builder(_nodeContainer, *functionFlow, _contract); |
| 51 | builder.appendControlFlow(_function); |
| 52 | |
| 53 | return functionFlow; |
| 54 | } |
| 55 | |
| 56 | bool ControlFlowBuilder::visit(BinaryOperation const& _operation) |
| 57 | { |
nothing calls this directly
no test coverage detected