From cc7c379ef2a3adc7199c2098e581138f9f55fbd7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 3 Dec 2024 10:39:11 +0100
Subject: [PATCH] [eva] singleton visitors
---
src/plugins/eva/utils/export.ml | 10 +++-------
1 file changed, 3 insertions(+), 7 deletions(-)
diff --git a/src/plugins/eva/utils/export.ml b/src/plugins/eva/utils/export.ml
index 30c2168756c..9ca3c341a76 100644
--- a/src/plugins/eva/utils/export.ml
+++ b/src/plugins/eva/utils/export.ml
@@ -268,7 +268,7 @@ let generated = Emitter.create "Eva_domain"
~correctness:[]
~tuning:[]
-class generator =
+let generator () : visitor =
object(self)
inherit Visitor.frama_c_inplace
val mutable dead = Stmts.empty (* annotated as dead *)
@@ -300,13 +300,11 @@ class generator =
end
-let generator () = (new generator :> visitor)
-
(* -------------------------------------------------------------------------- *)
(* --- Annotation Removal --- *)
(* -------------------------------------------------------------------------- *)
-class cleaner =
+let cleaner () : visitor =
object(self)
inherit Visitor.frama_c_inplace
@@ -326,8 +324,6 @@ class cleaner =
end
-let cleaner () = (new cleaner :> visitor)
-
(* -------------------------------------------------------------------------- *)
(* --- Command Line Option --- *)
(* -------------------------------------------------------------------------- *)
@@ -340,7 +336,7 @@ let main () =
let cleaner = cleaner () in
Self.feedback ~ontty:`Transient "Cleaning annotations..." ;
Visitor.visitFramacFile cleaner ast ;
- new generator
+ generator ()
end
in Parameters.Annot.iter
begin fun kf ->
--
GitLab