diff options
author | Tristan Gingold <tgingold@free.fr> | 2019-08-16 22:31:06 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2019-08-17 21:40:42 +0200 |
commit | 7d034fc52f6b15e743ca91e7b1a4314bf31623b9 (patch) | |
tree | 60c6c4deb857b89e5d9f86b55d9fee8160313545 /src/vhdl/vhdl-sem.adb | |
parent | 60b4bf2b63cdad9cfd36106f084fcbe94d01d4d5 (diff) | |
download | ghdl-7d034fc52f6b15e743ca91e7b1a4314bf31623b9.tar.gz ghdl-7d034fc52f6b15e743ca91e7b1a4314bf31623b9.tar.bz2 ghdl-7d034fc52f6b15e743ca91e7b1a4314bf31623b9.zip |
vhdl: parse verification unit (WIP).
Diffstat (limited to 'src/vhdl/vhdl-sem.adb')
-rw-r--r-- | src/vhdl/vhdl-sem.adb | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/src/vhdl/vhdl-sem.adb b/src/vhdl/vhdl-sem.adb index 18aefeef4..e99d7f860 100644 --- a/src/vhdl/vhdl-sem.adb +++ b/src/vhdl/vhdl-sem.adb @@ -15,12 +15,16 @@ -- 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 Errorout; use Errorout; +with Libraries; +with Std_Names; +with Flags; use Flags; +with Str_Table; + with Vhdl.Errors; use Vhdl.Errors; with Vhdl.Std_Package; use Vhdl.Std_Package; with Vhdl.Ieee.Std_Logic_1164; -with Libraries; -with Std_Names; with Vhdl.Sem_Scopes; use Vhdl.Sem_Scopes; with Vhdl.Sem_Expr; use Vhdl.Sem_Expr; with Vhdl.Sem_Names; use Vhdl.Sem_Names; @@ -29,9 +33,8 @@ with Vhdl.Sem_Decls; use Vhdl.Sem_Decls; with Vhdl.Sem_Assocs; use Vhdl.Sem_Assocs; with Vhdl.Sem_Inst; with Vhdl.Sem_Lib; use Vhdl.Sem_Lib; +with Vhdl.Sem_Psl; with Vhdl.Utils; use Vhdl.Utils; -with Flags; use Flags; -with Str_Table; with Vhdl.Sem_Utils; with Vhdl.Sem_Stmts; use Vhdl.Sem_Stmts; with Vhdl.Nodes_Utils; @@ -3365,8 +3368,7 @@ package body Vhdl.Sem is when Iir_Kind_Context_Declaration => Sem_Context_Declaration (Library_Unit); when Iir_Kinds_Verification_Unit => - -- TODO. - raise Internal_Error; + Sem_Psl.Sem_Psl_Verification_Unit (Library_Unit); end case; end if; |