(node *ast.Node)
| 1855 | } |
| 1856 | |
| 1857 | func (b *Binder) bindWhileStatement(node *ast.Node) { |
| 1858 | stmt := node.AsWhileStatement() |
| 1859 | preWhileLabel := b.setContinueTarget(node, b.createLoopLabel()) |
| 1860 | preBodyLabel := b.createBranchLabel() |
| 1861 | postWhileLabel := b.createBranchLabel() |
| 1862 | b.addAntecedent(preWhileLabel, b.currentFlow) |
| 1863 | b.currentFlow = preWhileLabel |
| 1864 | b.bindCondition(stmt.Expression, preBodyLabel, postWhileLabel) |
| 1865 | b.currentFlow = b.finishFlowLabel(preBodyLabel) |
| 1866 | b.bindIterativeStatement(stmt.Statement, postWhileLabel, preWhileLabel) |
| 1867 | b.addAntecedent(preWhileLabel, b.currentFlow) |
| 1868 | b.currentFlow = b.finishFlowLabel(postWhileLabel) |
| 1869 | } |
| 1870 | |
| 1871 | func (b *Binder) bindDoStatement(node *ast.Node) { |
| 1872 | stmt := node.AsDoStatement() |
no test coverage detected