From ea9007ec295ac8f0c49be6a03207cc032f240c3a Mon Sep 17 00:00:00 2001 From: Tristan Gingold 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(-) (limited to 'src/synth/netlists.ads') 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