383 public:

   383 public:

   384   // Sharing support.

   384   // Sharing support.

   385   static void reorder_dictionary();

   385   static void reorder_dictionary();

   386   static void copy_buckets(char** top, char* end);

   386   static void copy_buckets(char** top, char* end);

   387   static void copy_table(char** top, char* end);

   387   static void copy_table(char** top, char* end);

   389   static void set_shared_dictionary(HashtableBucket<mtClass>* t, int length,

   388   static void set_shared_dictionary(HashtableBucket<mtClass>* t, int length,

   390                                     int number_of_entries);

   389                                     int number_of_entries);

   391   // Printing

   390   // Printing

   392   static void print(bool details = true);

   391   static void print(bool details = true);

   393   static void print_shared(bool details = true);

   392   static void print_shared(bool details = true);