diff options
author | Tristan Gingold <tgingold@free.fr> | 2014-11-04 20:14:19 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2014-11-04 20:14:19 +0100 |
commit | 9c195bf5d86d67ea5eb419ccf6e48dc153e57c68 (patch) | |
tree | 575346e529b99e26382b4a06f6ff2caa0b391ab2 /sem_inst.ads | |
parent | 184a123f91e07c927292d67462561dc84f3a920d (diff) | |
download | ghdl-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.ads | 26 |
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; |