Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gnat.dg/predicate4_pkg.ads @ 158:494b0b89df80 default tip
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 25 May 2020 18:13:55 +0900 |
parents | 1830386684a0 |
children |
line wrap: on
line source
generic type Value_Type is private; package Predicate4_Pkg is type MT (Has : Boolean := False) is record case Has is when False => null; when True => MX : Value_Type; end case; end record; function Foo (M : MT) return Boolean is (not M.Has); subtype LT is MT with Dynamic_Predicate => not LT.Has; function Bar (M : MT) return Boolean is (Foo (M)); end;