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; /** * A node for a float literal. For example: * *
* 8.0f * 6.022137e+23F ** * @author Stefan Heule * @author Charlie Garrett * */ public class FloatLiteralNode extends ValueLiteralNode { public FloatLiteralNode(LiteralTree t) { super(t); assert t.getKind().equals(Tree.Kind.FLOAT_LITERAL); } @Override public Float getValue() { return (Float) tree.getValue(); } @Override public