diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-02 15:25:25 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-02 15:25:25 +0000 |
| commit | b860aaecb469f6a7449cce34e96b9beab75e0adc (patch) | |
| tree | ffce63d4e87a8d73bf0ba2edf33ccda1cdab0cd0 /gcc/ada/restrict.ads | |
| parent | 6cb4b97331605fe09d8f160813c344e9edcc8f99 (diff) | |
| download | gcc-b860aaecb469f6a7449cce34e96b9beab75e0adc.tar.gz | |
2011-08-02 Robert Dewar <dewar@adacore.com>
* exp_ch9.adb, exp_sel.adb, restrict.ads, exp_disp.adb, erroutc.ads,
exp_ch3.adb: Minor reformatting.
2011-08-02 Emmanuel Briot <briot@adacore.com>
* adaint.c (__gnat_locate_exec_on_path): only returns executable
files, not any regular file.
(__gnat_locate_file_with_predicate): new subprogram.
2011-08-02 Yannick Moy <moy@adacore.com>
* sinfo.adb, sinfo.ads: Restrict the use of flags
Has_Dynamic_Length_Check and Has_Dynamic_Range_Check to expression
nodes, plus N_Subtype_Declaration for the 2nd one.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177180 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/restrict.ads')
| -rw-r--r-- | gcc/ada/restrict.ads | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/gcc/ada/restrict.ads b/gcc/ada/restrict.ads index 001d13166bb..5472d056ee1 100644 --- a/gcc/ada/restrict.ads +++ b/gcc/ada/restrict.ads @@ -185,6 +185,10 @@ package Restrict is -- The table contains pairs of source locations, the first being the start -- location for hidden region, and the second being the end location. + -- Note that the start location is included in the hidden region, while + -- the end location is excluded from it. (It typically corresponds to the + -- next token during scanning.) + type SPARK_Hide_Entry is record Start : Source_Ptr; Stop : Source_Ptr; @@ -310,8 +314,8 @@ package Restrict is function Get_Restriction_Id (N : Name_Id) return Restriction_Id; -- Given an identifier name, determines if it is a valid restriction - -- identifier, and if so returns the corresponding Restriction_Id - -- value, otherwise returns Not_A_Restriction_Id. + -- identifier, and if so returns the corresponding Restriction_Id value, + -- otherwise returns Not_A_Restriction_Id. function Is_In_Hidden_Part_In_SPARK (Loc : Source_Ptr) return Boolean; -- Determine if given location is covered by a hidden region range in the @@ -358,9 +362,9 @@ package Restrict is function Restricted_Profile return Boolean; -- Tests if set of restrictions corresponding to Profile (Restricted) is - -- currently in effect (set by pragma Profile, or by an appropriate set - -- of individual Restrictions pragmas). Returns True only if all the - -- required restrictions are set. + -- currently in effect (set by pragma Profile, or by an appropriate set of + -- individual Restrictions pragmas). Returns True only if all the required + -- restrictions are set. procedure Set_Hidden_Part_In_SPARK (Loc1, Loc2 : Source_Ptr); -- Insert a new hidden region range in the SPARK hides table @@ -394,8 +398,8 @@ package Restrict is (Unit : Node_Id; Warn : Boolean; Profile : Profile_Name := No_Profile); - -- Sets given No_Dependence restriction in table if not there already. - -- Warn is True if from Restriction_Warnings, or for Restrictions if flag + -- Sets given No_Dependence restriction in table if not there already. Warn + -- is True if from Restriction_Warnings, or for Restrictions if the flag -- Treat_Restrictions_As_Warnings is set. False if from Restrictions and -- this flag is not set. Profile is set to a non-default value if the -- No_Dependence restriction comes from a Profile pragma. |