From a961aa79587ca417a9920cd2ba4df4d3144fd26d Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Tue, 19 Oct 2010 14:29:25 +0200 Subject: [multiple changes] 2010-10-19 Ed Schonberg * exp_ch4.adb, exp_ch4.ads (Expand_Quantified_Expression): New procedure * exp_util.adb (Insert_Actions): Include Quantified_Expression. * expander.adb: Call Expand_Qualified_Expression. * par.adb: New procedure P_Quantified_Expression. Make P_Loop_Parameter_Specification global for use in quantified expressions. * par-ch3.adb (P_Subtype_Mark_Resync): Allow "some" as an identifier if version < Ada2012. * par-ch4.adb: New procedure P_Quantified_Expression. * par-ch5.adb: P_Loop_Parameter_Specification is now global. * scans.adb, scans.ads: Introduce token Some. For now leave as unreserved. * scn.adb (Scan_Reserved_Identifier): For earlier versions of Ada, treat Some as a regular identifier. * sem.adb: Call Analyze_Quantified_Expression. * sem_ch4.adb, sem_ch4.ads: New procedure Analyze_Quantified_Expression. * sem_ch5.adb, sem_ch5.ads: Analyze_Iteration_Scheme is public, for use in quantified expressions. * sem_res.adb: New procedure Resolve_Qualified_Expression. * sinfo.adb, sinfo.ads: New node N_Quantified_Expression * snames.ads-tmpl: New name Some. * sprint.adb: Output quantified_expression. 2010-10-19 Robert Dewar * a-exexda.adb: Minor reformatting Minor code reorganization. From-SVN: r165698 --- gcc/ada/sprint.adb | 13 +++++++++++++ 1 file changed, 13 insertions(+) (limited to 'gcc/ada/sprint.adb') diff --git a/gcc/ada/sprint.adb b/gcc/ada/sprint.adb index ada95bc..e2bb173 100644 --- a/gcc/ada/sprint.adb +++ b/gcc/ada/sprint.adb @@ -2626,6 +2626,19 @@ package body Sprint is Write_Char (')'); end if; + when N_Quantified_Expression => + Write_Str (" for"); + + if All_Present (Node) then + Write_Str (" all "); + else + Write_Str (" some "); + end if; + + Sprint_Node (Loop_Parameter_Specification (Node)); + Write_Str (" => "); + Sprint_Node (Condition (Node)); + when N_Raise_Constraint_Error => -- This node can be used either as a subexpression or as a -- cgit v1.1