TBR ref: VDL require named in-args, fix bug with named out-args.
Closes vanadium/issues#62
We now require all input arguments to be named in VDL. This is
better for API documentation, and makes code generation slightly
simpler. It'll also help if we move to structed documentation in
the future.
Also fix an off-by-1 bug with named out-args.
MultiPart: 2/3
Change-Id: I417b4a9595e813e48afc29a3b770894e62fa1f8d
diff --git a/services/wspr/internal/app/controller.vdl b/services/wspr/internal/app/controller.vdl
index 0f6be7c..68376f0 100644
--- a/services/wspr/internal/app/controller.vdl
+++ b/services/wspr/internal/app/controller.vdl
@@ -29,13 +29,13 @@
BlessingsDebugString(handle principal.BlessingsHandle) (string | error)
// Bless binds extensions of blessings held by this principal to
// another principal (represented by its public key).
- Bless(publicKey string, blessingHandle principal.BlessingsHandle, extension string, caveat []security.Caveat) (string, principal.BlessingsHandle | error)
+ Bless(publicKey string, handle principal.BlessingsHandle, extension string, caveat []security.Caveat) (publicKeyOut string, handleOut principal.BlessingsHandle | error)
// BlessSelf creates a blessing with the provided name for this principal.
- BlessSelf(name string, caveats []security.Caveat) (string, principal.BlessingsHandle | error)
+ BlessSelf(name string, caveats []security.Caveat) (publicKeyOut string, handleOut principal.BlessingsHandle | error)
// PutToBlessingStore puts the specified blessing to the blessing store under the provided pattern.
- PutToBlessingStore(blessingHandle principal.BlessingsHandle, pattern security.BlessingPattern) (?principal.JsBlessings | error)
+ PutToBlessingStore(handle principal.BlessingsHandle, pattern security.BlessingPattern) (?principal.JsBlessings | error)
// AddToRoots adds the provided blessing as a root.
- AddToRoots(blessingHandle principal.BlessingsHandle) error
+ AddToRoots(handle principal.BlessingsHandle) error
// RemoteBlessings fetches the remote blessings for a given name and method.
RemoteBlessings(name, method string) ([]string | error)
