HomeSoftware Heritage

Make db_transaction* remove db/cur from the signature.

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

Make db_transaction* remove db/cur from the signature.

Rremoving them allows testing the function's signature
matches the existing signature of a specification and type checking.

Moreover, they should not be used by users of the class, so there is no
reason to have them appear in the documentation (generated from
the signature).

Details

Provenance
vlorentzAuthored on Jan 24 2020, 5:45 PM
vlorentzPushed on Jan 29 2020, 12:20 PM
Differential Revision
D2586: Make db_transaction* remove db/cur from the signature.
Build Status
Buildable 10337
Build 15361: test-and-buildJenkins

Commit No Longer Exists

This commit no longer exists in the repository.