Cd_graph { 
{{
  HashSet partNames;
  public void checkUniquePartNames(ClassGraph cg) {

    Strategy s = new Strategy("from Cd_graph through Adjacency to Vertex");
    TraversalGraph tg = new TraversalGraph(s, cg);
    
    tg.traverse(this, new Visitor() {
     
      private Vertex VertexBeingDefined;
      private Vertex VertexBeingLookedAt;

      public void before (Construct_ns host){
        partNames = new HashSet();
        VertexBeingDefined = VertexBeingLookedAt;
	if(Main.debug) System.out.println("Vertex being defined: " + VertexBeingDefined.get_vertex_name());
      }

      public void before (Regular host) {
	if(Main.debug) System.out.println("before Regular");
        AddToStack(host.get_vertex().get_vertex().get_vertex_name().toString().toLowerCase());
      }
        
      public void before (Labeled host) {
	if(Main.debug) System.out.println("before Labeled");
        AddToStack( host.get_label_name().toString() );
      } 
      
      public void before (Vertex host) {
	VertexBeingLookedAt = host;
	if(Main.debug) System.out.println("Vertex being looked at: "+ VertexBeingLookedAt.get_vertex_name());
      }

      private void AddToStack (String add) {
	if(Main.debug) System.out.println("Attempting to add " + add );
        if (partNames.contains(add)) {
	  System.err.println(" *** ERROR DETECTED: Part " + add + " of class " +
		 VertexBeingDefined.get_vertex_name() + " is not unique. *** ");}
        else { partNames.add(add); };
      }
  
    }); 
}

}}

}