gnu / gcc / e5cfb9cac1d7aba9a8ea73bfe7922cfaff9d61f3 / . / gcc / testsuite / gnat.dg / predicate6.ads

generic | |

package Predicate6 is | |

type Price_Kind is (Infinitely_Small, Normal, Infinitely_Large); | |

subtype Infinite_Kind is Price_Kind with Static_Predicate => | |

Infinite_Kind in Infinitely_Small | Infinitely_Large; | |

function "not" (Kind : Infinite_Kind) return Infinite_Kind is | |

(case Kind is when Infinitely_Small => Infinitely_Large, | |

when Infinitely_Large => Infinitely_Small); | |

procedure Foo; | |

end; |