
| Current Path : /proc/thread-self/root/usr/share/php/php-nrk-predis/Configuration/ |
Linux ift1.ift-informatik.de 5.4.0-216-generic #236-Ubuntu SMP Fri Apr 11 19:53:21 UTC 2025 x86_64 |
| Current File : //proc/thread-self/root/usr/share/php/php-nrk-predis/Configuration/OptionsInterface.php |
<?php
/*
* This file is part of the Predis package.
*
* (c) Daniele Alessandri <suppakilla@gmail.com>
*
* For the full copyright and license information, please view the LICENSE
* file that was distributed with this source code.
*/
namespace Predis\Configuration;
/**
* Interface defining a container for client options.
*
* @property-read mixed aggregate Custom connection aggregator.
* @property-read mixed cluster Aggregate connection for clustering.
* @property-read mixed connections Connection factory.
* @property-read mixed exceptions Toggles exceptions in client for -ERR responses.
* @property-read mixed prefix Key prefixing strategy using the given prefix.
* @property-read mixed profile Server profile.
* @property-read mixed replication Aggregate connection for replication.
*
* @author Daniele Alessandri <suppakilla@gmail.com>
*/
interface OptionsInterface
{
/**
* Returns the default value for the given option.
*
* @param string $option Name of the option.
*
* @return mixed|null
*/
public function getDefault($option);
/**
* Checks if the given option has been set by the user upon initialization.
*
* @param string $option Name of the option.
*
* @return bool
*/
public function defined($option);
/**
* Checks if the given option has been set and does not evaluate to NULL.
*
* @param string $option Name of the option.
*
* @return bool
*/
public function __isset($option);
/**
* Returns the value of the given option.
*
* @param string $option Name of the option.
*
* @return mixed|null
*/
public function __get($option);
}