From: nikita <nikita>
Date: Thu, 4 May 2006 20:33:08 +0000 (+0000)
Subject: fix pre/post conditions
X-Git-Tag: v1_8_0_110~486^2~1878
X-Git-Url: https://git.whamcloud.com/?a=commitdiff_plain;h=62e2f88f42bd2f713d6314aa8a1ab98cfe67093a;p=fs%2Flustre-release.git

fix pre/post conditions
---

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);