blob: 4d56291fe613a617b7e821b12f0adf27cdb89a18 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
package org.checkerframework.dataflow.cfg.block;
/*>>>
import org.checkerframework.checker.nullness.qual.Nullable;
*/
import org.checkerframework.dataflow.analysis.Store;
/**
* A basic block that has at exactly one non-exceptional successor.
*
* @author Stefan Heule
*
*/
public interface SingleSuccessorBlock extends Block {
/**
* @return The non-exceptional successor block, or {@code null} if there is
* no successor.
*/
/*@Nullable*/ Block getSuccessor();
/**
* @return The flow rule for information flowing from this block to its successor.
*/
Store.FlowRule getFlowRule();
/**
* Set the flow rule for information flowing from this block to its successor.
*/
void setFlowRule(Store.FlowRule rule);
}
|