diff options
| -rw-r--r-- | neon/src/ne_basic.h | 2 | ||||
| -rw-r--r-- | neon/src/ne_props.h | 2 | ||||
| -rw-r--r-- | neon/src/ne_ssl.h | 2 | ||||
| -rw-r--r-- | neon/src/ne_uri.h | 2 |
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 |