diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-07-08 07:59:55 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-07-08 07:59:55 +0000 |
| commit | 6fa15140566dbcf53cfc05d349e8fe428e3109b3 (patch) | |
| tree | 40aba15e0eff5197ee547a88d9b4e93b5fa34349 /gcc/ada/restrict.ads | |
| parent | ac2e34a7cb04165799dbb006ccbbe03ed0408f1c (diff) | |
| download | gcc-6fa15140566dbcf53cfc05d349e8fe428e3109b3.tar.gz | |
2013-07-08 Gary Dismukes <dismukes@adacore.com>
* freeze.adb: Minor typo fixes.
2013-07-08 Robert Dewar <dewar@adacore.com>
* gnat_rm.texi: Document SPARK_05 (replaces SPARK) Document
obsolete recognition of SPARK Document all other obsolete synonyms
for old restrictions.
* restrict.adb (Check_SPARK_Restriction): SPARK_05 replaces
SPARK (Process_Restriction_Synonyms): Handle SPARK as synonym
for SPARK_05.
* restrict.ads: Restriction SPARK_05 replaces SPARK.
* s-rident.ads: Replace restriction SPARK by SPARK_05 Add SPARK
as synonym for SPARK_05.
* sem_prag.adb: Minor reformatting.
* snames.ads-tmpl: Add entries for Name_SPARK and Name_SPARK_05.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@200763 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/restrict.ads')
| -rw-r--r-- | gcc/ada/restrict.ads | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/gcc/ada/restrict.ads b/gcc/ada/restrict.ads index 181541acc8f..9c4b3b4dd33 100644 --- a/gcc/ada/restrict.ads +++ b/gcc/ada/restrict.ads @@ -142,7 +142,7 @@ package Restrict is No_Wide_Characters => True, Static_Priorities => True, Static_Storage_Size => True, - SPARK => True, + SPARK_05 => True, others => False); -- The following table records entries made by Restrictions pragmas @@ -180,7 +180,7 @@ package Restrict is -- SPARK Restriction Control -- ------------------------------- - -- SPARK HIDE directives allow the effect of the SPARK restriction to be + -- SPARK HIDE directives allow the effect of the SPARK_05 restriction to be -- turned off for a specified region of code, and the following tables are -- the data structures used to keep track of these regions. @@ -282,10 +282,10 @@ package Restrict is (Msg : String; N : Node_Id; Force : Boolean := False); - -- Node N represents a construct not allowed in formal mode. If this is a - -- source node, or if the restriction is forced (Force = True), and the - -- SPARK restriction is set, then an error is issued on N. Msg is appended - -- to the restriction failure message. + -- Node N represents a construct not allowed in formal mode. If this is + -- a source node, or if the restriction is forced (Force = True), and + -- the SPARK_05 restriction is set, then an error is issued on N. Msg + -- is appended to the restriction failure message. procedure Check_SPARK_Restriction (Msg1, Msg2 : String; N : Node_Id); -- Same as Check_SPARK_Restriction except there is a continuation message |