// 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(); @)