vhdl: move std_standard package to vhdl child.

1 files changed, 202 insertions, 0 deletions

diff --git a/src/vhdl/vhdl-std_package.ads b/src/vhdl/vhdl-std_package.ads
new file mode 100644
index 000000000..f20364e10
--- /dev/null
+++ b/src/vhdl/vhdl-std_package.ads
@@ -0,0 +1,202 @@
+--  std.standard package declarations.
+--  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 Types; use Types;
+with Iirs; use Iirs;
+
+package Vhdl.Std_Package is
+
+   --  This is a special node, not really declared in the STANDARD package,
+   --  used to mark a node as erroneous.
+   --  Its kind is Iir_Kind_Error.
+   Error_Mark : constant Iir;
+
+   --  Virtual file and location for the standard package.
+   Std_Source_File : Source_File_Entry := No_Source_File_Entry;
+   Std_Location: Location_Type := Location_Nil;
+
+   -- Some well know values declared in the STANDARD package.
+   -- These values (except time_base) *must* not be modified, and are set by
+   -- create_std_standard_package.
+
+   Std_Standard_File: Iir_Design_File := Null_Iir;
+   Std_Standard_Unit : Iir_Design_Unit := Null_Iir;
+   Standard_Package : Iir_Package_Declaration := Null_Iir;
+
+   -- Boolean values.
+   Boolean_Type_Declaration : Iir_Type_Declaration := Null_Iir;
+   Boolean_Type_Definition : Iir_Enumeration_Type_Definition;
+   Boolean_False : Iir_Enumeration_Literal;
+   Boolean_True : Iir_Enumeration_Literal;
+
+   -- Bit values.
+   Bit_Type_Declaration : Iir_Type_Declaration := Null_Iir;
+   Bit_Type_Definition : Iir_Enumeration_Type_Definition;
+   Bit_0 : Iir_Enumeration_Literal;
+   Bit_1 : Iir_Enumeration_Literal;
+
+   -- Predefined character.
+   Character_Type_Declaration : Iir_Type_Declaration;
+   Character_Type_Definition : Iir_Enumeration_Type_Definition;
+
+   -- severity level.
+   Severity_Level_Type_Declaration : Iir_Type_Declaration;
+   Severity_Level_Type_Definition : Iir_Enumeration_Type_Definition;
+   Severity_Level_Note : Iir_Enumeration_Literal;
+   Severity_Level_Warning : Iir_Enumeration_Literal;
+   Severity_Level_Error : Iir_Enumeration_Literal;
+   Severity_Level_Failure : Iir_Enumeration_Literal;
+
+   -- Universal types.
+   Universal_Integer_Type_Declaration : Iir_Anonymous_Type_Declaration;
+   Universal_Integer_Type_Definition : constant Iir_Integer_Type_Definition;
+   Universal_Integer_Subtype_Declaration : Iir_Subtype_Declaration;
+   Universal_Integer_Subtype_Definition : Iir_Integer_Subtype_Definition;
+
+   Universal_Integer_One : Iir_Integer_Literal;
+
+   Universal_Real_Type_Declaration : Iir_Anonymous_Type_Declaration;
+   Universal_Real_Type_Definition : constant Iir_Floating_Type_Definition;
+   Universal_Real_Subtype_Declaration : Iir_Subtype_Declaration;
+   Universal_Real_Subtype_Definition : Iir_Floating_Subtype_Definition;
+
+   -- Predefined integer type.
+   Integer_Type_Declaration : Iir_Anonymous_Type_Declaration;
+   Integer_Type_Definition : Iir_Integer_Type_Definition;
+   Integer_Subtype_Declaration : Iir_Subtype_Declaration;
+   Integer_Subtype_Definition : Iir_Integer_Subtype_Definition;
+
+   --  Type used when the type of an expression is incorrect.
+   Error_Type : Iir;
+
+   -- Predefined real type.
+   Real_Type_Declaration : Iir_Anonymous_Type_Declaration;
+   Real_Type_Definition : Iir_Floating_Type_Definition;
+   Real_Subtype_Declaration : Iir_Subtype_Declaration;
+   Real_Subtype_Definition : Iir_Floating_Subtype_Definition;
+
+   -- Predefined natural subtype.
+   Natural_Subtype_Declaration : Iir_Subtype_Declaration;
+   Natural_Subtype_Definition : Iir_Integer_Subtype_Definition;
+
+   -- Predefined positive subtype.
+   Positive_Subtype_Declaration : Iir_Subtype_Declaration;
+   Positive_Subtype_Definition : Iir_Integer_Subtype_Definition;
+
+   -- Predefined positive subtype.
+   String_Type_Declaration : Iir_Type_Declaration;
+   String_Type_Definition : Iir_Array_Type_Definition;
+
+   -- Predefined positive subtype.
+   Bit_Vector_Type_Declaration : Iir_Type_Declaration;
+   Bit_Vector_Type_Definition : Iir_Array_Type_Definition;
+
+   -- predefined time subtype
+   Time_Type_Declaration : Iir_Anonymous_Type_Declaration;
+   Time_Type_Definition: Iir_Physical_Type_Definition;
+   Time_Subtype_Definition: Iir_Physical_Subtype_Definition;
+   Time_Subtype_Declaration : Iir_Subtype_Declaration;
+
+   --  For VHDL-93
+   Delay_Length_Subtype_Definition : Iir_Physical_Subtype_Definition;
+   Delay_Length_Subtype_Declaration : Iir_Subtype_Declaration;
+
+   --  For VHDL-93:
+   --  type File_Open_Kind
+   File_Open_Kind_Type_Declaration : Iir_Type_Declaration;
+   File_Open_Kind_Type_Definition : Iir_Enumeration_Type_Definition;
+   File_Open_Kind_Read_Mode : Iir_Enumeration_Literal;
+   File_Open_Kind_Write_Mode : Iir_Enumeration_Literal;
+   File_Open_Kind_Append_Mode : Iir_Enumeration_Literal;
+
+   --  For VHDL-93:
+   --  type File_Open_Status
+   File_Open_Status_Type_Declaration : Iir_Type_Declaration;
+   File_Open_Status_Type_Definition : Iir_Enumeration_Type_Definition;
+   File_Open_Status_Open_Ok : Iir_Enumeration_Literal;
+   File_Open_Status_Status_Error : Iir_Enumeration_Literal;
+   File_Open_Status_Name_Error : Iir_Enumeration_Literal;
+   File_Open_Status_Mode_Error : Iir_Enumeration_Literal;
+
+   --  For VHDL-93:
+   --    atribute foreign : string;
+   Foreign_Attribute : Iir_Attribute_Declaration;
+
+   --  For VHDL-08
+   Boolean_Vector_Type_Definition : Iir_Array_Type_Definition;
+   Boolean_Vector_Type_Declaration : Iir_Type_Declaration;
+
+   Integer_Vector_Type_Definition : Iir_Array_Type_Definition;
+   Integer_Vector_Type_Declaration : Iir_Type_Declaration;
+
+   Real_Vector_Type_Definition : Iir_Array_Type_Definition;
+   Real_Vector_Type_Declaration : Iir_Type_Declaration;
+
+   Time_Vector_Type_Definition : Iir_Array_Type_Definition;
+   Time_Vector_Type_Declaration : Iir_Type_Declaration;
+
+   --  Internal use only.
+   --  These types should be considered like universal types, but
+   --  furthermore, they can be converted to any integer/real types while
+   --  universal cannot.
+   Convertible_Integer_Type_Definition : constant Iir_Integer_Type_Definition;
+   Convertible_Real_Type_Definition : constant Iir_Floating_Type_Definition;
+   Convertible_Integer_Type_Declaration : Iir_Anonymous_Type_Declaration;
+   Convertible_Real_Type_Declaration : Iir_Anonymous_Type_Declaration;
+
+   Convertible_Integer_Subtype_Definition : Iir_Integer_Subtype_Definition;
+   Convertible_Integer_Subtype_Declaration : Iir_Subtype_Declaration;
+
+   --  Wilcard types.
+   --  Err, we break privacy for iir numbers, but this allow use of them in
+   --  case statements.
+   Wildcard_Any_Type : constant Iir := 7;
+   Wildcard_Any_Aggregate_Type : constant Iir := 8;
+   Wildcard_Any_String_Type : constant Iir := 9;
+   Wildcard_Any_Access_Type : constant Iir := 10;
+
+   --  Subtype for all wildcard types, so that missing choice can be detected
+   --  at compilation time.
+   subtype Iir_Wildcard_Types is Iir range 7 .. 10;
+
+   --  Chain of wildcard declarations, to own the nodes.
+   Wildcard_Type_Declaration_Chain : Iir;
+
+   --  Create the first well-known nodes.
+   procedure Create_First_Nodes;
+
+   --  Create the node for the standard package.
+   procedure Create_Std_Standard_Package (Parent : Iir_Library_Declaration);
+
+   procedure Set_Time_Resolution (Resolution : Character);
+
+   --  Return the minimal time resolution according to use of time units.
+   function Get_Minimal_Time_Resolution return Character;
+private
+   --  For speed reasons, some often used nodes are hard-coded.
+   Error_Mark : constant Iir := 2;
+   Universal_Integer_Type_Definition : constant Iir_Integer_Type_Definition
+     := 3;
+   Universal_Real_Type_Definition : constant Iir_Floating_Type_Definition
+     := 4;
+
+   Convertible_Integer_Type_Definition : constant Iir_Integer_Type_Definition
+     := 5;
+   Convertible_Real_Type_Definition : constant Iir_Floating_Type_Definition
+     := 6;
+end Vhdl.Std_Package;