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);
 }