blob: 9e8872e850e5f6f9c8fee93480f87d4b42456e97 (
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
33
34
35
36
37
38
39
40
41
42
43
44
45
|
package org.checkerframework.dataflow.cfg.block;
/*>>>
import org.checkerframework.checker.nullness.qual.Nullable;
*/
import org.checkerframework.dataflow.analysis.Store;
/**
* Implementation of a non-special basic block.
*
* @author Stefan Heule
*/
public abstract class SingleSuccessorBlockImpl extends BlockImpl implements SingleSuccessorBlock {
/** Internal representation of the successor. */
protected /*@Nullable*/ BlockImpl successor;
/**
* The rule below say that EACH store at the end of a single successor block flow to the
* corresponding store of the successor.
*/
protected Store.FlowRule flowRule = Store.FlowRule.EACH_TO_EACH;
@Override
public /*@Nullable*/ Block getSuccessor() {
return successor;
}
/** Set a basic block as the successor of this block. */
public void setSuccessor(BlockImpl successor) {
this.successor = successor;
successor.addPredecessor(this);
}
@Override
public Store.FlowRule getFlowRule() {
return flowRule;
}
@Override
public void setFlowRule(Store.FlowRule rule) {
flowRule = rule;
}
}
|
