fill_in_edge_label_offset

//***************************************************************************
//
// Date Created:	November 25, 1995
//
//***************************************************************************
//
// Changes:
// Date Changed:
//
//***************************************************************************
//
// This propagation pattern fills in the Edge's label offset (that is the 
// offset from the edge coordinates to the label's coordinates), of a 
// Edge object. It takes in one argument, the Edge's label Offset.
//
//***************************************************************************


(@
#include <iostream.h>
#include <strstream.h>
// #include "tclexec.h"
@)

*operation* void fill_in_edge_label_offset(char* Offset)


*traverse* 
	*from* ConstEdge
	*through* ->*, en_offset, *
	*to* Coordinates

*wrapper* Coordinates
(@ 	set_coords(new DemString(Offset)); 	@)