1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980 |
- <?php
- /*
- * This file is part of the Symfony package.
- *
- * (c) Fabien Potencier <fabien@symfony.com>
- *
- * For the full copyright and license information, please view the LICENSE
- * file that was distributed with this source code.
- */
- namespace Symfony\Component\Config\Resource;
- /**
- * FileResource represents a resource stored on the filesystem.
- *
- * The resource can be a file or a directory.
- *
- * @author Fabien Potencier <fabien@symfony.com>
- */
- class FileResource implements ResourceInterface, \Serializable
- {
- private $resource;
- /**
- * Constructor.
- *
- * @param string $resource The file path to the resource
- */
- public function __construct($resource)
- {
- $this->resource = realpath($resource);
- }
- /**
- * Returns a string representation of the Resource.
- *
- * @return string A string representation of the Resource
- */
- public function __toString()
- {
- return (string) $this->resource;
- }
- /**
- * Returns the resource tied to this Resource.
- *
- * @return mixed The resource
- */
- public function getResource()
- {
- return $this->resource;
- }
- /**
- * Returns true if the resource has not been updated since the given timestamp.
- *
- * @param integer $timestamp The last time the resource was loaded
- *
- * @return Boolean true if the resource has not been updated, false otherwise
- */
- public function isFresh($timestamp)
- {
- if (!file_exists($this->resource)) {
- return false;
- }
- return filemtime($this->resource) < $timestamp;
- }
- public function serialize()
- {
- return serialize($this->resource);
- }
- public function unserialize($serialized)
- {
- $this->resource = unserialize($serialized);
- }
- }
|