diff options
Diffstat (limited to 'third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/ConditionalBlock.java')
-rw-r--r-- | third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/ConditionalBlock.java | 32 |
1 files changed, 7 insertions, 25 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/ConditionalBlock.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/ConditionalBlock.java index d267c99803..dce04abdfe 100644 --- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/ConditionalBlock.java +++ b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/ConditionalBlock.java @@ -4,45 +4,27 @@ import org.checkerframework.dataflow.analysis.Store; import org.checkerframework.dataflow.cfg.node.Node; /** - * Represents a conditional basic block that contains exactly one boolean - * {@link Node}. + * Represents a conditional basic block that contains exactly one boolean {@link Node}. * * @author Stefan Heule - * */ public interface ConditionalBlock extends Block { - /** - * @return The entry block of the then branch. - */ + /** @return the entry block of the then branch */ Block getThenSuccessor(); - /** - * @return The entry block of the else branch. - */ + /** @return the entry block of the else branch */ Block getElseSuccessor(); - /** - * @return The flow rule for information flowing from - * this block to its then successor. - */ + /** @return the flow rule for information flowing from this block to its then successor */ Store.FlowRule getThenFlowRule(); - /** - * @return The flow rule for information flowing from - * this block to its else successor. - */ + /** @return the flow rule for information flowing from this block to its else successor */ Store.FlowRule getElseFlowRule(); - /** - * Set the flow rule for information flowing from this block to - * its then successor. - */ + /** Set the flow rule for information flowing from this block to its then successor. */ void setThenFlowRule(Store.FlowRule rule); - /** - * Set the flow rule for information flowing from this block to - * its else successor. - */ + /** Set the flow rule for information flowing from this block to its else successor. */ void setElseFlowRule(Store.FlowRule rule); } |