fill_in_edge_destination

//****************************************************************************
// Date:	November 25, 1995
// 
//****************************************************************************
//
// Changes:
// Date:
//
//****************************************************************************
// 
// This propagation pattern fills in the Source Vertex Name of an Edge object.
// It takes in one argument, the SourceVertexLabelName.
//
//****************************************************************************



(@
#include <iostream.h>
#include <strstream.h>
@)

*operation* void fill_in_edge_destination(char* DestinationVertexLabelName,
					  Graph* tmpGraph)


    *wrapper* Edge
	(@ this->set_to(tmpGraph->cppLookUpVName(new DemIdent 
						(DestinationVertexLabelName)));
			@)