ControlFlowSummary (rewrite-analysis 2.7.1 API)

java.lang.Object

org.openrewrite.analysis.controlflow.ControlFlowSummary

@Incubating(since="7.25.0") public final class ControlFlowSummary extends Object

To create an instance call ControlFlow.findControlFlow().

Constructor Summary

Constructors

Constructor

Description

ControlFlowSummary()
Method Summary

Modifier and Type

Method

Description

Set<org.openrewrite.Cursor>

computeExecutableCodePoints(BarrierGuardPredicate predicate)

Set<org.openrewrite.analysis.controlflow.ControlFlowNode.BasicBlock>

computeReachableBasicBlock(BarrierGuardPredicate predicate)

Set<org.openrewrite.java.tree.Expression>

computeReachableExpressions(BarrierGuardPredicate predicate)

Set<org.openrewrite.analysis.controlflow.ControlFlowNode.BasicBlock>

getBasicBlocks()

Set<org.openrewrite.analysis.controlflow.ControlFlowNode.ConditionNode>

getConditionNodes()

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- ControlFlowSummary
  
  public ControlFlowSummary()
Method Details
- getBasicBlocks
  
  public Set<org.openrewrite.analysis.controlflow.ControlFlowNode.BasicBlock> getBasicBlocks()
- getConditionNodes
  
  public Set<org.openrewrite.analysis.controlflow.ControlFlowNode.ConditionNode> getConditionNodes()
- computeReachableExpressions
  
  public Set<org.openrewrite.java.tree.Expression> computeReachableExpressions(BarrierGuardPredicate predicate)
- computeExecutableCodePoints
  
  public Set<org.openrewrite.Cursor> computeExecutableCodePoints(BarrierGuardPredicate predicate)
- computeReachableBasicBlock
  
  public Set<org.openrewrite.analysis.controlflow.ControlFlowNode.BasicBlock> computeReachableBasicBlock(BarrierGuardPredicate predicate)