public function itDoesNotExpireATokenIfItDoesNotBelongToUser() { stub($this->token_dao)->checkTokenExistenceForUserId($this->user_id, $this->token_value)->returnsEmptyDar(); expect($this->token_dao)->deleteToken($this->token_value)->never(); $this->expectException("Rest_Exception_InvalidTokenException"); $this->token_manager->expireToken($this->token); }