summaryrefslogtreecommitdiff
path: root/gcc/ada/prj-strt.ads
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/ada/prj-strt.ads')
-rw-r--r--gcc/ada/prj-strt.ads7
1 files changed, 6 insertions, 1 deletions
diff --git a/gcc/ada/prj-strt.ads b/gcc/ada/prj-strt.ads
index 633b022e8f5..612a3984d27 100644
--- a/gcc/ada/prj-strt.ads
+++ b/gcc/ada/prj-strt.ads
@@ -53,11 +53,16 @@ private package Prj.Strt is
-- into a table to be checked against the case labels of the
-- case construction.
- procedure End_Case_Construction;
+ procedure End_Case_Construction
+ (Check_All_Labels : Boolean;
+ Case_Location : Source_Ptr);
-- This procedure is called at the end of a case construction
-- to remove the case labels and to restore the previous state.
-- In particular, in the case of nested case constructions,
-- the case labels of the enclosing case construction are restored.
+ -- When When_Others is False and we are not in quiet output, a warning
+ -- is emitted for each value of the case variable string type that has
+ -- not been specified.
procedure Parse_Choice_List
(First_Choice : out Project_Node_Id);