Annotations from cadaver checks.

CVS patchset: 7535
CVS date: 2004/11/04 13:27:08

4 files changed, 5 insertions, 3 deletions

diff --git a/neon/src/ne_basic.h b/neon/src/ne_basic.h
index e0a2dedbf..5f2a725de 100644
--- a/neon/src/ne_basic.h
+++ b/neon/src/ne_basic.h
@@ -110,7 +110,7 @@ typedef struct {
 /* Determines server capabilities (using OPTIONS).  Pass 'path' as "*"
  * to determine proxy server capabilities if using a proxy server. */
 int ne_options(ne_session *sess, const char *path,
-	       ne_server_capabilities *caps)
+	       /*@out@*/ ne_server_capabilities *caps)
 	/*@globals internalState @*/
 	/*@modifies internalState @*/;
 
diff --git a/neon/src/ne_props.h b/neon/src/ne_props.h
index 32d1bc118..1d3b6c53d 100644
--- a/neon/src/ne_props.h
+++ b/neon/src/ne_props.h
@@ -155,8 +155,10 @@ enum ne_proppatch_optype {
     ne_propremove
 };
 typedef struct {
+/*@observer@*/
     const ne_propname *name;
     enum ne_proppatch_optype type;
+/*@observer@*/
     const char *value;
 } ne_proppatch_operation;
 
diff --git a/neon/src/ne_ssl.h b/neon/src/ne_ssl.h
index 3094b061a..9a4095291 100644
--- a/neon/src/ne_ssl.h
+++ b/neon/src/ne_ssl.h
@@ -105,7 +105,7 @@ int ne_ssl_cert_digest(const ne_ssl_certificate *cert, char *digest)
  * NUL-terminated human-readable strings.  The buffers must be at
  * least NE_SSL_VDATELEN bytes in length. */
 void ne_ssl_cert_validity(const ne_ssl_certificate *cert,
-                          char *from, char *until)
+                          /*@out@*/ char *from, /*@out@*/ char *until)
 	/*@modifies from, until @*/;
 
 /* Returns zero if 'c1' and 'c2' refer to the same certificate, or
diff --git a/neon/src/ne_uri.h b/neon/src/ne_uri.h
index cc84f5820..61b965999 100644
--- a/neon/src/ne_uri.h
+++ b/neon/src/ne_uri.h
@@ -72,7 +72,7 @@ typedef struct {
  * are malloc'ed, structure should be free'd with uri_free on
  * successful return.  Any unspecified URI fields are set to NULL or 0
  * appropriately in *parsed. */
-int ne_uri_parse(const char *uri, ne_uri *parsed)
+int ne_uri_parse(const char *uri, /*@out@*/ ne_uri *parsed)
 	/*@modifies parsed @*/;
 
 /* Turns a URI structure back into a string.  String is