protected_variables.adb

来自「Ada 2005 Training Notes.」· ADB 代码 · 共 34 行

with Ada.Text_IO; use Ada.Text_IO;

package body Protected_Variables is
   task body Protected_Variable is

      V: Item := Green;

   begin
      Put_Line("Protected_Variable Enter Loop");
      loop
      	select
            accept Read(X: out Item) do
               Put_Line("Protected_Variable Read");
               X := V;
            end;
         or
            accept Write(X: in Item) do
               Put_Line("Protected_Variable Write");
               V := X;
            end;
         or
            --
            -- Terminate is called upon life of the Protected Variable
            -- ends
            terminate;
         end select;
      end loop;

      -- This line is NEVER EVER executed !!!
      Put_Line("Protected_Variable Exit Loop");
end;

end Protected_Variables;