(node)
| 45561 | return target; |
| 45562 | } |
| 45563 | function bindWhileStatement(node) { |
| 45564 | var preWhileLabel = setContinueTarget(node, createLoopLabel()); |
| 45565 | var preBodyLabel = createBranchLabel(); |
| 45566 | var postWhileLabel = createBranchLabel(); |
| 45567 | addAntecedent(preWhileLabel, currentFlow); |
| 45568 | currentFlow = preWhileLabel; |
| 45569 | bindCondition(node.expression, preBodyLabel, postWhileLabel); |
| 45570 | currentFlow = finishFlowLabel(preBodyLabel); |
| 45571 | bindIterativeStatement(node.statement, postWhileLabel, preWhileLabel); |
| 45572 | addAntecedent(preWhileLabel, currentFlow); |
| 45573 | currentFlow = finishFlowLabel(postWhileLabel); |
| 45574 | } |
| 45575 | function bindDoStatement(node) { |
| 45576 | var preDoLabel = createLoopLabel(); |
| 45577 | var preConditionLabel = setContinueTarget(node, createBranchLabel()); |
no test coverage detected