X-Git-Url: https://git.efficios.com/?a=blobdiff_plain;f=include%2Fbabeltrace2%2Fgraph%2Fmessage.h;h=27730f69549dfc9aafe9ddee603049bffae46c98;hb=e5a41ca3bf74f80d8decfe22f7916be4566838ec;hp=bc977238c8cb7a0a904ad59f9104fc743be3d504;hpb=415d43a1b12feae338e910af6d6a1865054c2ef4;p=babeltrace.git

diff --git a/include/babeltrace2/graph/message.h b/include/babeltrace2/graph/message.h
index bc977238..27730f69 100644
--- a/include/babeltrace2/graph/message.h
+++ b/include/babeltrace2/graph/message.h
@@ -2568,6 +2568,8 @@ property.
 @bt_pre_not_null{message}
 @bt_pre_hot{message}
 @bt_pre_is_disc_ev_msg{message}
+@pre
+    \bt_p{count} > 0
 
 @sa bt_message_discarded_events_get_count() —
     Returns the number of discarded events of a discarded events
@@ -2886,6 +2888,8 @@ property.
 @bt_pre_not_null{message}
 @bt_pre_hot{message}
 @bt_pre_is_disc_pkt_msg{message}
+@pre
+    \bt_p{count} > 0
 
 @sa bt_message_discarded_packets_get_count() —
     Returns the number of discarded packets of a discarded packets