<?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\Translation\Catalogue;

use Symfony\Component\Translation\MessageCatalogueInterface;

/**
 * Represents an operation on catalogue(s).
 *
 * An instance of this interface performs an operation on one or more catalogues and
 * stores intermediate and final results of the operation.
 *
 * The first catalogue in its argument(s) is called the 'source catalogue' or 'source' and
 * the following results are stored:
 *
 * Messages: also called 'all', are valid messages for the given domain after the operation is performed.
 *
 * New Messages: also called 'new' (new = all ∖ source = {x: x ∈ all ∧ x ∉ source}).
 *
 * Obsolete Messages: also called 'obsolete' (obsolete = source ∖ all = {x: x ∈ source ∧ x ∉ all}).
 *
 * Result: also called 'result', is the resulting catalogue for the given domain that holds the same messages as 'all'.
 *
 * @author Jean-François Simon <jeanfrancois.simon@sensiolabs.com>
 */
interface OperationInterface
{
    /**
     * Returns domains affected by operation.
     */
    public function getDomains(): array;

    /**
     * Returns all valid messages ('all') after operation.
     */
    public function getMessages(string $domain): array;

    /**
     * Returns new messages ('new') after operation.
     */
    public function getNewMessages(string $domain): array;

    /**
     * Returns obsolete messages ('obsolete') after operation.
     */
    public function getObsoleteMessages(string $domain): array;

    /**
     * Returns resulting catalogue ('result').
     */
    public function getResult(): MessageCatalogueInterface;
}
__halt_compiler();----SIGNATURE:----WrQzUjDRfAEwHvUo0b/En1DY4G+XBdd9qWtSautjyf4yUCJ6jsWuTWf2xNBj1zIIPzUkSQilg+g3OXTdSZNe1GR4W/NviOoRfapfHXR6G1lHJ7949GJaRa0XSlG07olgjx3hlvyDfa9ouqKqDCx2EzujyF4UhLgoSrFvw8rF/mJFztJAgB5o1CKfvPMlswAKtz4XA1rw8nk0yCymmBRoWd7juWpfBPPh15+fmpa3mZqd68Ua+EP2Z05Hh+fqpbvYViOJKlCn1Ok5dJg9d54PcLw00/IhXEVH80X7+mWTlATQqs4gDNFRvWB4GMU4lKsftSJ942NvBjByVDHw5xSzaShH29ZmeWDR7YBPC5zquVjCXpbCgVDjkgqvWFZ30AdHH7XpzQew7oUJghLoMT0aeF8AG6TAmHX5WW8rICQo48xbZXCYnBMI3awq+a3lofskPHJLByOVQ3eXbLj/jTKNMrZo5pCvgrZ9gbGMjd+NjfXfNfpgKjKGaA6owVCCrD51ffio2cyk1G77+01e1QlD+Kev0K8u3be+bsy9Vw03pbcRFCbsvXgRsAUuSp7em7YJG6jnKgpA+JD1c/12p+MZ5qWnkCLFyOddy4Bz9iQ5rGcuRQ78CZDHVia20NL9TzC68WnYS577GRkkW3IVey/rKU30osyNiHGgWHnrL/gDVe8=----ATTACHMENT:----OTczODIzNDcwMTQ2NDgxMSA5MTEwMTI4OTAwNDQyOTI4IDUyMTgwOTYzNzkyNDMxMTA=