aboutsummaryrefslogtreecommitdiffhomepage
path: root/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/RegularBlock.java
diff options
context:
space:
mode:
Diffstat (limited to 'third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/RegularBlock.java')
-rw-r--r--third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/RegularBlock.java19
1 files changed, 4 insertions, 15 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/RegularBlock.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/RegularBlock.java
index dd6502fa1a..566449257b 100644
--- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/RegularBlock.java
+++ b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/RegularBlock.java
@@ -1,38 +1,27 @@
package org.checkerframework.dataflow.cfg.block;
import java.util.List;
-
import org.checkerframework.dataflow.cfg.node.Node;
/**
* A regular basic block that contains a sequence of {@link Node}s.
*
- * <p>
- *
- * The following invariant holds.
+ * <p>The following invariant holds.
*
* <pre>
* forall n in getContents() :: n.getBlock() == this
* </pre>
*
* @author Stefan Heule
- *
*/
public interface RegularBlock extends SingleSuccessorBlock {
- /**
- * @return The unmodifiable sequence of {@link Node}s.
- */
+ /** @return the unmodifiable sequence of {@link Node}s. */
List<Node> getContents();
- /**
- * @return The regular successor block.
- */
+ /** @return the regular successor block */
Block getRegularSuccessor();
- /**
- * Is this block empty (i.e., does it not contain any contents).
- */
+ /** Is this block empty (i.e., does it not contain any contents). */
boolean isEmpty();
-
}