Jak możesz sprawdzić, czy element należy do jednego lub drugiego podtypu?

Question

Właśnie dowiedziałem się o wyliczenia i typy w Ada i postanowiłem napisać mały program do praktyki:

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; 

Mam problemy z if. Jak mogę sprawdzić, czy dayOfTheWeek jest w podtypie Weekday lub podtyp weekendu?

Answer 1

Chcesz

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

Również chcesz ’Val nie ’Pos w

selected_day := Day_Of_The_Week'val(selected_day_value); 

i można spojrzeć na słowa drugiego Put_Line!

Answer 2

Nie potrzebujesz funkcji, aby to sprawdzić. W takim przypadku funkcja zaciemnia tylko to, co się dzieje:

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