package org.checkerframework.dataflow.cfg.node; import java.util.Collection; import java.util.Collections; import org.checkerframework.dataflow.util.HashCodeUtils; import org.checkerframework.javacutil.InternalUtils; import com.sun.source.tree.VariableTree; /** * A node for a local variable declaration: * *
* modifier type identifier; ** * Note: Does not have an initializer block, as that will be translated to a * separate {@link AssignmentNode}. * * @author Stefan Heule * */ public class VariableDeclarationNode extends Node { protected VariableTree tree; protected String name; // TODO: make modifier accessible public VariableDeclarationNode(VariableTree t) { super(InternalUtils.typeOf(t)); tree = t; name = tree.getName().toString(); } public String getName() { return name; } @Override public VariableTree getTree() { return tree; } @Override public