*
characters
* numbers
* dashes (-)
*
*
* @param $user
* @param $lockToken
* @return void
*/
public function assignLock( $user, $lockToken );
/**
* Returns if the given $lockToken is owned by the given $user.
*
* Returns true, if the $lockToken is owned by $user, false otherwise.
*
* @param $user
* @param $lockToken
* @return bool
*/
public function ownsLock( $user, $lockToken );
/**
* Removes the assignement of $lockToken from $user.
*
* After a $lockToken has been released from the $user, the {@link
* ownsLock()} method must return false for the given combination.
*
* @param $user
* @param $lockToken
* @return void
*/
public function releaseLock( $user, $lockToken );
}
?>