Lines Matching defs:history
24 // with which to populate the account, history, branch, and teller tables
76 int accounts, branches, tellers, history;
79 int accounts, int branches, int tellers, int history,
86 this.history = history;
117 // history records, and tellers given to the constructor.
235 dbp = dbenv.openDatabase(null, "history", null, config);
238 errExit(e7, "Create of history file failed");
246 errExit(e8, "Close of history file failed");
284 for (i = 1; i <= history; i++) {
294 errExit(dbe, "Failure initializing history file");
411 hdb = dbenv.openDatabase(null, "history", null, config);
463 // The history key will not actually be retrieved,
574 " [-T threads] [-S seed] [-s history] [-t tellers]");
597 int history = HISTORY;
637 // Number of history records
638 if ((history = Integer.parseInt(argv[++i])) <= 0)
663 app = new TpcbExample(home, accounts, branches, tellers, history,
673 String.valueOf(history) + " History");