diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2013-04-12 12:52:32 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-04-12 14:52:32 +0200 |
| commit | fd8b40539cd4af7c08207dfdf61a98aea6deeab9 (patch) | |
| tree | 09735f28653f7fa5124ce0e81628fad32c72ccba /gcc/java | |
| parent | c2658843ea5068503078a7ac9b280179739bb17f (diff) | |
| download | gcc-fd8b40539cd4af7c08207dfdf61a98aea6deeab9.zip gcc-fd8b40539cd4af7c08207dfdf61a98aea6deeab9.tar.gz gcc-fd8b40539cd4af7c08207dfdf61a98aea6deeab9.tar.bz2 | |
sem_ch13.adb (Analyze_Aspect_Specifications): Aspect Depends is now a delayed aspect.
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.
From-SVN: r197900
Diffstat (limited to 'gcc/java')
0 files changed, 0 insertions, 0 deletions