/usr/share/php/php-nrk-predis/Configuration/OptionsInterface.php is in php-nrk-predis 1.0.0-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 | <?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);
}
|