diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-04-12 12:52:32 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-04-12 12:52:32 +0000 |
| commit | 6144c1057e7fce146c77fc5ef81cb376ddfec649 (patch) | |
| tree | 09735f28653f7fa5124ce0e81628fad32c72ccba /libjava/classpath/java | |
| parent | cd0d5374e253e5410dcf4937fcfaebe1f8cbad29 (diff) | |
| download | ppe42-gcc-6144c1057e7fce146c77fc5ef81cb376ddfec649.tar.gz ppe42-gcc-6144c1057e7fce146c77fc5ef81cb376ddfec649.zip | |
2013-04-12 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch13.adb (Analyze_Aspect_Specifications): Aspect
Depends is now a delayed aspect. The delay is required
due to the interplay between aspects Depends and Global.
(Check_Aspect_At_Freeze_Point): Add an entry for aspect Depends.
* sem_prag.adb: Reformat various error messages.
(Add_Item): New subsidiary routine.
(Analyze_Pragma): Add new variables
Global_Seen, Result_Seen, Subp_Inputs and Subp_Outputs. The
analysis of pragma Depends now has the capability to check
the proper mode and usage of subprogram inputs and outputs.
(Appears_In): New routine.
(Check_Function_Return): New routine.
(Check_Mode): New routine.
(Check_Usage): New routine.
(Collect_Subprogram_Inputs_Outputs): New routine.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@197900 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libjava/classpath/java')
0 files changed, 0 insertions, 0 deletions

