From f0e1a665819675b9ac8ca9dba0189c7283cf9f03 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Mon, 29 Aug 2022 06:17:30 +0000
Subject: [PATCH] fix minor typos
---
src/kernel_services/ast_queries/ast_info.mli | 14 +++++++-------
1 file changed, 7 insertions(+), 7 deletions(-)
diff --git a/src/kernel_services/ast_queries/ast_info.mli b/src/kernel_services/ast_queries/ast_info.mli
index e74da0ebb87..047293232cb 100644
--- a/src/kernel_services/ast_queries/ast_info.mli
+++ b/src/kernel_services/ast_queries/ast_info.mli
@@ -30,37 +30,37 @@ open Cil_types
(** [true] iff the constant is an integer constant
(i.e. neither a float nor a string). Enum tags and chars
- are integer constant
+ are integer constants.
*)
val is_integral_const: constant -> bool
(** returns the value of the corresponding integer literal or [None]
- if the constant is not an integer (i.e. {!is_integral_const} returns false.
+ if the constant is not an integer (i.e. {!is_integral_const} returns false).
*)
val possible_value_of_integral_const: constant -> Integer.t option
-(** returns the value of the corresponding integer constant expression
+(** returns the value of the corresponding integer constant expression, or
[None] if the expression is not a constant expression or does not
evaluate to an integer constant.
@before Frama-C+dev the function only returned [Some v] when the
- expression was an integer literal (i.e. [Const c])
+ expression was an integer literal (i.e. [Const c]).
*)
val possible_value_of_integral_expr: exp -> Integer.t option
(** returns the value of the corresponding integer literal. It is
the responsability of the caller to ensure the constant is indeed
- an integer constant. If unsure, use {!possible_value_of_integral_const}
+ an integer constant. If unsure, use {!possible_value_of_integral_const}.
*)
val value_of_integral_const: constant -> Integer.t
(** returns the value of the corresponding integer constant expression. It
is the responsibility of the caller to ensure that the argument is indeed
an integer constant expression. If unsure, use
- {!possible_value_of_integral_expr}
+ {!possible_value_of_integral_expr}.
@before Frama-C+dev the function would fail if the expression was not an
- integer literal (see {!possible_value_of_integral_expr})
+ integer literal (see {!possible_value_of_integral_expr}).
*)
val value_of_integral_expr: exp -> Integer.t
--
GitLab