// Address.pp
//
// Created by Cristina Videira Lopes on 12/20/94.
//
// This file contains the set of propagation patterns whose source vertex
// is the Address class; the operations defined here apply to objects
// of this class. These are the current propagation patterns:
//
//     *operation* void assemble (DemNumber* n, DemString* st, DemNumber* apt,
//			   DemString* c, DemString* s, DemNumber* z)
//

//
// *operation* void assemble (DemNumber* n, DemString* st, DemNumber* apt,
//			   DemString* c, DemString* s, DemNumber* z)
//
// Assemble an address-object given its parts.
//
*operation* void assemble (DemNumber* n, DemString* st, DemNumber* apt,
			   DemString* c, DemString* s, DemNumber* z)
  *wrapper* Address *prefix*
  (@
   this->set_number (n);
   this->set_street (st);
   this->set_apt (apt);
   this->set_city (c);
   this->set_state (s);
   this->set_zip (z);
  @)