¿Cómo se puede verificar si un elemento pertenece a un subtipo u otro?

Question

acabo de aprender acerca de enumeraciones y tipos de Ada y decidió escribir un pequeño programa para la práctica:

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; 

Tengo problemas con la sentencia if. ¿Cómo puedo verificar si dayOfTheWeek está en el subtipo de Weekday o el subtipo de fin de semana?

Answer 1

¿Quieres

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

Además, desea ’Val no ’Pos en

selected_day := Day_Of_The_Week'val(selected_day_value); 

y es posible echar un vistazo a las palabras que el segundo Put_Line!

Answer 2

No necesita una función para verificar esto. En este caso, una función solo oscurece lo que sucede:

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