diff options
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.java | 19 |
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(); - } |