1 25 39 package org.jgrapht.ext; 40 41 import java.util.*; 42 43 import org.jgrapht.event.*; 44 45 46 54 public class IntegerNameProvider<V> 55 implements VertexNameProvider<V> 56 { 57 58 60 private int nextID = 1; 61 private final Map<V, Integer > idMap = new HashMap<V, Integer >(); 62 63 65 68 public void clear() 69 { 70 nextID = 1; 71 idMap.clear(); 72 } 73 74 84 public String getVertexName(V vertex) 85 { 86 Integer id = idMap.get(vertex); 87 if (id == null) { 88 id = nextID++; 89 idMap.put(vertex, id); 90 } 91 92 return id.toString(); 93 } 94 } 95 | Popular Tags |