fill_invertex_label_offset

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


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

*operation* void fill_in_vertex_label_offset(char* Offset)


*traverse* 
	*from* Vertex
	*via* VertexName
	*to* Coordinates

*wrapper* Coordinates
(@ 	this->set_coords(new DemString(Offset)); 	@)