From f6933b82bbdb767480abf4cf6818b2db56fae1cc Mon Sep 17 00:00:00 2001 From: Stefan Suhren Date: Sat, 2 May 2015 15:54:22 +0200 Subject: Use composer to pull in propel and set it up --- .../Config/Resource/ResourceInterface.php | 43 ++++++++++++++++++++++ 1 file changed, 43 insertions(+) create mode 100644 Aufgabe06/vendor/symfony/config/Symfony/Component/Config/Resource/ResourceInterface.php (limited to 'Aufgabe06/vendor/symfony/config/Symfony/Component/Config/Resource/ResourceInterface.php') diff --git a/Aufgabe06/vendor/symfony/config/Symfony/Component/Config/Resource/ResourceInterface.php b/Aufgabe06/vendor/symfony/config/Symfony/Component/Config/Resource/ResourceInterface.php new file mode 100644 index 0000000..db03d12 --- /dev/null +++ b/Aufgabe06/vendor/symfony/config/Symfony/Component/Config/Resource/ResourceInterface.php @@ -0,0 +1,43 @@ + + * + * For the full copyright and license information, please view the LICENSE + * file that was distributed with this source code. + */ + +namespace Symfony\Component\Config\Resource; + +/** + * ResourceInterface is the interface that must be implemented by all Resource classes. + * + * @author Fabien Potencier + */ +interface ResourceInterface +{ + /** + * Returns a string representation of the Resource. + * + * @return string A string representation of the Resource + */ + public function __toString(); + + /** + * Returns true if the resource has not been updated since the given timestamp. + * + * @param int $timestamp The last time the resource was loaded + * + * @return bool True if the resource has not been updated, false otherwise + */ + public function isFresh($timestamp); + + /** + * Returns the tied resource. + * + * @return mixed The resource + */ + public function getResource(); +} -- cgit v1.2.3-70-g09d2