From 66ffebe2a0819d4faca52a4c2a5e1997b9a737e2 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 28 Apr 2022 17:24:55 +0200
Subject: [PATCH] [doc] remove unused @plugin dev guide directives
---
src/kernel_services/ast_data/annotations.mli | 4 ++--
src/plugins/value/engine/analysis.mli | 4 +++-
src/plugins/value_types/cilE.mli | 3 +--
3 files changed, 6 insertions(+), 5 deletions(-)
diff --git a/src/kernel_services/ast_data/annotations.mli b/src/kernel_services/ast_data/annotations.mli
index cea099e3d89..443ace63107 100644
--- a/src/kernel_services/ast_data/annotations.mli
+++ b/src/kernel_services/ast_data/annotations.mli
@@ -297,13 +297,13 @@ val add_check:
Emitter.t -> ?kf:kernel_function -> stmt -> predicate -> unit
(** Add a checking assertion attached to the given statement. If [kf] is
provided, the function runs faster.
- @plugin development guide *)
+*)
val add_admit:
Emitter.t -> ?kf:kernel_function -> stmt -> predicate -> unit
(** Add an hypothesis assertion attached to the given statement. If [kf] is
provided, the function runs faster.
- @plugin development guide *)
+*)
val add_global: Emitter.t -> global_annotation -> unit
(** Add a new global annotation into the program. *)
diff --git a/src/plugins/value/engine/analysis.mli b/src/plugins/value/engine/analysis.mli
index ae7383efe45..99fa1e27592 100644
--- a/src/plugins/value/engine/analysis.mli
+++ b/src/plugins/value/engine/analysis.mli
@@ -88,7 +88,9 @@ val compute : unit -> unit
@plugin development guide *)
val is_computed : unit -> bool
-(** Return [true] iff the Eva analysis has been done. *)
+(** Return [true] iff the Eva analysis has been done.
+ @plugin development guide
+*)
val self : State.t
(** Internal state of Eva analysis from projects viewpoint. *)
diff --git a/src/plugins/value_types/cilE.mli b/src/plugins/value_types/cilE.mli
index a32fc59c506..86e8be09466 100644
--- a/src/plugins/value_types/cilE.mli
+++ b/src/plugins/value_types/cilE.mli
@@ -20,8 +20,7 @@
(* *)
(**************************************************************************)
-(** Value analysis alarms
- @plugin development guide *)
+(** Value analysis alarms *)
(* ************************************************************************* *)
(* [JS 2011/03/11] All the below stuff manage warnings of the value analysis
--
GitLab