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