diff options
Diffstat (limited to 'third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/PrimitiveTypeNode.java')
-rw-r--r-- | third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/PrimitiveTypeNode.java | 13 |
1 files changed, 4 insertions, 9 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/PrimitiveTypeNode.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/PrimitiveTypeNode.java index 69b185641d..379bb92024 100644 --- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/PrimitiveTypeNode.java +++ b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/PrimitiveTypeNode.java @@ -1,24 +1,19 @@ package org.checkerframework.dataflow.cfg.node; +import com.sun.source.tree.PrimitiveTypeTree; +import com.sun.source.tree.Tree; import java.util.Collection; import java.util.Collections; - import org.checkerframework.dataflow.util.HashCodeUtils; - import org.checkerframework.javacutil.InternalUtils; -import com.sun.source.tree.PrimitiveTypeTree; -import com.sun.source.tree.Tree; - /** - * A node representing a primitive type used in an expression - * such as a field access + * A node representing a primitive type used in an expression such as a field access * - * <em>type</em> .class + * <p><em>type</em> .class * * @author Stefan Heule * @author Charlie Garrett - * */ public class PrimitiveTypeNode extends Node { |