ConditionalBlock (checker-framework 3.39.0-eisop1 API)

All Superinterfaces:

Block, org.plumelib.util.UniqueId

All Known Implementing Classes:

ConditionalBlockImpl
```
public interface ConditionalBlock
extends Block
```
Represents a conditional basic block.

Nested Class Summary
- Nested classes/interfaces inherited from interface org.checkerframework.dataflow.cfg.block.Block
  Block.BlockType

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`Store.FlowRule`	`getElseFlowRule()`	Returns the flow rule for information flowing from this block to its else successor.
`Block`	`getElseSuccessor()`	Returns the entry block of the else branch.
`Store.FlowRule`	`getThenFlowRule()`	Returns the flow rule for information flowing from this block to its then successor.
`Block`	`getThenSuccessor()`	Returns the entry block of the then branch.
`void`	`setElseFlowRule(Store.FlowRule rule)`	Set the flow rule for information flowing from this block to its else successor.
`void`	`setThenFlowRule(Store.FlowRule rule)`	Set the flow rule for information flowing from this block to its then successor.

Methods inherited from interface org.checkerframework.dataflow.cfg.block.Block
getLastNode, getNodes, getPredecessors, getSuccessors, getType

Methods inherited from interface org.plumelib.util.UniqueId
getClassAndUid, getUid

- Method Detail
  - getThenSuccessor
```
Block getThenSuccessor()
```
    Returns the entry block of the then branch.
    
    Returns:
    
    the entry block of the then branch
  - getElseSuccessor
```
Block getElseSuccessor()
```
    Returns the entry block of the else branch.
    
    Returns:
    
    the entry block of the else branch
  - getThenFlowRule
```
Store.FlowRule getThenFlowRule()
```
    Returns the flow rule for information flowing from this block to its then successor.
    
    Returns:
    
    the flow rule for information flowing from this block to its then successor
  - getElseFlowRule
```
Store.FlowRule getElseFlowRule()
```
    Returns the flow rule for information flowing from this block to its else successor.
    
    Returns:
    
    the flow rule for information flowing from this block to its else successor
  - setThenFlowRule
```
void setThenFlowRule(Store.FlowRule rule)
```
    Set the flow rule for information flowing from this block to its then successor.
    
    Parameters:
    
    rule - the new flow rule for information flowing from this block to its then successor
  - setElseFlowRule
```
void setElseFlowRule(Store.FlowRule rule)
```
    Set the flow rule for information flowing from this block to its else successor.
    
    Parameters:
    
    rule - the new flow rule for information flowing from this block to its else successor