681 

   681 

   682   void record_concurrent_pause();

   682   void record_concurrent_pause();

   683 

   683 

   684   void record_collection_pause_end(double pause_time);

   684   void record_collection_pause_end(double pause_time);

   685   void print_heap_transition();

   685   void print_heap_transition();

   686 

   687 

   687   // Record the fact that a full collection occurred.

   688   // Record the fact that a full collection occurred.

   688   void record_full_collection_start();

   689   void record_full_collection_start();

   689   void record_full_collection_end();

   690   void record_full_collection_end();

   690 

   691