diff options
31 files changed, 609 insertions, 59 deletions
diff --git a/src/psl/Makefile b/src/psl/Makefile new file mode 100644 index 0000000..ef64393 --- /dev/null +++ b/src/psl/Makefile @@ -0,0 +1,49 @@ +# Copyright (C) 2002 - 2015 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 GCC; see the file COPYING. If not, write to the Free +# Software Foundation, 59 Temple Place - Suite 330, Boston, MA +# 02111-1307, USA. + +# Some files are automatically generated using pnodes.py +# This Makefile can be used to regenerate these files. Generated files must +# be committed and distribued with the sources, so that users don't need to +# regenerate them (and don't need to have python installed). + +PNODES=../xtools/pnodes.py + +DEPS=psl-nodes.ads psl-nodes.adb.in $(PNODES) + +PNODES_FLAGS=--field-file=psl-nodes.adb.in --spec-file=psl-nodes.ads --template-file=psl-nodes.adb.in --meta-basename=psl-nodes_meta --kind-type=Nkind --kind-prefix=N_ --node-type=Node + +GEN_FILES=psl-nodes.adb psl-nodes_meta.ads psl-nodes_meta.adb + +all: $(GEN_FILES) + +psl-nodes.adb: psl-nodes.adb.in $(DEPS) + $(RM) $@ + $(PNODES) $(PNODES_FLAGS) body > $@ + chmod -w $@ + +psl-nodes_meta.ads: psl-nodes_meta.ads.in $(DEPS) + $(RM) $@ + $(PNODES) $(PNODES_FLAGS) meta_specs > $@ + chmod -w $@ + +psl-nodes_meta.adb: psl-nodes_meta.adb.in $(DEPS) + $(RM) $@ + $(PNODES) $(PNODES_FLAGS) meta_body > $@ + chmod -w $@ + +clean: + $(RM) -f $(GEN_FILES) diff --git a/src/psl/psl-build.adb b/src/psl/psl-build.adb index c3e47ba..661d758 100644 --- a/src/psl/psl-build.adb +++ b/src/psl/psl-build.adb @@ -1,4 +1,22 @@ -with GNAT.Table; +-- PSL - NFA builder. +-- Copyright (C) 2002-2016 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 Tables; with Ada.Text_IO; use Ada.Text_IO; with Types; use Types; with PSL.Errors; use PSL.Errors; @@ -13,7 +31,6 @@ with PSL.NFAs; use PSL.NFAs; package body PSL.Build is function Build_SERE_FA (N : Node) return NFA; - package Intersection is function Build_Inter (L, R : NFA; Match_Len : Boolean) return NFA; end Intersection; @@ -28,12 +45,11 @@ package body PSL.Build is Next_Unhandled : Stack_Entry_Id; end record; - package Stackt is new GNAT.Table + package Stackt is new Tables (Table_Component_Type => Stack_Entry, Table_Index_Type => Stack_Entry_Id, Table_Low_Bound => 1, - Table_Initial => 128, - Table_Increment => 100); + Table_Initial => 128); First_Unhandled : Stack_Entry_Id; @@ -598,12 +614,11 @@ package body PSL.Build is -- + value ? end record; - package Detert is new GNAT.Table + package Detert is new Tables (Table_Component_Type => Deter_Tree_Entry, Table_Index_Type => Deter_Tree_Id, Table_Low_Bound => 1, - Table_Initial => 128, - Table_Increment => 100); + Table_Initial => 128); type Bool_Vector is array (Natural range <>) of Boolean; pragma Pack (Bool_Vector); diff --git a/src/psl/psl-build.ads b/src/psl/psl-build.ads index d0ca26a..c8e15ee 100644 --- a/src/psl/psl-build.ads +++ b/src/psl/psl-build.ads @@ -1,3 +1,21 @@ +-- PSL - NFA builder. +-- Copyright (C) 2002-2016 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 PSL.Nodes; use PSL.Nodes; package PSL.Build is diff --git a/src/psl/psl-cse.adb b/src/psl/psl-cse.adb index 5d6f3df..ed4fc72 100644 --- a/src/psl/psl-cse.adb +++ b/src/psl/psl-cse.adb @@ -1,3 +1,21 @@ +-- PSL - Simplify expressions +-- Copyright (C) 2002-2016 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 Ada.Text_IO; with PSL.Prints; with Types; use Types; diff --git a/src/psl/psl-cse.ads b/src/psl/psl-cse.ads index e40b0ee..915ef98 100644 --- a/src/psl/psl-cse.ads +++ b/src/psl/psl-cse.ads @@ -1,3 +1,21 @@ +-- PSL - Simplify expressions +-- Copyright (C) 2002-2016 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 PSL.Nodes; use PSL.Nodes; package PSL.CSE is diff --git a/src/psl/psl-disp_nfas.adb b/src/psl/psl-disp_nfas.adb index c8f1532..676eff5 100644 --- a/src/psl/psl-disp_nfas.adb +++ b/src/psl/psl-disp_nfas.adb @@ -1,3 +1,21 @@ +-- PSL - Disp nodes +-- Copyright (C) 2002-2016 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 Ada.Text_IO; use Ada.Text_IO; with Types; use Types; with PSL.Prints; use PSL.Prints; diff --git a/src/psl/psl-disp_nfas.ads b/src/psl/psl-disp_nfas.ads index 901eed7..fa1e8cb 100644 --- a/src/psl/psl-disp_nfas.ads +++ b/src/psl/psl-disp_nfas.ads @@ -1,3 +1,21 @@ +-- PSL - Disp nodes +-- Copyright (C) 2002-2016 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 PSL.NFAs; use PSL.NFAs; with PSL.Nodes; use PSL.Nodes; diff --git a/src/psl/psl-dump_tree.adb b/src/psl/psl-dump_tree.adb index 0ce3763..93a4071 100644 --- a/src/psl/psl-dump_tree.adb +++ b/src/psl/psl-dump_tree.adb @@ -1,4 +1,21 @@ --- This is in fact -*- Ada -*- +-- PSL - Disp nodes +-- Copyright (C) 2002-2016 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 Ada.Text_IO; use Ada.Text_IO; with Types; use Types; with Name_Table; diff --git a/src/psl/psl-dump_tree.ads b/src/psl/psl-dump_tree.ads index f8b2eb3..bf412d0 100644 --- a/src/psl/psl-dump_tree.ads +++ b/src/psl/psl-dump_tree.ads @@ -1,3 +1,21 @@ +-- PSL - Disp nodes +-- Copyright (C) 2002-2016 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 PSL.Nodes; use PSL.Nodes; package PSL.Dump_Tree is diff --git a/src/psl/psl-hash.adb b/src/psl/psl-hash.adb index 62744b3..3333066 100644 --- a/src/psl/psl-hash.adb +++ b/src/psl/psl-hash.adb @@ -1,4 +1,22 @@ -with GNAT.Table; +-- PSL - HDL interface. +-- Copyright (C) 2002-2016 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 Tables; package body PSL.Hash is @@ -12,12 +30,11 @@ package body PSL.Hash is Hash_Size : constant Index_Type := 127; - package Cells is new GNAT.Table + package Cells is new Tables (Table_Component_Type => Cell_Record, Table_Index_Type => Index_Type, Table_Low_Bound => 0, - Table_Initial => 256, - Table_Increment => 100); + Table_Initial => 256); procedure Init is begin diff --git a/src/psl/psl-hash.ads b/src/psl/psl-hash.ads index d1a60c9..a464ebd 100644 --- a/src/psl/psl-hash.ads +++ b/src/psl/psl-hash.ads @@ -1,3 +1,21 @@ +-- PSL - HDL interface. +-- Copyright (C) 2002-2016 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 PSL.Nodes; use PSL.Nodes; diff --git a/src/psl/psl-nfas-utils.adb b/src/psl/psl-nfas-utils.adb index 0660185..152cd75 100644 --- a/src/psl/psl-nfas-utils.adb +++ b/src/psl/psl-nfas-utils.adb @@ -1,3 +1,21 @@ +-- PSL - Utils +-- Copyright (C) 2002-2016 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 PSL.Errors; use PSL.Errors; package body PSL.NFAs.Utils is diff --git a/src/psl/psl-nfas-utils.ads b/src/psl/psl-nfas-utils.ads index bdbc0d0..f30f665 100644 --- a/src/psl/psl-nfas-utils.ads +++ b/src/psl/psl-nfas-utils.ads @@ -1,3 +1,21 @@ +-- PSL - Utils +-- Copyright (C) 2002-2016 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. + package PSL.NFAs.Utils is -- Sort outgoing edges by expression. procedure Sort_Src_Edges (S : NFA_State); @@ -18,4 +36,3 @@ package PSL.NFAs.Utils is -- Raise Program_Error if N is not internally coherent. procedure Check_NFA (N : NFA); end PSL.NFAs.Utils; - diff --git a/src/psl/psl-nfas.adb b/src/psl/psl-nfas.adb index da4866e..0a43489 100644 --- a/src/psl/psl-nfas.adb +++ b/src/psl/psl-nfas.adb @@ -1,4 +1,22 @@ -with GNAT.Table; +-- PSL - NFA definition +-- Copyright (C) 2002-2016 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 Tables; package body PSL.NFAs is -- Record that describes an NFA. @@ -46,34 +64,31 @@ package body PSL.NFAs is end record; -- Table of NFA. - package Nfat is new GNAT.Table + package Nfat is new Tables (Table_Component_Type => NFA_Node, Table_Index_Type => NFA, Table_Low_Bound => 1, - Table_Initial => 128, - Table_Increment => 100); + Table_Initial => 128); -- List of free nodes. Free_Nfas : NFA := No_NFA; -- Table of States. - package Statet is new GNAT.Table + package Statet is new Tables (Table_Component_Type => NFA_State_Node, Table_Index_Type => NFA_State, Table_Low_Bound => 1, - Table_Initial => 128, - Table_Increment => 100); + Table_Initial => 128); -- List of free states. Free_States : NFA_State := No_State; -- Table of edges. - package Transt is new GNAT.Table + package Transt is new Tables (Table_Component_Type => NFA_Edge_Node, Table_Index_Type => NFA_Edge, Table_Low_Bound => 1, - Table_Initial => 128, - Table_Increment => 100); + Table_Initial => 128); -- List of free edges. Free_Edges : NFA_Edge := No_Edge; diff --git a/src/psl/psl-nfas.ads b/src/psl/psl-nfas.ads index 815acf2..ffcf6fd 100644 --- a/src/psl/psl-nfas.ads +++ b/src/psl/psl-nfas.ads @@ -1,3 +1,21 @@ +-- PSL - NFA definition +-- Copyright (C) 2002-2016 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 PSL.Nodes; use PSL.Nodes; diff --git a/src/psl/psl-nodes.adb b/src/psl/psl-nodes.adb index b5464a1..263994d 100644 --- a/src/psl/psl-nodes.adb +++ b/src/psl/psl-nodes.adb @@ -1,6 +1,23 @@ --- This is in fact -*- Ada -*- +-- PSL - Nodes definition. This is in fact -*- Ada -*- +-- Copyright (C) 2002-2016 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 Ada.Unchecked_Conversion; -with GNAT.Table; +with Tables; with PSL.Errors; with PSL.Hash; with PSL.Nodes_Meta; use PSL.Nodes_Meta; @@ -78,12 +95,11 @@ package body PSL.Nodes is pragma Pack (Node_Record); for Node_Record'Size use 8 * 32; - package Nodet is new GNAT.Table + package Nodet is new Tables (Table_Component_Type => Node_Record, Table_Index_Type => Node, Table_Low_Bound => 1, - Table_Initial => 1024, - Table_Increment => 100); + Table_Initial => 1024); Init_Node : constant Node_Record := (Kind => N_Error, Flag1 => False, diff --git a/src/psl/psl-nodes.adb.in b/src/psl/psl-nodes.adb.in index 775e1d9..0ab97b5 100644 --- a/src/psl/psl-nodes.adb.in +++ b/src/psl/psl-nodes.adb.in @@ -1,6 +1,23 @@ --- This is in fact -*- Ada -*- +-- PSL - Nodes definition. This is in fact -*- Ada -*- +-- Copyright (C) 2002-2016 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 Ada.Unchecked_Conversion; -with GNAT.Table; +with Tables; with PSL.Errors; with PSL.Hash; with PSL.Nodes_Meta; use PSL.Nodes_Meta; @@ -78,12 +95,11 @@ package body PSL.Nodes is pragma Pack (Node_Record); for Node_Record'Size use 8 * 32; - package Nodet is new GNAT.Table + package Nodet is new Tables (Table_Component_Type => Node_Record, Table_Index_Type => Node, Table_Low_Bound => 1, - Table_Initial => 1024, - Table_Increment => 100); + Table_Initial => 1024); Init_Node : constant Node_Record := (Kind => N_Error, Flag1 => False, @@ -385,4 +401,3 @@ package body PSL.Nodes is -- Subprograms end PSL.Nodes; - diff --git a/src/psl/psl-nodes.ads b/src/psl/psl-nodes.ads index b2a9a1c..9d6388c 100644 --- a/src/psl/psl-nodes.ads +++ b/src/psl/psl-nodes.ads @@ -1,3 +1,21 @@ +-- PSL - Nodes definition +-- Copyright (C) 2002-2016 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; package PSL.Nodes is diff --git a/src/psl/psl-nodes_meta.adb b/src/psl/psl-nodes_meta.adb index 2ef5db9..2559ec4 100644 --- a/src/psl/psl-nodes_meta.adb +++ b/src/psl/psl-nodes_meta.adb @@ -343,10 +343,10 @@ package body PSL.Nodes_Meta is Field_Prefix, -- N_Assert_Directive Field_Label, + Field_NFA, Field_Chain, Field_String, Field_Property, - Field_NFA, -- N_Property_Declaration Field_Identifier, Field_Chain, @@ -380,21 +380,21 @@ package body PSL.Nodes_Meta is Field_Chain, Field_Actual, -- N_Sequence_Instance - Field_Declaration, Field_Association_Chain, - -- N_Endpoint_Instance Field_Declaration, + -- N_Endpoint_Instance Field_Association_Chain, - -- N_Property_Instance Field_Declaration, + -- N_Property_Instance Field_Association_Chain, + Field_Declaration, -- N_Actual Field_Chain, Field_Actual, Field_Formal, -- N_Clock_Event - Field_Property, Field_Boolean, + Field_Property, -- N_Always Field_Property, -- N_Never @@ -429,23 +429,23 @@ package body PSL.Nodes_Meta is -- N_Next_Event Field_Strong_Flag, Field_Number, - Field_Property, Field_Boolean, + Field_Property, -- N_Next_Event_A Field_Strong_Flag, Field_Low_Bound, Field_High_Bound, - Field_Property, Field_Boolean, + Field_Property, -- N_Next_Event_E Field_Strong_Flag, Field_Low_Bound, Field_High_Bound, - Field_Property, Field_Boolean, - -- N_Abort Field_Property, + -- N_Abort Field_Boolean, + Field_Property, -- N_Until Field_Strong_Flag, Field_Inclusive_Flag, @@ -483,47 +483,47 @@ package body PSL.Nodes_Meta is Field_Left, Field_Right, -- N_Star_Repeat_Seq - Field_Sequence, Field_Low_Bound, Field_High_Bound, - -- N_Goto_Repeat_Seq Field_Sequence, + -- N_Goto_Repeat_Seq Field_Low_Bound, Field_High_Bound, + Field_Sequence, -- N_Plus_Repeat_Seq Field_Sequence, -- N_Equal_Repeat_Seq - Field_Sequence, Field_Low_Bound, Field_High_Bound, + Field_Sequence, -- N_Not_Bool + Field_Hash, Field_Presence, Field_Boolean, - Field_Hash, Field_Hash_Link, -- N_And_Bool + Field_Hash, Field_Presence, Field_Left, Field_Right, - Field_Hash, Field_Hash_Link, -- N_Or_Bool + Field_Hash, Field_Presence, Field_Left, Field_Right, - Field_Hash, Field_Hash_Link, -- N_Imp_Bool + Field_Hash, Field_Presence, Field_Left, Field_Right, - Field_Hash, Field_Hash_Link, -- N_HDL_Expr - Field_Presence, Field_HDL_Node, Field_HDL_Index, Field_Hash, + Field_Presence, Field_Hash_Link, -- N_False -- N_True diff --git a/src/psl/psl-optimize.adb b/src/psl/psl-optimize.adb index 4ca62b8..9ff9b1a 100644 --- a/src/psl/psl-optimize.adb +++ b/src/psl/psl-optimize.adb @@ -1,3 +1,21 @@ +-- PSL - Optimize NFA +-- Copyright (C) 2002-2016 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 PSL.NFAs.Utils; use PSL.NFAs.Utils; with PSL.CSE; diff --git a/src/psl/psl-optimize.ads b/src/psl/psl-optimize.ads index 5f36a07..80dc33c 100644 --- a/src/psl/psl-optimize.ads +++ b/src/psl/psl-optimize.ads @@ -1,3 +1,21 @@ +-- PSL - Optimize NFA +-- Copyright (C) 2002-2016 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 PSL.NFAs; use PSL.NFAs; with PSL.Nodes; use PSL.Nodes; diff --git a/src/psl/psl-prints.adb b/src/psl/psl-prints.adb index 80da47d..19d7c39 100644 --- a/src/psl/psl-prints.adb +++ b/src/psl/psl-prints.adb @@ -1,3 +1,21 @@ +-- PSL - Pretty print +-- Copyright (C) 2002-2016 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 PSL.Errors; use PSL.Errors; with Name_Table; use Name_Table; @@ -430,4 +448,3 @@ package body PSL.Prints is Put_Line ("}"); end Print_Unit; end PSL.Prints; - diff --git a/src/psl/psl-prints.ads b/src/psl/psl-prints.ads index 18a36f7..920ca59 100644 --- a/src/psl/psl-prints.ads +++ b/src/psl/psl-prints.ads @@ -1,3 +1,21 @@ +-- PSL - Pretty print +-- Copyright (C) 2002-2016 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 PSL.Nodes; use PSL.Nodes; with PSL.Priorities; use PSL.Priorities; @@ -17,4 +35,3 @@ package PSL.Prints is procedure Dump_Expr (N : Node); end PSL.Prints; - diff --git a/src/psl/psl-priorities.ads b/src/psl/psl-priorities.ads index cb49239..48e11ed 100644 --- a/src/psl/psl-priorities.ads +++ b/src/psl/psl-priorities.ads @@ -1,3 +1,21 @@ +-- PSL - Operator priorities +-- Copyright (C) 2002-2016 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. + package PSL.Priorities is -- Operator priorities, defined by PSL1.1 4.2.3.2 type Priority is diff --git a/src/psl/psl-qm.adb b/src/psl/psl-qm.adb index f5b5e1d..719329b 100644 --- a/src/psl/psl-qm.adb +++ b/src/psl/psl-qm.adb @@ -1,3 +1,21 @@ +-- PSL - Small QM reduction +-- Copyright (C) 2002-2016 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 Ada.Text_IO; with Types; use Types; with PSL.Errors; use PSL.Errors; diff --git a/src/psl/psl-qm.ads b/src/psl/psl-qm.ads index 85f1e3c..b5db759 100644 --- a/src/psl/psl-qm.ads +++ b/src/psl/psl-qm.ads @@ -1,3 +1,21 @@ +-- PSL - Small QM reduction +-- Copyright (C) 2002-2016 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 PSL.Nodes; use PSL.Nodes; with Interfaces; use Interfaces; @@ -44,6 +62,3 @@ private Set : Set_Type (1 .. Max); end record; end PSL.QM; - - - diff --git a/src/psl/psl-subsets.adb b/src/psl/psl-subsets.adb index f322eaf..6b0e5d5 100644 --- a/src/psl/psl-subsets.adb +++ b/src/psl/psl-subsets.adb @@ -1,3 +1,21 @@ +-- PSL - Simple subset +-- Copyright (C) 2002-2016 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 PSL.Errors; use PSL.Errors; with Types; use Types; @@ -174,4 +192,3 @@ package body PSL.Subsets is end case; end Check_Simple; end PSL.Subsets; - diff --git a/src/psl/psl-subsets.ads b/src/psl/psl-subsets.ads index c3bae09..7ba2b80 100644 --- a/src/psl/psl-subsets.ads +++ b/src/psl/psl-subsets.ads @@ -1,3 +1,21 @@ +-- PSL - Simple subset +-- Copyright (C) 2002-2016 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 PSL.Nodes; use PSL.Nodes; package PSL.Subsets is diff --git a/src/psl/psl-tprint.adb b/src/psl/psl-tprint.adb index eabe8bd..3165750 100644 --- a/src/psl/psl-tprint.adb +++ b/src/psl/psl-tprint.adb @@ -1,3 +1,21 @@ +-- PSL - Printer +-- Copyright (C) 2002-2016 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 PSL.Errors; use PSL.Errors; with PSL.Prints; @@ -252,4 +270,3 @@ package body PSL.Tprint is Put_Line ("}"); end Disp_Unit; end PSL.Tprint; - diff --git a/src/psl/psl-tprint.ads b/src/psl/psl-tprint.ads index 1b06ebf..6207b3c 100644 --- a/src/psl/psl-tprint.ads +++ b/src/psl/psl-tprint.ads @@ -1,3 +1,21 @@ +-- PSL - Printer +-- Copyright (C) 2002-2016 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 PSL.Nodes; use PSL.Nodes; package PSL.Tprint is diff --git a/src/psl/psl.ads b/src/psl/psl.ads index a2f4bdc..2a882f5 100644 --- a/src/psl/psl.ads +++ b/src/psl/psl.ads @@ -1,3 +1,21 @@ +-- PSL +-- Copyright (C) 2002-2016 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. + package PSL is pragma Pure (PSL); end PSL; |