72 public:
  73   typedef enum {
  74     // Disable matrix verification completely
  75     _verify_matrix_disable,
  76 
  77     // Conservative matrix verification: all connected objects should have matrix
  78     // connections. The verification is conservative, because it allows matrix
  79     // connection that do not have actual heap connections.
  80     _verify_matrix_conservative,
  81 
  82     // Precise matrix verification: all connected objects should have matrix connections,
  83     // *and* every matrix connection should have at least a pair a connected objects.
  84     // TODO: implement this, if needed
  85     _verify_matrix_precise,
  86   } VerifyMatrix;
  87 
  88   typedef enum {
  89     // Disable marked objects verification.
  90     _verify_marked_disable,
  91 
  92     // Objects should be marked in "next" bitmap.
  93     _verify_marked_next,
  94 
  95     // Objects should be marked in "complete" bitmap.
  96     _verify_marked_complete,
  97   } VerifyMarked;
  98 
  99   typedef enum {
 100     // Disable forwarded objects verification.
 101     _verify_forwarded_disable,
 102 
 103     // Objects should not have forwardees.
 104     _verify_forwarded_none,
 105 
 106     // Objects may have forwardees.
 107     _verify_forwarded_allow,
 108   } VerifyForwarded;
 109 
 110   typedef enum {
 111     // Disable collection set verification.
 112     _verify_cset_disable,
 113 
 114     // Should have no references to cset.
 115     _verify_cset_none,
 116 

  72 public:
  73   typedef enum {
  74     // Disable matrix verification completely
  75     _verify_matrix_disable,
  76 
  77     // Conservative matrix verification: all connected objects should have matrix
  78     // connections. The verification is conservative, because it allows matrix
  79     // connection that do not have actual heap connections.
  80     _verify_matrix_conservative,
  81 
  82     // Precise matrix verification: all connected objects should have matrix connections,
  83     // *and* every matrix connection should have at least a pair a connected objects.
  84     // TODO: implement this, if needed
  85     _verify_matrix_precise,
  86   } VerifyMatrix;
  87 
  88   typedef enum {
  89     // Disable marked objects verification.
  90     _verify_marked_disable,
  91 
  92     // Objects should be marked
  93     _verify_marked,
  94 


  95   } VerifyMarked;
  96 
  97   typedef enum {
  98     // Disable forwarded objects verification.
  99     _verify_forwarded_disable,
 100 
 101     // Objects should not have forwardees.
 102     _verify_forwarded_none,
 103 
 104     // Objects may have forwardees.
 105     _verify_forwarded_allow,
 106   } VerifyForwarded;
 107 
 108   typedef enum {
 109     // Disable collection set verification.
 110     _verify_cset_disable,
 111 
 112     // Should have no references to cset.
 113     _verify_cset_none,
 114