Come si può verificare se un elemento appartiene a un sottotipo o all'altro?

Question

Ho appena imparato a conoscere Enums e tipi di Ada e ha deciso di scrivere un piccolo programma per la pratica:

with Ada.Text_IO;      use Ada.Text_IO; 
with Ada.Integer_Text_IO;  use Ada.Integer_Text_IO; 

procedure Day is 

    type Day_Of_The_Week is (Monday, Tuesday, Wednesday, Thursday, Friday, Saturday, Sunday); 

    subtype Weekday is Day_Of_The_Week range Monday..Friday; 

    subtype Weekend is Day_Of_The_Week range Saturday..Sunday; 

     function is_Weekday (dayOfTheWeek: in Day_Of_The_Week) return Boolean is 
     begin 
      if(--?--) 
     end is_Weekday; 

    selected_day_value : Integer; 
    selected_day    : Day_Of_The_Week; 

begin 
    Put_Line("Enter the number co-responding to the desired day of the week:"); 
    Put_Line("0 - Monday"); 
    Put_Line("1 - Tuesday"); 
    Put_Line("2 - Wednesday"); 
    Put_Line("3 - Thursday"); 
    Put_Line("4 - Friday"); 
    Put_Line("5 - Saturday"); 
    Put_Line("6 - Sunday"); 
    Get(selected_day_value); 
    selected_day = Day_Of_The_Week'pos(selected_day_value); 

    if(is_Weekday(selected_day)) 
     Put_Line(Day_Of_The_Week'Image(selected_day) & " is a weekday."); 
    else 
     Put_Line(Day_Of_The_Week'Image(selected_day) & " is a weekday."); 

end Day; 

Ho problemi con l'istruzione if. Come posso verificare se dayOfTheWeek è o meno nel sottotipo Weekday o nel sottotipo Weekend?

Answer 1

Volete

function is_Weekday (dayOfTheWeek: in Day_Of_The_Week) return Boolean is 
begin 
    return dayoFTheWeek in Weekday; 
end is_Weekday; 

Inoltre, si vuole ’Val non ’Pos in

selected_day := Day_Of_The_Week'val(selected_day_value); 

e si potrebbe dare un'occhiata alle parole del secondo Put_Line!

Answer 2

Non è necessaria una funzione per verificare ciò. In questo caso, una funzione oscura solo ciò che accade:

if Selected_Day in Weekday then 
    do stuff.. 
else 
    do other stuff... 
end if;