利用ASIS对Ada中两个子类的mix，max值进行比较

with ASIS;

procedure Compare_Subtypes is
   subtype Subtype1 is Integer range 1 .. 10;
   subtype Subtype2 is Integer range 5 .. 15;
   
   subtype1_mix : ASIS.Subtype;
   subtype1_max : ASIS.Subtype;
   subtype2_mix : ASIS.Subtype;
   subtype2_max : ASIS.Subtype;
   
begin
   -- 获取子类的类型信息
   subtype1_mix := ASIS.Get_Subtype(Subtype1'Access);
   subtype1_max := ASIS.Get_Subtype(Subtype1'Access);
   subtype2_mix := ASIS.Get_Subtype(Subtype2'Access);
   subtype2_max := ASIS.Get_Subtype(Subtype2'Access);
   
   -- 获取子类的约束信息
   subtype1_mix := ASIS.Get_Constraint(subtype1_mix);
   subtype1_max := ASIS.Get_Constraint(subtype1_max);
   subtype2_mix := ASIS.Get_Constraint(subtype2_mix);
   subtype2_max := ASIS.Get_Constraint(subtype2_max);
   
   -- 比较子类的mix和max值
   if subtype1_mix < subtype2_mix then
      -- 子类1的mix值小于子类2的mix值
      null;
   elsif subtype1_mix > subtype2_mix then
      -- 子类1的mix值大于子类2的mix值
      null;
   else
      -- 子类1的mix值等于子类2的mix值
      null;
   end if;
   
   if subtype1_max < subtype2_max then
      -- 子类1的max值小于子类2的max值
      null;
   elsif subtype1_max > subtype2_max then
      -- 子类1的max值大于子类2的max值
      null;
   else
      -- 子类1的max值等于子类2的max值
      null;
   end if;
   
end Compare_Subtypes;