diff options
author | Jing Yu <jingyu@google.com> | 2009-11-05 15:11:04 -0800 |
---|---|---|
committer | Jing Yu <jingyu@google.com> | 2009-11-05 15:11:04 -0800 |
commit | df62c1c110e8532b995b23540b7e3695729c0779 (patch) | |
tree | dbbd4cbdb50ac38011e058a2533ee4c3168b0205 /gcc-4.2.1/gcc/ada/sem_cat.ads | |
parent | 8d401cf711539af5a2f78d12447341d774892618 (diff) | |
download | toolchain_gcc-df62c1c110e8532b995b23540b7e3695729c0779.tar.gz toolchain_gcc-df62c1c110e8532b995b23540b7e3695729c0779.tar.bz2 toolchain_gcc-df62c1c110e8532b995b23540b7e3695729c0779.zip |
Check in gcc sources for prebuilt toolchains in Eclair.
Diffstat (limited to 'gcc-4.2.1/gcc/ada/sem_cat.ads')
-rw-r--r-- | gcc-4.2.1/gcc/ada/sem_cat.ads | 140 |
1 files changed, 140 insertions, 0 deletions
diff --git a/gcc-4.2.1/gcc/ada/sem_cat.ads b/gcc-4.2.1/gcc/ada/sem_cat.ads new file mode 100644 index 000000000..7296bbe56 --- /dev/null +++ b/gcc-4.2.1/gcc/ada/sem_cat.ads @@ -0,0 +1,140 @@ +------------------------------------------------------------------------------ +-- -- +-- GNAT COMPILER COMPONENTS -- +-- -- +-- S E M _ C A T -- +-- -- +-- S p e c -- +-- -- +-- Copyright (C) 1992-2005, Free Software Foundation, Inc. -- +-- -- +-- GNAT is free software; you can redistribute it and/or modify it under -- +-- terms of the GNU General Public License as published by the Free Soft- -- +-- ware Foundation; either version 2, or (at your option) any later ver- -- +-- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- +-- OUT 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 distributed with GNAT; see file COPYING. If not, write -- +-- to the Free Software Foundation, 51 Franklin Street, Fifth Floor, -- +-- Boston, MA 02110-1301, USA. -- +-- -- +-- GNAT was originally developed by the GNAT team at New York University. -- +-- Extensive contributions were provided by Ada Core Technologies Inc. -- +-- -- +------------------------------------------------------------------------------ + +-- This unit contains the routines used for checking for conformance with +-- the semantic restrictions required for the categorization pragmas: +-- +-- Preelaborate +-- Pure, +-- Remote_Call_Interface +-- Remote_Types +-- Shared_Passive +-- +-- Note that we treat Preelaborate as a categorization pragma, even though +-- strictly, according to RM E.2(2,3), the term does not apply in this case. + +with Types; use Types; + +package Sem_Cat is + + function In_Preelaborated_Unit return Boolean; + -- Determines if the current scope is within a preelaborated compilation + -- unit, that is one to which one of the pragmas Preelaborate, Pure, + -- Shared_Passive, Remote_Types, or inside a unit other than a package + -- body with pragma Remote_Call_Interface. + + function In_Pure_Unit return Boolean; + pragma Inline (In_Pure_Unit); + -- Determines if the current scope is within pure compilation unit, + -- that is, one to which the pragmas Pure is applied. + + function In_Subprogram_Task_Protected_Unit return Boolean; + -- Determines if the current scope is within a subprogram, task + -- or protected unit. Used to validate if the library unit is Pure + -- (RM 10.2.1(16)). + + procedure Set_Categorization_From_Pragmas (N : Node_Id); + -- Since validation of categorization dependency is done during Analyze, + -- categorization flags from following pragmas should be set before + -- validation begin. N is the N_Compilation_Unit node. + + procedure Set_Categorization_From_Scope (E : Entity_Id; Scop : Entity_Id); + -- Set categorization flags Pure, Remote_Call_Interface and Remote_Types + -- on entity E according to those of Scop. + + procedure Validate_Access_Type_Declaration (T : Entity_Id; N : Node_Id); + -- Validate all constraints against declaration of access types in + -- categorized library units. Usually this is a violation in Pure unit, + -- Shared_Passive unit. N is the declaration node. + + procedure Validate_Ancestor_Part (N : Node_Id); + -- Checks that a type given as the ancestor in an extension aggregate + -- satisfies the restriction of 10.2.1(9). + + procedure Validate_Categorization_Dependency (N : Node_Id; E : Entity_Id); + -- There are restrictions on lib unit that semantically depends on other + -- units (RM E.2(5), 10.2.1(11). This procedure checks the restrictions + -- on categorizations. N is the current unit node, and E is the current + -- library unit entity. + + procedure Validate_Controlled_Object (E : Entity_Id); + -- Given an entity for a library level controlled object, check that it is + -- not in a preelaborated unit (prohibited by RM 10.2.1(9)). + + procedure Validate_Null_Statement_Sequence (N : Node_Id); + -- Given N, a package body node, check that a handled statement sequence + -- in a preelaborable body contains no statements other than labels or + -- null statements, as required by RM 10.2.1(6). + + procedure Validate_Object_Declaration (N : Node_Id); + -- Given N, an object declaration node, validates all the constraints in + -- a preelaborable library unit, including creation of task objects etc. + -- Note that this is called when the corresponding object is frozen since + -- the checks cannot be made before knowing if the object is imported. + + procedure Validate_RCI_Declarations (P : Entity_Id); + -- Apply semantic checks given in E2.3(10-14) + + procedure Validate_RCI_Subprogram_Declaration (N : Node_Id); + -- Check for RCI unit subprogram declarations with respect to + -- in-lined subprogram and subprogram with access parameter or + -- limited type parameter without Read and Write. + + procedure Validate_Remote_Access_To_Class_Wide_Type (N : Node_Id); + -- Checks that Storage_Pool and Storage_Size attribute references are + -- not applied to remote access-to-class-wide types. And the expected + -- type for an allocator shall not be a remote access-to-class-wide + -- type. And a remote access-to-class-wide type shall not be an actual + -- parameter for a generic formal access type. RM E.2.3(22). + + procedure Validate_RT_RAT_Component (N : Node_Id); + -- Given N, the package library unit declaration node, we should check + -- against RM:9.95 E.2.2(8): the full view of a type declared in the + -- visible part of a Remote Types unit has a part that is of a non-remote + -- access type which has no read/write. + + procedure Validate_Remote_Type_Type_Conversion (N : Node_Id); + -- Check for remote-type type conversion constraints. First, a value of + -- a remote access-to-subprogram type can be converted only to another + -- type conformant remote access-to-subprogram type. Secondly, a value + -- of a remote access-to-class-wide type can be converted only to another + -- remote access-to-class-wide type (RM E.2.3(17,20)). + + procedure Validate_SP_Access_Object_Type_Decl (T : Entity_Id); + -- Check validity of declaration if shared passive unit. It should not + -- contain the declaration of an access-to-object type whose designated + -- type is a class-wide type ,task type or protected type. E.2.1(7). + -- T is the entity of the declared type. + + procedure Validate_Static_Object_Name (N : Node_Id); + -- In the elaboration code of a preelaborated library unit, check + -- that we do not have the evaluation of a primary that is a name of + -- an object, unless the name is a static expression (RM 10.2.1(8)). + -- Non-static constant and variable are the targets, generic parameters + -- are not included because the generic declaration and body are + -- preelaborable. + +end Sem_Cat; |