Example From UVA ADEPTUVA Package Declaration (Cont.)
-- Package declaration continued from previous slide
PROCEDURE Place_Token(SIGNAL T : INOUT Token);
PROCEDURE Place_Token(SIGNAL T : INOUT Token; Delay : TIME);
PROCEDURE Ack_Token(SIGNAL T : INOUT Token);
PROCEDURE Release_Token(SIGNAL T : INOUT Token);
PROCEDURE Remove_Token(SIGNAL T : INOUT Token);
function Token_Present(T : Token) RETURN BOOLEAN;
function Token_Acked(T : Token) RETURN BOOLEAN;
function Token_Released(T : Token) RETURN BOOLEAN;
function Token_Removed(T : Token) RETURN BOOLEAN;
Notes:
This continues the declaration section of the package with declarations of a number of useful procedures and functions.