diff options
author | Liam Miller-Cushon <cushon@google.com> | 2017-10-15 23:31:56 -0700 |
---|---|---|
committer | Damien Martin-Guillerez <dmarting@google.com> | 2017-10-16 14:16:39 +0200 |
commit | 6bf3f268f4a01963a2ee13f60178664bb056a802 (patch) | |
tree | 32a870dc293e07af88f52b241c75d9cbd462f63f /third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/RegularBlock.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/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(); - } |