diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-01 15:51:41 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-01 15:51:41 +0000 |
| commit | 3f42e2a77bb6c09ed2e47542cc32369e93f315a4 (patch) | |
| tree | afdcca1f06b9d1a28fb282a8ac450f7220d6d1aa /gcc/ada/errout.ads | |
| parent | 05f3e139921b55a4ce3ec9a168ee87b5713e12e9 (diff) | |
| download | gcc-3f42e2a77bb6c09ed2e47542cc32369e93f315a4.tar.gz | |
2011-08-01 Yannick Moy <moy@adacore.com>
* sem_util.ads, sem_util.adb, par.adb, par_util.adb
(Formal_Error_Msg, Formal_Error_Msg_N, Formal_Error_Msg_SP): move
procedures out of these packages.
* errout.ads, errout.adb
(Formal_Error_Msg, Formal_Error_Msg_N, Formal_Error_Msg_SP): move
procedures in of this package
(Formal_Error_Msg_NE): new procedure for wrapper on Error_Msg_NE
* par-ch5.adb (Parse_Decls_Begin_End): issue syntax error in SPARK mode
on misplaced later vs initial declarations, like in Ada 83
* sem_attr.adb (Processing for Analyze_Attribute): issue error in
formal mode on attribute of private type whose full type declaration
is not visible
* sem_ch3.adb (Analyze_Declarations): issue error in formal mode on a
package declaration inside a package specification
(Analyze_Full_Type_Declaration): issue error in formal mode on
controlled type or discriminant type
* sem_ch6.adb (Analyze_Subprogram_Specification): only issue error on
user-defined operator means that it should come from the source
(New_Overloaded_Entity): issue error in formal mode on overloaded
entity.
* sem_ch6.ads, sem_ch13.ads: typos in comments.
2011-08-01 Thomas Quinot <quinot@adacore.com>
* atree.adb: Minor reformatting.
* checks.adb: Minor reformatting.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177052 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/errout.ads')
| -rw-r--r-- | gcc/ada/errout.ads | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/gcc/ada/errout.ads b/gcc/ada/errout.ads index e9ddb7e3e87..af219647a57 100644 --- a/gcc/ada/errout.ads +++ b/gcc/ada/errout.ads @@ -735,6 +735,25 @@ package Errout is -- where the expression is parenthesized, an attempt is made to include -- the parentheses (i.e. to return the location of the initial paren). + procedure Formal_Error_Msg (Msg : String; Flag_Location : Source_Ptr); + -- Wrapper on Error_Msg which adds a prefix to Msg giving the name of + -- the formal language analyzed (spark or alfa) + + procedure Formal_Error_Msg_N (Msg : String; N : Node_Id); + -- Wrapper on Error_Msg_N which adds a prefix to Msg giving the name of + -- the formal language analyzed (spark or alfa) + + procedure Formal_Error_Msg_NE + (Msg : String; + N : Node_Or_Entity_Id; + E : Node_Or_Entity_Id); + -- Wrapper on Error_Msg_NE which adds a prefix to Msg giving the name of + -- the formal language analyzed (spark or alfa) + + procedure Formal_Error_Msg_SP (Msg : String); + -- Wrapper on Error_Msg_SP which adds a prefix to Msg giving the name of + -- the formal language analyzed (spark or alfa) + procedure Purge_Messages (From : Source_Ptr; To : Source_Ptr) renames Erroutc.Purge_Messages; -- All error messages whose location is in the range From .. To (not |