public InputTreeNode createNode(Token token) {
return new InputTreeNode((DBTreeToken)token, location);
}
public NodeInfo getNode(Token token) {
DBTreeToken tt = (DBTreeToken)token;
NodeInfo info = nodeInfoForToken.get(tt.ID);
if(info != null && !info.token.toString().equals(token.toString())) {
debuggerTab.warning(this, "Duplicate token ID "+tt.ID+" for "+info.token+" <-> "+token);
}
return info;