Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gnat.dg/predicate7_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
package Predicate7_Pkg is subtype My_Int is Integer with Dynamic_Predicate => My_Int /= 0; end Predicate7_Pkg;