blob: 0ff9b96b0915daa959df1885bd05b910d27a9e8d [file] [log] [blame]
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;