// Phone.pp
//
// Created by Cristina Videira Lopes on 12/20/94.
//
// This file contains the set of propagation patterns whose source vertex
// is the Phone class; the operations defined here apply to objects
// of this class. These are the current propagation patterns:
//
//    *operation* void show()
//


//
// *operation* void show()
//
// Print out a phone number.
//
*operation* void show()
  *wrapper* Phone *prefix*
  (@ cout << *this->get_area_code() << " " << *this->get_number() << "\n"; @)