20 lines
352 B
Ada
20 lines
352 B
Ada
package Global
|
|
with Abstract_State => (State with External)
|
|
is
|
|
protected type Prot_Typ is
|
|
procedure Force_Body;
|
|
end Prot_Typ;
|
|
|
|
protected Prot_Obj is
|
|
procedure Force_Body;
|
|
end Prot_Obj;
|
|
|
|
task type Task_Typ is
|
|
entry Force_Body;
|
|
end Task_Typ;
|
|
|
|
task Task_Obj is
|
|
entry Force_Body;
|
|
end Task_Obj;
|
|
end Global;
|