gcc/testsuite/gnat.dg/predicate2.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14

package Predicate2 is

   type Optional_Name_Type is new String;

   subtype Name_Type is Optional_Name_Type
     with Dynamic_Predicate => Name_Type'Length > 0;
   --  A non case sensitive name

   subtype Value_Type is String;

   overriding function "=" (Left, Right : Optional_Name_Type) return Boolean;
   overriding function "<" (Left, Right : Optional_Name_Type) return Boolean;

end Predicate2;