cdgAddSourceCVertex

UseCase3



// Create a new adjacency with a source vertex of the given name
// and an empty neighbor list of type Cd_Construct.  Add it to 
// the current Cd_Adj_List.

*operation* void cdgAddSourceCVertex(DemIdent* name)
*traverse* *from* Cd_Graph *to* Cd_Adj_List
   *wrapper* Cd_Adj_List
      (@
         Cd_Adjacency* NewAdj = new Cd_Adjacency();
         Cd_Vertex* NewVertex = new Cd_Vertex(name);
         Cd_Construct *NewConstruct = new Cd_Construct();

         NewConstruct->set_construct_ns(new Cd_LV_List());

         NewAdj->set_source(NewVertex);
         NewAdj->set_ns(NewConstruct);

	cout << "Before the append" << endl;
         this->append(NewAdj);
      @)