diff options
Diffstat (limited to 'third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ShortLiteralNode.java')
| -rw-r--r-- | third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ShortLiteralNode.java | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ShortLiteralNode.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ShortLiteralNode.java index f61da82397..cd1db1e560 100644 --- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ShortLiteralNode.java +++ b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/ShortLiteralNode.java @@ -1,10 +1,9 @@ package org.checkerframework.dataflow.cfg.node; -import java.util.Collection; -import java.util.Collections; - import com.sun.source.tree.LiteralTree; import com.sun.source.tree.Tree; +import java.util.Collection; +import java.util.Collections; /** * A node for a short literal. For example: @@ -14,14 +13,12 @@ import com.sun.source.tree.Tree; * <em>0x8fff</em> * </pre> * - * Java source and the AST representation do not have "short" literals. They - * have integer literals that may be narrowed to shorts depending on context. If - * we use explicit NarrowingConversionNodes, do we need ShortLiteralNodes too? - * TODO: Decide this question. + * Java source and the AST representation do not have "short" literals. They have integer literals + * that may be narrowed to shorts depending on context. If we use explicit NarrowingConversionNodes, + * do we need ShortLiteralNodes too? TODO: Decide this question. * * @author Stefan Heule * @author Charlie Garrett - * */ public class ShortLiteralNode extends ValueLiteralNode { |