public AbstractTokenVisualization getTokenVisualization(Token t) {
if (tokenRegistry.containsKey(t.getID())) {
return tokenRegistry.get(t.getID());
} else {
return null;
}
}
public void removefromRegistry(Token t) {
if (tokenRegistry.containsKey(t.getID())) {
tokenRegistry.remove(t.getID());
}
}
public void addtoRegistry(Token t, AbstractTokenVisualization tv) {
tokenRegistry.put(t.getID(), tv);
}