writer_unlock

Description:

public void writer_unlock ()

Release a write lock on this.

Calling writer_unlock on a lock that is not held by the current thread leads to undefined behaviour.

Parameters:

this

a RWLock