The LIBERATE statement causes the execution of an implicit CAUSE statement for the specified event. This implicit CAUSE statement results in a change to the happened state of the event, if no waiting task has used the WAITANDRESET statement. For more information, refer to CAUSE Statement and WAITANDRESET Statement. The available state of the event is set to TRUE (available).

Although all waiting tasks are activated, they are linked into the ready queue in priority order. At that point, all tasks that were waiting to procure the event are in the ready queue in priority order. For more information about procuring events, refer to PROCURE Statement.