delete_pointer_barrier


Description:

public VoidCookie delete_pointer_barrier (Barrier barrier)