fill_in_edge_label

//****************************************************************************
// 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_label(char* EdgeLabelName)

	*traverse*
		*from* ConstEdge
		*to* EdgeName 
	*wrapper* EdgeName
	(@ 	this->set_name(new DemIdent(EdgeLabelName));	@)