diff options
Diffstat (limited to 'third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/VariableDeclarationNode.java')
-rw-r--r-- | third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/VariableDeclarationNode.java | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/VariableDeclarationNode.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/VariableDeclarationNode.java index 5841768e38..867cdf1ad9 100644 --- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/VariableDeclarationNode.java +++ b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/VariableDeclarationNode.java @@ -1,14 +1,11 @@ package org.checkerframework.dataflow.cfg.node; +import com.sun.source.tree.VariableTree; import java.util.Collection; import java.util.Collections; - import org.checkerframework.dataflow.util.HashCodeUtils; - import org.checkerframework.javacutil.InternalUtils; -import com.sun.source.tree.VariableTree; - /** * A node for a local variable declaration: * @@ -16,11 +13,10 @@ import com.sun.source.tree.VariableTree; * <em>modifier</em> <em>type</em> <em>identifier</em>; * </pre> * - * Note: Does not have an initializer block, as that will be translated to a - * separate {@link AssignmentNode}. + * Note: Does not have an initializer block, as that will be translated to a separate {@link + * AssignmentNode}. * * @author Stefan Heule - * */ public class VariableDeclarationNode extends Node { @@ -72,5 +68,4 @@ public class VariableDeclarationNode extends Node { public Collection<Node> getOperands() { return Collections.emptyList(); } - } |