class SemVer

final class SemVer {
    private function __construct() {
    }
    
    /**
     * Minimizes two constraints.
     *
     * Compares two constraints and determines if one is a subset of the other. If
     * this is the case, the constraint that is a subset is returned. For example,
     * if called with '^6.2' and '^6.3' the function will return '^6.3'. If
     * neither constraint is a subset then the constraints are compacted and the
     * intersection is returned. For example, if called with ">=10.3" and
     * "^10.4 || ^11" the function will return ">=10.4.0.0-dev, <12.0.0.0-dev".
     *
     * @param \Composer\Semver\VersionParser $version_parser
     *   A version parser.
     * @param string $constraint_a
     *   A constraint to compact.
     * @param string $constraint_b
     *   A constraint to compact.
     *
     * @return string
     *   The compacted constraint.
     *
     * @throws \LogicException
     *   Thrown when the provided constraints have no intersection.
     */
    public static function minimizeConstraints(VersionParser $version_parser, string $constraint_a, string $constraint_b) : string {
        $constraint_object_a = $version_parser->parseConstraints($constraint_a);
        $constraint_object_b = $version_parser->parseConstraints($constraint_b);
        if (Intervals::isSubsetOf($constraint_object_a, $constraint_object_b)) {
            return $constraint_a;
        }
        if (Intervals::isSubsetOf($constraint_object_b, $constraint_object_a)) {
            return $constraint_b;
        }
        $constraint = Intervals::compactConstraint(new MultiConstraint([
            $constraint_object_a,
            $constraint_object_b,
        ]));
        if ($constraint instanceof MatchNoneConstraint) {
            throw new \LogicException(sprintf('The constraints "%s" and "%s" do not intersect and cannot be minimized.', $constraint_a, $constraint_b));
        }
        return sprintf('%s%s, %s%s', $constraint->getLowerBound()
            ->isInclusive() ? '>=' : '>', $constraint->getLowerBound()
            ->getVersion(), $constraint->getUpperBound()
            ->isInclusive() ? '<=' : '<', $constraint->getUpperBound()
            ->getVersion());
    }

}