diff options
Diffstat (limited to 'src/files_map.ads')
-rw-r--r-- | src/files_map.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/files_map.ads b/src/files_map.ads index d36442419..d06805948 100644 --- a/src/files_map.ads +++ b/src/files_map.ads @@ -62,6 +62,10 @@ package Files_Map is (Ref : Source_File_Entry; Loc : Location_Type; Inst : Nodes.Node_Type) return Source_File_Entry; + -- Unload last source file. Works only with the last one. Must be + -- carefully used as the corresponding locations will be reused. + procedure Unload_Last_Source_File (File : Source_File_Entry); + -- Relocate location LOC (which must be in the reference of INST_FILE) -- for instrnace INST_FILE. function Instance_Relocate |