aboutsummaryrefslogtreecommitdiffhomepage
path: root/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/NarrowingConversionNode.java
diff options
context:
space:
mode:
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.java18
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;
}