Add contract notes for dns_requestmgr_{attach,detach}().

diff --git a/lib/dns/include/dns/request.h b/lib/dns/include/dns/request.h
index d26af66bdc3eae4172c8bfe7f3abb97a5286f265..d4540084d1a92b47a39d6b192425c57081f2efd3 100644 (file)
--- a/lib/dns/include/dns/request.h
+++ b/lib/dns/include/dns/request.h
@@ -131,10 +131,32 @@ dns_requestmgr_shutdown(dns_requestmgr_t *requestmgr);
 
 void
 dns_requestmgr_attach(dns_requestmgr_t *source, dns_requestmgr_t **targetp);
+/*
+ *     Attach to the request manager.  dns_requestmgr_shutdown() must not
+ *     have been called on 'source' prior to calling dns_requestmgr_attach().
+ *
+ * Requires:
+ *
+ *     'source' is a valid requestmgr.
+ *
+ *     'targetp' to be non NULL and '*targetp' to be NULL.
+ */
 
 void
 dns_requestmgr_detach(dns_requestmgr_t **requestmgrp);
-
+/*
+ *
+ *     Detach from the given requestmgr.  If this is the final detach
+ *     requestmgr will be destroyed.  dns_requestmgr_shutdown() must
+ *     be called before the final detach.
+ *
+ * Requires:
+ *
+ *     '*requestmgrp' is a valid requestmgr.
+ *
+ * Ensures:
+ *     '*requestmgrp' is NULL.
+ */
 
 isc_result_t
 dns_request_create(dns_requestmgr_t *requestmgr, dns_message_t *message,