From cfc3e127686dc28a17df01c627bf5bfbad5fcc8c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 19 Feb 2019 15:40:41 +0100
Subject: [PATCH] [rte] polishing doc
---
src/plugins/rte/RteGen.mli | 11 +----------
src/plugins/rte/visit.mli | 11 +----------
2 files changed, 2 insertions(+), 20 deletions(-)
diff --git a/src/plugins/rte/RteGen.mli b/src/plugins/rte/RteGen.mli
index fb3e32553ca..a191e61ffb4 100644
--- a/src/plugins/rte/RteGen.mli
+++ b/src/plugins/rte/RteGen.mli
@@ -124,16 +124,7 @@ sig
*)
type on_alarm = kernel_function -> stmt -> invalid:bool -> Alarms.alarm -> unit
- (** Low-level iterators
-
- The [on_alarm ki ?status alarm] callback is invoked with
- the k-instruction originating the alarm and the already known status,
- if any.
-
- Potential alarms can be specified by the provided flags,
- with defaults from the Kernel and RTE plug-in options.
- *)
-
+ (** Type of low-level iterators visiting an element ['a] of the AST *)
type 'a iterator =
?flags:flags -> on_alarm ->
Kernel_function.t -> Cil_types.stmt -> 'a -> unit
diff --git a/src/plugins/rte/visit.mli b/src/plugins/rte/visit.mli
index 4c7f5fc7103..1f75de9bd22 100644
--- a/src/plugins/rte/visit.mli
+++ b/src/plugins/rte/visit.mli
@@ -120,16 +120,7 @@ val flags_none : flags
*)
type on_alarm = kernel_function -> stmt -> invalid:bool -> Alarms.alarm -> unit
-(** Low-level iterators
-
- The [on_alarm ki ?status alarm] callback is invoked with
- the k-instruction originating the alarm and the already known status,
- if any.
-
- Potential alarms can be specified by the provided flags,
- with defaults from the Kernel and RTE plug-in options.
-*)
-
+(** Type of low-level iterators visiting an element ['a] of the AST *)
type 'a iterator =
?flags:flags -> on_alarm ->
Kernel_function.t -> Cil_types.stmt -> 'a -> unit
--
GitLab