diff options
Diffstat (limited to 'sem_decls.ads')
-rw-r--r-- | sem_decls.ads | 52 |
1 files changed, 0 insertions, 52 deletions
diff --git a/sem_decls.ads b/sem_decls.ads deleted file mode 100644 index 7a8e24042..000000000 --- a/sem_decls.ads +++ /dev/null @@ -1,52 +0,0 @@ --- Semantic analysis. --- Copyright (C) 2002, 2003, 2004, 2005 Tristan Gingold --- --- GHDL is free software; you can redistribute it and/or modify it under --- the terms of the GNU General Public License as published by the Free --- Software Foundation; either version 2, or (at your option) any later --- version. --- --- GHDL is distributed in the hope that it will be useful, but WITHOUT ANY --- WARRANTY; without even the implied warranty of MERCHANTABILITY or --- FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --- for more details. --- --- You should have received a copy of the GNU General Public License --- along with GHDL; see the file COPYING. If not, write to the Free --- Software Foundation, 59 Temple Place - Suite 330, Boston, MA --- 02111-1307, USA. -with Iirs; use Iirs; - -package Sem_Decls is - procedure Sem_Interface_Chain (Interface_Chain: Iir; - Interface_Kind : Interface_Kind_Type); - - -- Create predefined operations for DECL. - procedure Create_Implicit_Operations - (Decl : Iir; Is_Std_Standard : Boolean := False); - - -- Semantize declarations of PARENT. - procedure Sem_Declaration_Chain (Parent : Iir); - - -- Check all declarations of DECLS_PARENT are complete - -- This checks subprograms, deferred constants, incomplete types and - -- protected types. - -- - -- DECL is the declaration that contains the declaration_list DECLS_PARENT. - -- (location of errors). - -- DECL is different from DECLS_PARENT for package bodies and protected - -- type bodies. - -- - -- Also, report unused declarations if DECL = DECLS_PARENT. - -- As a consequence, Check_Full_Declaration must be called after sem - -- of statements, if any. - procedure Check_Full_Declaration (Decls_Parent : Iir; Decl: Iir); - - procedure Sem_Iterator (Iterator : Iir_Iterator_Declaration; - Staticness : Iir_Staticness); - - -- Extract from NAME the named entity whose profile matches SIG. If NAME - -- is an overload list, it is destroyed. - function Sem_Signature (Name : Iir; Sig : Iir_Signature) return Iir; - -end Sem_Decls; |