Esempio n. 1
0
  public void showStats(String type) {
    if (numaccess != 0) {
      JDDConsole.out.print(type + "-cache ");
      JDDConsole.out.print("ld=" + computeLoadFactor() + "% ");
      JDDConsole.out.print("sz=");
      Digits.printNumber(cache_size);

      JDDConsole.out.print("accs=");
      Digits.printNumber(numaccess);
      JDDConsole.out.print("clrs=" + numclears + "/" + numpartial_clears + " ");

      JDDConsole.out.print("hitr=" + computeHitRate() + "% ");
      if (numgrows > 0) {
        JDDConsole.out.print("grws=" + numgrows + " ");
      }

      showDeviation();
      JDDConsole.out.println();
    }
  }