From ea9007ec295ac8f0c49be6a03207cc032f240c3a Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Mon, 18 May 2020 18:49:20 +0200
Subject: netlists: make free_instance private and remove_instance public.
---
src/synth/netlists.ads | 10 ++++------
1 file changed, 4 insertions(+), 6 deletions(-)
diff --git a/src/synth/netlists.ads b/src/synth/netlists.ads
index 58900e748..e5560ba0a 100644
--- a/src/synth/netlists.ads
+++ b/src/synth/netlists.ads
@@ -270,10 +270,8 @@ package Netlists is
Nbr_Params : Param_Nbr)
return Instance;
- -- Mark INST as free, but keep it in the module.
- -- Use Remove_Free_Instances for a cleanup.
- -- TODO: Destroy instance in Remove_Free_Instances.
- procedure Free_Instance (Inst : Instance);
+ -- Remove and free the unconnected instance INST.
+ procedure Remove_Instance (Inst : Instance);
function Is_Self_Instance (I : Instance) return Boolean;
function Get_Module (Inst : Instance) return Module;
@@ -441,8 +439,8 @@ private
-- parent module.
procedure Extract_Instance (Inst : Instance);
- -- Remove and free the unconnected instance INST.
- procedure Remove_Instance (Inst : Instance);
+ -- Mark INST as free. Must be unconnected and removed from its module.
+ procedure Free_Instance (Inst : Instance);
type Input_Record is record
Parent : Instance;
--
cgit v1.2.3