ADEPT Token Handling

-- (C) 1993 UVA Center for Semicustom Integrated Systems



-- Used for dependent outputs and data inputs

PROCEDURE place_token (SIGNAL T: INOUT token; tag: color_type;

                       mon_tag: mon_color_type; delay: time);

PROCEDURE ack_token (SIGNAL T: INOUT token);

PROCEDURE release_token (SIGNAL T: INOUT token);

PROCEDURE remove_token (SIGNAL T: INOUT token);



-- Used for writing to independent outputs and control inputs

PROCEDURE place_control_token (SIGNAL T: OUT token;

       tag: color_type; mon_tag: mon_color_type; delay: time);

PROCEDURE release_control_token (SIGNAL T: OUT token);

PROCEDURE release_control_token_with_color

      (SIGNAL T: OUT token;

        tag: color_type; mon_tag: mon_color_type);