diff options
Diffstat (limited to 'third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/SingleSuccessorBlock.java')
-rw-r--r-- | third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/SingleSuccessorBlock.java | 14 |
1 files changed, 3 insertions, 11 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/SingleSuccessorBlock.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/SingleSuccessorBlock.java index 4d56291fe6..038a69d3e4 100644 --- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/SingleSuccessorBlock.java +++ b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/SingleSuccessorBlock.java @@ -10,23 +10,15 @@ 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. - */ + /** @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. - */ + /** @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. - */ + /** Set the flow rule for information flowing from this block to its successor. */ void setFlowRule(Store.FlowRule rule); } |