Sign in
gnu
/
gcc
/
a8404c07e7fca388c02c39077865f7d5fa928430
/
.
/
gcc
/
testsuite
/
gnat.dg
/
protected_func.ads
blob: b9d519418cbcfff1c239f5f10aeefd2b20a1214f [
file
] [
log
] [
blame
]
package
Protected_Func
with
SPARK_Mode
is
protected
Prot_Obj
is
function
Prot_Func
return
Integer
;
private
Comp
:
Integer
:=
0
;
end
Prot_Obj
;
Part_Of_Constit
:
Integer
:=
0
with
Part_Of
=>
Prot_Obj
;
end
Protected_Func
;