public synchronized void dumpGraph(){
  dumpGraph(Controller.options.DYNAMIC_CALL_FILE_OUTPUT);
}

public synchronized void dumpGraph ( ) { dumpGraph ( Controller . options . DYNAMIC_CALL_FILE_OUTPUT ) ; }
dump all profile data to the given file
