public void assertValid(ObjectReference object){
  if (object.isNull())   return;
  if (objects.containsKey(object)) {
    objects.get(object).assertLive();
    return;
  }
  if (copiedObjects.contains(object))   return;
  assert false : object + " is not a valid object reference";
}

public void assertValid ( ObjectReference object ) { if ( object . isNull ( ) ) return ; if ( objects . containsKey ( object ) ) { objects . get ( object ) . assertLive ( ) ; return ; } if ( copiedObjects . contains ( object ) ) return ; assert false : object + " is not a valid object reference" ; }
assert that an object reference is valid
