diff options
author | Tristan Gingold <tgingold@free.fr> | 2019-05-04 22:04:37 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2019-05-04 22:04:37 +0200 |
commit | bddf80741a2a4f574e9b531c046a531d0d53ea86 (patch) | |
tree | 4e4824d4844dd32d2ec54c8bc173a2102220c8a4 /src/vhdl/vhdl-parse_psl.ads | |
parent | 7ca14ac72c36c363d8f874c266c2730f209a0edd (diff) | |
download | ghdl-bddf80741a2a4f574e9b531c046a531d0d53ea86.tar.gz ghdl-bddf80741a2a4f574e9b531c046a531d0d53ea86.tar.bz2 ghdl-bddf80741a2a4f574e9b531c046a531d0d53ea86.zip |
vhdl: move parse package as vhdl child.
Diffstat (limited to 'src/vhdl/vhdl-parse_psl.ads')
-rw-r--r-- | src/vhdl/vhdl-parse_psl.ads | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/src/vhdl/vhdl-parse_psl.ads b/src/vhdl/vhdl-parse_psl.ads new file mode 100644 index 000000000..717663ecc --- /dev/null +++ b/src/vhdl/vhdl-parse_psl.ads @@ -0,0 +1,30 @@ +-- VHDL PSL parser. +-- Copyright (C) 2009 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 Types; use Types; +with Vhdl.Tokens; use Vhdl.Tokens; + +package Vhdl.Parse_Psl is + function Parse_Psl_Sequence (Full_Hdl_Expr : Boolean) return PSL_Node; + function Parse_Psl_Property return PSL_Node; + function Parse_Psl_Boolean return PSL_Node; + function Parse_Psl_Declaration (Tok : Token_Type) return PSL_Node; + + -- True if endpoint declaration N is instantiated (ie has no parameters). + function Is_Instantiated_Declaration (N : PSL_Node) return Boolean; +end Vhdl.Parse_Psl; |