OpenCores
URL https://opencores.org/ocsvn/openrisc_me/openrisc_me/trunk

Subversion Repositories openrisc_me

[/] [openrisc/] [trunk/] [gnu-src/] [gcc-4.5.1/] [gcc/] [ada/] [exp_sel.ads] - Blame information for rev 290

Go to most recent revision | Details | Compare with Previous | View Log

Line No. Rev Author Line
1 281 jeremybenn
------------------------------------------------------------------------------
2
--                                                                          --
3
--                         GNAT COMPILER COMPONENTS                         --
4
--                                                                          --
5
--                              E X P _ S E L                               --
6
--                                                                          --
7
--                                 S p e c                                  --
8
--                                                                          --
9
--          Copyright (C) 1992-2007, Free Software Foundation, Inc.         --
10
--                                                                          --
11
-- GNAT is free software;  you can  redistribute it  and/or modify it under --
12
-- terms of the  GNU General Public License as published  by the Free Soft- --
13
-- ware  Foundation;  either version 3,  or (at your option) any later ver- --
14
-- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
15
-- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
16
-- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License --
17
-- for  more details.  You should have  received  a copy of the GNU General --
18
-- Public License  distributed with GNAT; see file COPYING3.  If not, go to --
19
-- http://www.gnu.org/licenses for a complete copy of the license.          --
20
--                                                                          --
21
-- GNAT was originally developed  by the GNAT team at  New York University. --
22
-- Extensive contributions were provided by Ada Core Technologies Inc.      --
23
--                                                                          --
24
------------------------------------------------------------------------------
25
 
26
--  Routines used in Chapter 9 for the expansion of dispatching triggers in
27
--  select statements (Ada 2005: AI-345)
28
 
29
with Types; use Types;
30
 
31
package Exp_Sel is
32
 
33
   function Build_Abort_Block
34
     (Loc         : Source_Ptr;
35
      Abr_Blk_Ent : Entity_Id;
36
      Cln_Blk_Ent : Entity_Id;
37
      Blk         : Node_Id) return Node_Id;
38
   --  Generate:
39
   --    begin
40
   --       Blk
41
   --    exception
42
   --       when Abort_Signal => Abort_Undefer;
43
   --    end;
44
   --  Abr_Blk_Ent is the name of the generated block, Cln_Blk_Ent is the name
45
   --  of the encapsulated cleanup block, Blk is the actual block name.
46
 
47
   function Build_B
48
     (Loc   : Source_Ptr;
49
      Decls : List_Id) return Entity_Id;
50
   --  Generate:
51
   --    B : Boolean := False;
52
   --  Append the object declaration to the list and return its defining
53
   --  identifier.
54
 
55
   function Build_C
56
     (Loc   : Source_Ptr;
57
      Decls : List_Id) return Entity_Id;
58
   --  Generate:
59
   --    C : Ada.Tags.Prim_Op_Kind;
60
   --  Append the object declaration to the list and return its defining
61
   --  identifier.
62
 
63
   function Build_Cleanup_Block
64
     (Loc       : Source_Ptr;
65
      Blk_Ent   : Entity_Id;
66
      Stmts     : List_Id;
67
      Clean_Ent : Entity_Id) return Node_Id;
68
   --  Generate:
69
   --    declare
70
   --       procedure _clean is
71
   --       begin
72
   --          ...
73
   --       end _clean;
74
   --    begin
75
   --       Stmts
76
   --    at end
77
   --       _clean;
78
   --    end;
79
   --  Blk_Ent is the name of the generated block, Stmts is the list of
80
   --  encapsulated statements and Clean_Ent is the parameter to the
81
   --  _clean procedure.
82
 
83
   function Build_K
84
     (Loc   : Source_Ptr;
85
      Decls : List_Id;
86
      Obj   : Entity_Id) return Entity_Id;
87
   --  Generate
88
   --    K : Ada.Tags.Tagged_Kind :=
89
   --          Ada.Tags.Get_Tagged_Kind (Ada.Tags.Tag (Obj));
90
   --  where Obj is the pointer to a secondary table. Append the object
91
   --  declaration to the list and return its defining identifier.
92
 
93
   function Build_S
94
     (Loc  : Source_Ptr;
95
      Decls : List_Id) return Entity_Id;
96
   --  Generate:
97
   --    S : Integer;
98
   --  Append the object declaration to the list and return its defining
99
   --  identifier.
100
 
101
   function Build_S_Assignment
102
     (Loc      : Source_Ptr;
103
      S        : Entity_Id;
104
      Obj      : Entity_Id;
105
      Call_Ent : Entity_Id) return Node_Id;
106
   --  Generate:
107
   --    S := Ada.Tags.Get_Offset_Index (
108
   --           Ada.Tags.Tag (Obj), DT_Position (Call_Ent));
109
   --  where Obj is the pointer to a secondary table, Call_Ent is the entity
110
   --  of the dispatching call name. Return the generated assignment.
111
 
112
end Exp_Sel;

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.