- /*@globals fileSystem @*/
- /*@modifies fileSystem @*/
-{
- (void) rpmswExit(&ts->op_total, 0);
-
- rpmtsPrintStat("total: ", &ts->op_total);
- rpmtsPrintStat("check: ", &ts->op_check);
- rpmtsPrintStat("order: ", &ts->op_order);
- rpmtsPrintStat("fingerprint: ", &ts->op_fingerprint);
- rpmtsPrintStat("repackage: ", &ts->op_repackage);
- rpmtsPrintStat("install: ", &ts->op_install);
- rpmtsPrintStat("erase: ", &ts->op_erase);
- rpmtsPrintStat("scriptlets: ", &ts->op_scriptlets);
- rpmtsPrintStat("compress: ", &ts->op_compress);
- rpmtsPrintStat("uncompress: ", &ts->op_uncompress);
- rpmtsPrintStat("digest: ", &ts->op_digest);
- rpmtsPrintStat("signature: ", &ts->op_signature);
- rpmtsPrintStat("dbadd: ", &ts->op_dbadd);
- rpmtsPrintStat("dbremove: ", &ts->op_dbremove);
- rpmtsPrintStat("dbget: ", &ts->op_dbget);
- rpmtsPrintStat("dbput: ", &ts->op_dbput);
- rpmtsPrintStat("dbdel: ", &ts->op_dbdel);
+ /*@globals fileSystem, internalState @*/
+ /*@modifies fileSystem, internalState @*/
+{
+ (void) rpmswExit(rpmtsOp(ts, RPMTS_OP_TOTAL), 0);
+
+ rpmtsPrintStat("total: ", rpmtsOp(ts, RPMTS_OP_TOTAL));
+ rpmtsPrintStat("check: ", rpmtsOp(ts, RPMTS_OP_CHECK));
+ rpmtsPrintStat("order: ", rpmtsOp(ts, RPMTS_OP_ORDER));
+ rpmtsPrintStat("fingerprint: ", rpmtsOp(ts, RPMTS_OP_FINGERPRINT));
+ rpmtsPrintStat("repackage: ", rpmtsOp(ts, RPMTS_OP_REPACKAGE));
+ rpmtsPrintStat("install: ", rpmtsOp(ts, RPMTS_OP_INSTALL));
+ rpmtsPrintStat("erase: ", rpmtsOp(ts, RPMTS_OP_ERASE));
+ rpmtsPrintStat("scriptlets: ", rpmtsOp(ts, RPMTS_OP_SCRIPTLETS));
+ rpmtsPrintStat("compress: ", rpmtsOp(ts, RPMTS_OP_COMPRESS));
+ rpmtsPrintStat("uncompress: ", rpmtsOp(ts, RPMTS_OP_UNCOMPRESS));
+ rpmtsPrintStat("digest: ", rpmtsOp(ts, RPMTS_OP_DIGEST));
+ rpmtsPrintStat("signature: ", rpmtsOp(ts, RPMTS_OP_SIGNATURE));
+ rpmtsPrintStat("dbadd: ", rpmtsOp(ts, RPMTS_OP_DBADD));
+ rpmtsPrintStat("dbremove: ", rpmtsOp(ts, RPMTS_OP_DBREMOVE));
+ rpmtsPrintStat("dbget: ", rpmtsOp(ts, RPMTS_OP_DBGET));
+ rpmtsPrintStat("dbput: ", rpmtsOp(ts, RPMTS_OP_DBPUT));
+ rpmtsPrintStat("dbdel: ", rpmtsOp(ts, RPMTS_OP_DBDEL));