(node *ast.Node)
| 1869 | } |
| 1870 | |
| 1871 | func (b *Binder) bindDoStatement(node *ast.Node) { |
| 1872 | stmt := node.AsDoStatement() |
| 1873 | preDoLabel := b.createLoopLabel() |
| 1874 | preConditionLabel := b.setContinueTarget(node, b.createBranchLabel()) |
| 1875 | postDoLabel := b.createBranchLabel() |
| 1876 | b.addAntecedent(preDoLabel, b.currentFlow) |
| 1877 | b.currentFlow = preDoLabel |
| 1878 | b.bindIterativeStatement(stmt.Statement, postDoLabel, preConditionLabel) |
| 1879 | b.addAntecedent(preConditionLabel, b.currentFlow) |
| 1880 | b.currentFlow = b.finishFlowLabel(preConditionLabel) |
| 1881 | b.bindCondition(stmt.Expression, preDoLabel, postDoLabel) |
| 1882 | b.currentFlow = b.finishFlowLabel(postDoLabel) |
| 1883 | } |
| 1884 | |
| 1885 | func (b *Binder) bindForStatement(node *ast.Node) { |
| 1886 | stmt := node.AsForStatement() |
no test coverage detected