DiffOperation.php 1.1 KB

123456789101112131415161718192021222324252627282930313233
  1. <?php
  2. /*
  3. * This file is part of the Symfony package.
  4. *
  5. * (c) Fabien Potencier <fabien@symfony.com>
  6. *
  7. * For the full copyright and license information, please view the LICENSE
  8. * file that was distributed with this source code.
  9. */
  10. namespace Symfony\Component\Translation\Catalogue;
  11. @trigger_error('The '.__NAMESPACE__.'\DiffOperation class is deprecated since Symfony 2.8 and will be removed in 3.0. Use the TargetOperation class in the same namespace instead.', E_USER_DEPRECATED);
  12. /**
  13. * Diff operation between two catalogues.
  14. *
  15. * The name of 'Diff' is misleading because the operation
  16. * has nothing to do with diff:
  17. *
  18. * intersection = source ∩ target = {x: x ∈ source ∧ x ∈ target}
  19. * all = intersection ∪ (target ∖ intersection) = target
  20. * new = all ∖ source = {x: x ∈ target ∧ x ∉ source}
  21. * obsolete = source ∖ all = source ∖ target = {x: x ∈ source ∧ x ∉ target}
  22. *
  23. * @author Jean-François Simon <contact@jfsimon.fr>
  24. *
  25. * @deprecated since version 2.8, to be removed in 3.0. Use TargetOperation instead.
  26. */
  27. class DiffOperation extends TargetOperation
  28. {
  29. }