diff options
Diffstat (limited to 'third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/NarrowingConversionNode.java')
-rw-r--r-- | third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/NarrowingConversionNode.java | 18 |
1 files changed, 7 insertions, 11 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/NarrowingConversionNode.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/NarrowingConversionNode.java index f0165d9589..79a47283eb 100644 --- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/NarrowingConversionNode.java +++ b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/NarrowingConversionNode.java @@ -1,27 +1,22 @@ package org.checkerframework.dataflow.cfg.node; +import com.sun.source.tree.Tree; import java.util.Collection; import java.util.Collections; - import javax.lang.model.type.TypeMirror; - import org.checkerframework.dataflow.util.HashCodeUtils; - import org.checkerframework.javacutil.TypesUtils; -import com.sun.source.tree.Tree; - /** - * A node for the narrowing primitive conversion operation. See JLS 5.1.3 for - * the definition of narrowing primitive conversion. + * A node for the narrowing primitive conversion operation. See JLS 5.1.3 for the definition of + * narrowing primitive conversion. * - * A {@link NarrowingConversionNode} does not correspond to any tree node in the - * parsed AST. It is introduced when a value of some primitive type appears in a - * context that requires a different primitive with more bits of precision. + * <p>A {@link NarrowingConversionNode} does not correspond to any tree node in the parsed AST. It + * is introduced when a value of some primitive type appears in a context that requires a different + * primitive with more bits of precision. * * @author Stefan Heule * @author Charlie Garrett - * */ public class NarrowingConversionNode extends Node { @@ -39,6 +34,7 @@ public class NarrowingConversionNode extends Node { return operand; } + @Override public TypeMirror getType() { return type; } |