Example From UVA ADEPTUVA Package Body (Cont.)
-- Token body continued from previous slide
PROCEDURE Release_Token(SIGNAL T : INOUT Token) IS
PROCEDURE Remove_Token(SIGNAL T : INOUT Token) IS
-- Token body continued on next slide
This and the following two slides show the implementation of the remaining procedures and functions in this package body.