cppGenCD

UseCase3



// Create a CDG object, print it, and destroy it.

(@
 #include <fstream.h>
@)

*operation* void cppGenCD(char* filename)
   *wrapper* Graph
      (@
	 ofstream OutputFile(filename);

         Cd_Graph *cdg = this->cppCreCDGraph();
         cdg->g_print(OutputFile);
         // cdg->g_delete();
      @)