package org.checkerframework.dataflow.cfg.node; import com.sun.source.tree.LiteralTree; import com.sun.source.tree.Tree; import java.util.Collection; import java.util.Collections; /** * A node for an string literal. For example: * *
* "abc" ** * @author Stefan Heule */ public class StringLiteralNode extends ValueLiteralNode { public StringLiteralNode(LiteralTree t) { super(t); assert t.getKind().equals(Tree.Kind.STRING_LITERAL); } @Override public String getValue() { return (String) tree.getValue(); } @Override public