aboutsummaryrefslogtreecommitdiffstats
path: root/sem_inst.ads
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2014-11-04 20:14:19 +0100
committerTristan Gingold <tgingold@free.fr>2014-11-04 20:14:19 +0100
commit9c195bf5d86d67ea5eb419ccf6e48dc153e57c68 (patch)
tree575346e529b99e26382b4a06f6ff2caa0b391ab2 /sem_inst.ads
parent184a123f91e07c927292d67462561dc84f3a920d (diff)
downloadghdl-9c195bf5d86d67ea5eb419ccf6e48dc153e57c68.tar.gz
ghdl-9c195bf5d86d67ea5eb419ccf6e48dc153e57c68.tar.bz2
ghdl-9c195bf5d86d67ea5eb419ccf6e48dc153e57c68.zip
Move sources to src/ subdirectory.
Diffstat (limited to 'sem_inst.ads')
-rw-r--r--sem_inst.ads26
1 files changed, 0 insertions, 26 deletions
diff --git a/sem_inst.ads b/sem_inst.ads
deleted file mode 100644
index da8cd5d27..000000000
--- a/sem_inst.ads
+++ /dev/null
@@ -1,26 +0,0 @@
--- Package (and subprograms) instantiations
-
--- When a package is instantiated, we need to 'duplicate' its declaration.
--- This looks useless for analysis but it isn't: a type from a package
--- instantiated twice declares two different types. Without duplication, we
--- need to attach to each declaration its instance, which looks more expansive
--- that duplicating the declaration.
---
--- Furthermore, for generic type interface, it looks a good idea to duplicate
--- the body (macro expansion).
---
--- Duplicating is not trivial: internal links must be kept and external
--- links preserved. A table is used to map nodes from the uninstantiated
--- package to its duplicated node. Links from instantiated declaration to
--- the original declaration are also stored in that table.
-
-with Iirs; use Iirs;
-
-package Sem_Inst is
- -- Return the origin of node N, the node from which N was instantiated.
- -- If N is not an instance, this function returns Null_Iir.
- function Get_Origin (N : Iir) return Iir;
-
- -- Create declaration chain and generic declarations for INST from PKG.
- procedure Instantiate_Package_Declaration (Inst : Iir; Pkg : Iir);
-end Sem_Inst;