diff options
author | 2017-10-15 23:31:56 -0700 | |
---|---|---|
committer | 2017-10-16 14:16:39 +0200 | |
commit | 6bf3f268f4a01963a2ee13f60178664bb056a802 (patch) | |
tree | 32a870dc293e07af88f52b241c75d9cbd462f63f /third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/ConditionalBlock.java | |
parent | 80a34dc97799961201e6dce20fd58dd08022c032 (diff) |
Update checker framework dataflow and javacutils to 2.1.14
Change-Id: I62ad827fc4bbd54d022097003af63e351e44b98c
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); } |