* config/arm/elf.h (ASM_OUTPUT_ALIGNED_COMMON): Remove definition.
[official-gcc.git] / gcc / ada / sem_cat.ads
blobbd3f395bd1a7043c7d21476d180cc30578efff29
1 ------------------------------------------------------------------------------
2 -- --
3 -- GNAT COMPILER COMPONENTS --
4 -- --
5 -- S E M _ C A T --
6 -- --
7 -- S p e c --
8 -- --
9 -- Copyright (C) 1992-2000 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 2, 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 COPYING. If not, write --
19 -- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, --
20 -- MA 02111-1307, USA. --
21 -- --
22 -- GNAT was originally developed by the GNAT team at New York University. --
23 -- Extensive contributions were provided by Ada Core Technologies Inc. --
24 -- --
25 ------------------------------------------------------------------------------
27 -- This unit contains the routines used for checking for conformance with
28 -- the semantic restrictions required for the categorization pragmas:
30 -- Preelaborate
31 -- Pure,
32 -- Remote_Call_Interface
33 -- Remote_Types
34 -- Shared_Passive
36 -- Note that we treat Preelaborate as a categorization pragma, even though
37 -- strictly, according to RM E.2(2,3), the term does not apply in this case.
39 with Types; use Types;
41 package Sem_Cat is
43 function In_Preelaborated_Unit return Boolean;
44 -- Determines if the current scope is within a preelaborated compilation
45 -- unit, that is one to which one of the pragmas Preelaborate, Pure,
46 -- Shared_Passive, Remote_Types, or inside a unit other than a package
47 -- body with pragma Remote_Call_Interface.
49 function In_Pure_Unit return Boolean;
50 pragma Inline (In_Pure_Unit);
51 -- Determines if the current scope is within pure compilation unit,
52 -- that is, one to which the pragmas Pure is applied.
54 function In_Subprogram_Task_Protected_Unit return Boolean;
55 -- Determines if the current scope is within a subprogram, task
56 -- or protected unit. Used to validate if the library unit is Pure
57 -- (RM 10.2.1(16)).
59 procedure Set_Categorization_From_Pragmas (N : Node_Id);
60 -- Since validation of categorization dependency is done during analyze
61 -- so categorization flags from following pragmas should be set before
62 -- validation begin. N is the N_Compilation_Unit node.
64 procedure Validate_Access_Type_Declaration (T : Entity_Id; N : Node_Id);
65 -- Validate all constraints against declaration of access types in
66 -- categorized library units. Usually this is a violation in Pure unit,
67 -- Shared_Passive unit. N is the declaration node.
69 procedure Validate_Ancestor_Part (N : Node_Id);
70 -- Checks that a type given as the ancestor in an extension aggregate
71 -- satisfies the restriction of 10.2.1(9).
73 procedure Validate_Categorization_Dependency (N : Node_Id; E : Entity_Id);
74 -- There are restrictions on lib unit that semantically depends on other
75 -- units (RM E.2(5), 10.2.1(11). This procedure checks the restrictions
76 -- on categorizations. N is the current unit node, and E is the current
77 -- library unit entity.
79 procedure Validate_Controlled_Object (E : Entity_Id);
80 -- Given an entity for a library level controlled object, check that it is
81 -- not in a preelaborated unit (prohibited by RM 10.2.1(9)).
83 procedure Validate_Null_Statement_Sequence (N : Node_Id);
84 -- Given N, a package body node, check that a handled statement sequence
85 -- in a preelaborable body contains no statements other than labels or
86 -- null statements, as required by RM 10.2.1(6).
88 procedure Validate_Object_Declaration (N : Node_Id);
89 -- Given N, an object declaration node, validates all the constraints in
90 -- a preelaborable library unit, including creation of task objects etc.
91 -- Note that this is called when the corresponding object is frozen since
92 -- the checks cannot be made before knowing if the object is imported.
94 procedure Validate_RCI_Declarations (P : Entity_Id);
95 -- Apply semantic checks given in E2.3(10-14).
97 procedure Validate_RCI_Subprogram_Declaration (N : Node_Id);
98 -- Check for RCI unit subprogram declarations with respect to
99 -- in-lined subprogram and subprogram with access parameter or
100 -- limited type parameter without Read and Write.
102 procedure Validate_Remote_Access_To_Class_Wide_Type (N : Node_Id);
103 -- Checks that Storage_Pool and Storage_Size attribute references are
104 -- not applied to remote access-to-class-wide types. And the expected
105 -- type for an allocator shall not be a remote access-to-class-wide
106 -- type. And a remote access-to-class-wide type shall not be an actual
107 -- parameter for a generic formal access type. RM E.2.3(22).
109 procedure Validate_Remote_Access_To_Subprogram_Type (N : Node_Id);
110 -- Checks that a remote access to subprogram type does not have a
111 -- parameter of an access type. This is not strictly forbidden at this
112 -- time, but this is useless, as such a RAS type will not be usable
113 -- per E.2.2(12) and E.2.3(14).
115 procedure Validate_RT_RAT_Component (N : Node_Id);
116 -- Given N, the package library unit declaration node, we should check
117 -- against RM:9.95 E.2.2(8): the full view of a type declared in the
118 -- visible part of a Remote Types unit has a part that is of a non-remote
119 -- access type which has no read/write.
121 procedure Validate_Remote_Type_Type_Conversion (N : Node_Id);
122 -- Check for remote-type type conversion constraints. First, a value of
123 -- a remote access-to-subprogram type can be converted only to another
124 -- type conformant remote access-to-subprogram type. Secondly, a value
125 -- of a remote access-to-class-wide type can be converted only to another
126 -- remote access-to-class-wide type (RM E.2.3(17,20)).
128 procedure Validate_SP_Access_Object_Type_Decl (T : Entity_Id);
129 -- Check validity of declaration if shared passive unit. It should not
130 -- contain the declaration of an access-to-object type whose designated
131 -- type is a class-wide type ,task type or protected type. E.2.1(7).
132 -- T is the entity of the declared type.
134 procedure Validate_Static_Object_Name (N : Node_Id);
135 -- In the elaboration code of a preelaborated library unit, check
136 -- that we do not have the evaluation of a primary that is a name of
137 -- an object, unless the name is a static expression (RM 10.2.1(8)).
138 -- Non-static constant and variable are the targets, generic parameters
139 -- are not included because the generic declaration and body are
140 -- preelaborable.
142 end Sem_Cat;