equal
deleted
inserted
replaced
|
1 <?php |
|
2 |
|
3 /* |
|
4 * This file is part of the Symfony package. |
|
5 * |
|
6 * (c) Fabien Potencier <fabien@symfony.com> |
|
7 * |
|
8 * For the full copyright and license information, please view the LICENSE |
|
9 * file that was distributed with this source code. |
|
10 */ |
|
11 |
|
12 namespace Symfony\Component\Config\Resource; |
|
13 |
|
14 /** |
|
15 * ResourceInterface is the interface that must be implemented by all Resource classes. |
|
16 * |
|
17 * @author Fabien Potencier <fabien@symfony.com> |
|
18 */ |
|
19 interface ResourceInterface |
|
20 { |
|
21 /** |
|
22 * Returns a string representation of the Resource. |
|
23 * |
|
24 * @return string A string representation of the Resource |
|
25 */ |
|
26 function __toString(); |
|
27 |
|
28 /** |
|
29 * Returns true if the resource has not been updated since the given timestamp. |
|
30 * |
|
31 * @param integer $timestamp The last time the resource was loaded |
|
32 * |
|
33 * @return Boolean true if the resource has not been updated, false otherwise |
|
34 */ |
|
35 function isFresh($timestamp); |
|
36 |
|
37 /** |
|
38 * Returns the resource tied to this Resource. |
|
39 * |
|
40 * @return mixed The resource |
|
41 */ |
|
42 function getResource(); |
|
43 } |