private static synchronized void recordBottom(RVMMethod m,RVMField f){
  if (!f.isPrivate()) {
    return;
  }
  if (isTrouble(f)) {
    return;
  }
  FieldDatabase.FieldDatabaseEntry entry=db.findOrCreateEntry(f);
  FieldDatabase.FieldWriterInfo info=entry.findMethodInfo(m);
  if (VM.VerifyAssertions) {
    if (info == null) {
      VM.sysWrite("ERROR recordBottom: method " + m + " field "+ f);
    }
    VM._assert(info != null);
  }
  info.setBottom();
  info.setAnalyzed();
}

private static synchronized void recordBottom ( RVMMethod m , RVMField f ) { if ( ! f . isPrivate ( ) ) { return ; } if ( isTrouble ( f ) ) { return ; } FieldDatabase . FieldDatabaseEntry entry = db . findOrCreateEntry ( f ) ; FieldDatabase . FieldWriterInfo info = entry . findMethodInfo ( m ) ; if ( VM . VerifyAssertions ) { if ( info == null ) { VM . sysWrite ( "ERROR recordBottom: method " + m + " field " + f ) ; } VM . _assert ( info != null ) ; } info . setBottom ( ) ; info . setAnalyzed ( ) ; }
records that a method writes an unknown concrete type to a field .
