(node)
| 45617 | currentFlow = finishFlowLabel(postLoopLabel); |
| 45618 | } |
| 45619 | function bindIfStatement(node) { |
| 45620 | var thenLabel = createBranchLabel(); |
| 45621 | var elseLabel = createBranchLabel(); |
| 45622 | var postIfLabel = createBranchLabel(); |
| 45623 | bindCondition(node.expression, thenLabel, elseLabel); |
| 45624 | currentFlow = finishFlowLabel(thenLabel); |
| 45625 | bind(node.thenStatement); |
| 45626 | addAntecedent(postIfLabel, currentFlow); |
| 45627 | currentFlow = finishFlowLabel(elseLabel); |
| 45628 | bind(node.elseStatement); |
| 45629 | addAntecedent(postIfLabel, currentFlow); |
| 45630 | currentFlow = finishFlowLabel(postIfLabel); |
| 45631 | } |
| 45632 | function bindReturnOrThrow(node) { |
| 45633 | bind(node.expression); |
| 45634 | if (node.kind === 247 /* SyntaxKind.ReturnStatement */) { |
no test coverage detected