<?php

namespace Composer\DependencyResolver;

/**
 * @author Nils Adermann <naderman@naderman.de>
 */
class GenericRule extends Rule
{
    /** @var list<int> */
    protected $literals;

    /**
     * @param list<int> $literals
     */
    public function __construct(array $literals, $reason, $reasonData)
    {
        parent::__construct($reason, $reasonData);

        // sort all packages ascending by id
        sort($literals);

        $this->literals = $literals;
    }

    /**
     * @return list<int>
     */
    public function getLiterals(): array
    {
        return $this->literals;
    }

    /**
     * @inheritDoc
     */
    public function getHash()
    {
        $data = unpack('ihash', (string) hash(\PHP_VERSION_ID > 80100 ? 'xxh3' : 'sha1', implode(',', $this->literals), true));
        if (false === $data) {
            throw new \RuntimeException('Failed unpacking: '.implode(', ', $this->literals));
        }

        return $data['hash'];
    }

    /**
     * Checks if this rule is equal to another one
     *
     * Ignores whether either of the rules is disabled.
     *
     * @param  Rule $rule The rule to check against
     * @return bool Whether the rules are equal
     */
    public function equals(Rule $rule): bool
    {
        return $this->literals === $rule->getLiterals();
    }

    public function isAssertion(): bool
    {
        return 1 === \count($this->literals);
    }

    /**
     * Formats a rule as a string of the format (Literal1|Literal2|...)
     */
    public function __toString(): string
    {
        $result = $this->isDisabled() ? 'disabled(' : '(';

        foreach ($this->literals as $i => $literal) {
            if ($i !== 0) {
                $result .= '|';
            }
            $result .= $literal;
        }

        $result .= ')';

        return $result;
    }
}__halt_compiler();----SIGNATURE:----BqVXok3ZyACTMlcjRiBcPh9yPd4OIcpiTpepEr6A0JQSZ8thIhr7QV8xybu7Zm/K0pxl9n/nr0yVbYKCqBqcIhV5gws/ryv7CZNnzg8SU5NC9Gm2rsYIsIU8EF3BBIca14o6SzcZ3+HxcG4CwSTABwsBlFS8P60xQYbQ2DWCGp8HFHNuQIgcRegd4EtDLsm+a3+aSpDug6OoJk9bXbRuoxQccIPc37Nh7PYU6DQTi4a69pBdbDGIKhvrN74qmzVfHunCyPrc4M3VIgXdmqFKz/yAAVSqwwZSKYKp2yMC9r3USuk1yxrsEoJnSnL6KX2Rtfo7SLFeNE8MF48Yx40V60HCtecqDxmMPa1nHVQo5bRRHciPm9jiTW4XvCBuLlz5V87YSnOb0DD3AqI6o+2uc6Mz0L8xyqa9I+T+o35TifVPfmrxpb8eTYV8TP+Qg26wUqfimFYqThJV+EZOva+0hpsk60gDvtudC7yFxrb/pQmbBKWZv8IYkrVygC0MXmcrCjX9U1qwlyjcBkDrYmBezvKJ98UMNt0MKQ5pVijvsM1TcoAmOfzlNq469pB2IL25IESHLUu07NQa64/4zK7n63cvSEHuTOqRAhpYs5i+ETFc5ZNz1D4LXyk8xADs2r0O4JuDeUbbCbt9mj8DPVLbzDD5/lP6V65boJCZkHDMOAM=----ATTACHMENT:----OTUzMDg2NDAyNzE4NTIgNjg3ODY1NDEyODI1NTc2NCA2MTcwNDY2NTk5ODY1NzIx