*
characters
* numbers
* dashes (-)
*
*
* @param string $user
* @param string $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 string $user
* @param string $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. It might
* happen, that a lock is to be released, which already has been removed.
* This case must be ignored by the method.
*
* @param string $user
* @param string $lockToken
*/
public function releaseLock( $user, $lockToken );
}
?>