From 62e2f88f42bd2f713d6314aa8a1ab98cfe67093a Mon Sep 17 00:00:00 2001 From: nikita Date: Thu, 4 May 2006 20:33:08 +0000 Subject: [PATCH] fix pre/post conditions --- lustre/include/linux/dt_object.h | 3 +++ 1 file changed, 3 insertions(+) diff --git a/lustre/include/linux/dt_object.h b/lustre/include/linux/dt_object.h index f596589..daad374 100644 --- a/lustre/include/linux/dt_object.h +++ b/lustre/include/linux/dt_object.h @@ -145,6 +145,7 @@ struct dt_object_operations { /* * Create new object on this device. * + * precondition: !lu_object_exists(ctxt, &dt->do_lu); * postcondition: ergo(result == 0, lu_object_exists(ctxt, &dt->do_lu)); */ int (*do_object_create)(struct lu_context *ctxt, struct dt_object *dt, @@ -153,6 +154,8 @@ struct dt_object_operations { * Destroy existing object. * * precondition: lu_object_exists(ctxt, &dt->do_lu); + * postcondition: ergo(result == 0, + * !lu_object_exists(ctxt, &dt->do_lu)); */ int (*do_object_destroy)(struct lu_context *ctxt, struct dt_object *dt, struct thandle *th); -- 1.8.3.1