repo.or.cz
/
official-gcc.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Wattributes-10.c: Add -fno-common option on hppa*-*-hpux*.
[official-gcc.git]
/
gcc
/
testsuite
/
gnat.dg
/
global.ads
blob
0ff9b96b0915daa959df1885bd05b910d27a9e8d
1
package
Global
2
with
Abstract_State
=> (
State
with
External
)
3
is
4
protected type
Prot_Typ
is
5
procedure
Force_Body
;
6
end
Prot_Typ
;
7
8
protected
Prot_Obj
is
9
procedure
Force_Body
;
10
end
Prot_Obj
;
11
12
task type
Task_Typ
is
13
entry
Force_Body
;
14
end
Task_Typ
;
15
16
task
Task_Obj
is
17
entry
Force_Body
;
18
end
Task_Obj
;
19
end
Global
;