cb9a6f5bce77c6d9849e6e2804a246717d3f26d6
[yaffs-website] / vendor / symfony / translation / Catalogue / DiffOperation.php
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\Translation\Catalogue;
13
14 @trigger_error('The '.__NAMESPACE__.'\DiffOperation class is deprecated since version 2.8 and will be removed in 3.0. Use the TargetOperation class in the same namespace instead.', E_USER_DEPRECATED);
15
16 /**
17  * Diff operation between two catalogues.
18  *
19  * The name of 'Diff' is misleading because the operation
20  * has nothing to do with diff:
21  *
22  * intersection = source ∩ target = {x: x ∈ source ∧ x ∈ target}
23  * all = intersection ∪ (target ∖ intersection) = target
24  * new = all ∖ source = {x: x ∈ target ∧ x ∉ source}
25  * obsolete = source ∖ all = source ∖ target = {x: x ∈ source ∧ x ∉ target}
26  *
27  * @author Jean-François Simon <contact@jfsimon.fr>
28  *
29  * @deprecated since version 2.8, to be removed in 3.0. Use TargetOperation instead.
30  */
31 class DiffOperation extends TargetOperation
32 {
33 }