Difficult-Rocket/libs/MCDR/version.py

# 本文件以 GNU Lesser General Public License v3.0（GNU LGPL v3) 开源协议进行授权 (谢谢狐狸写出这么好的MCDR)
# 顺便说一句,我把所有的tab都改成了空格,因为我觉得空格比tab更好看(草,后半句是github copilot自动填充的)

"""
Plugin Version
"""
import re
from typing import List, Callable, Tuple, Optional

"""
This part of code come from MCDReforged(https://github.com/Fallen-Breath/MCDReforged)
Very thanks to Fallen_Breath and other coder who helped MCDR worked better
GNU Lesser General Public License v3.0（GNU LGPL v3)
# (hasn't some changes)
"""


# beta.3 -> (beta, 3), random -> (random, None)
class ExtraElement:
    DIVIDER = '.'
    body: str
    num: Optional[int]

    def __init__(self, segment_str: str):
        segments = segment_str.rsplit(self.DIVIDER, 1)
        try:
            self.body, self.num = segments[0], int(segments[1])
        except (IndexError, ValueError):
            self.body, self.num = segment_str, None

    def __str__(self):
        if self.num is None:
            return self.body
        return '{}{}{}'.format(self.body, self.DIVIDER, self.num)

    def __lt__(self, other):
        if not isinstance(other, type(self)):
            raise TypeError()
        if self.num is None or other.num is None:
            return str(self) < str(other)
        else:
            return (self.body, self.num) < (other.body, other.num)


class Version:
    EXTRA_ID_PATTERN = re.compile(r'|[-+0-9A-Za-z]+(\.[-+0-9A-Za-z]+)*')
    WILDCARDS = ('*', 'x', 'X')
    WILDCARD = -1

    component: List[int]
    has_wildcard: bool
    pre: Optional[ExtraElement]
    build: Optional[ExtraElement]

    def __init__(self, version_str: str, allow_wildcard=True):
        """
        :param str version_str: the version str like '1.2.3-pre4+build.5'
        """
        if not isinstance(version_str, str):
            raise VersionParsingError('Invalid input version string')

        def separate_extra(text, char) -> Tuple[str, Optional[ExtraElement]]:
            if char in text:
                text, extra_str = text.split(char, 1)
                if not self.EXTRA_ID_PATTERN.fullmatch(extra_str):
                    raise VersionParsingError('Invalid build string: ' + extra_str)
                extra = ExtraElement(extra_str)
            else:
                extra = None
            return text, extra

        self.component = []
        self.has_wildcard = False
        version_str, self.build = separate_extra(version_str, '+')
        version_str, self.pre = separate_extra(version_str, '-')
        if len(version_str) == 0:
            raise VersionParsingError('Version string is empty')
        for comp in version_str.split('.'):
            if comp in self.WILDCARDS:
                self.component.append(self.WILDCARD)
                self.has_wildcard = True
                if not allow_wildcard:
                    raise VersionParsingError('Wildcard {} is not allowed'.format(comp))
            else:
                try:
                    num = int(comp)
                except ValueError:
                    num = None
                if num is None:
                    raise VersionParsingError('Invalid version number component: {}'.format(comp))
                if num < 0:
                    raise VersionParsingError('Unsupported negatived number component: {}'.format(num))
                self.component.append(num)
        if len(self.component) == 0:
            raise VersionParsingError('Empty version string')

    def __str__(self):
        version_str = '.'.join(map(lambda c: str(c) if c != self.WILDCARD else self.WILDCARDS[0], self.component))
        if self.pre is not None:
            version_str += '-' + str(self.pre)
        if self.build is not None:
            version_str += '+' + str(self.build)
        return version_str

    def __repr__(self):
        return 'Version({})'.format(self.__str__())

    def __getitem__(self, index):
        if index < len(self.component):
            return self.component[index]
        else:
            return self.WILDCARD if self.component[len(self.component) - 1] == self.WILDCARD else 0

    def __lt__(self, other):
        if not isinstance(other, Version):
            raise TypeError('Cannot compare between instances of {} and {}'.format(Version.__name__, type(other).__name__))
        for i in range(max(len(self.component), len(other.component))):
            if self[i] == self.WILDCARD or other[i] == self.WILDCARD:
                continue
            if self[i] != other[i]:
                return self[i] < other[i]
        if self.pre is not None and other.pre is not None:
            return self.pre < other.pre
        elif self.pre is not None:
            return not other.has_wildcard
        elif other.pre is not None:
            return False
        else:
            return False

    def __eq__(self, other):
        return not self < other and not other < self

    def __le__(self, other):
        return self == other or self < other

    def compare_to(self, other):
        if self < other:
            return -1
        elif self > other:
            return 1
        else:
            return 0


DEFAULT_CRITERION_OPERATOR = '='


class Criterion:
    def __init__(self, opt: str, base_version: Version, criterion: Callable[[Version, Version], bool]):
        self.opt = opt
        self.base_version = base_version
        self.criterion = criterion

    def test(self, target: str or Version):
        return self.criterion(self.base_version, target)

    def __str__(self):
        return '{}{}'.format(self.opt if self.opt != DEFAULT_CRITERION_OPERATOR else '', self.base_version)


class VersionRequirement:
    CRITERIONS = {
        '<=': lambda base, ver: ver <= base,
        '>=': lambda base, ver: ver >= base,
        '<': lambda base, ver: ver < base,
        '>': lambda base, ver: ver > base,
        '=': lambda base, ver: ver == base,
        '^': lambda base, ver: ver >= base and ver[0] == base[0],
        '~': lambda base, ver: ver >= base and ver[0] == base[0] and ver[1] == base[1],
    }

    def __init__(self, requirements: str):
        if not isinstance(requirements, str):
            raise VersionParsingError('Requirements should be a str, not {}'.format(type(requirements).__name__))
        self.criterions = []  # type: List[Criterion]
        for requirement in requirements.split(' '):
            if len(requirement) > 0:
                for prefix, func in self.CRITERIONS.items():
                    if requirement.startswith(prefix):
                        opt = prefix
                        base_version = requirement[len(prefix):]
                        break
                else:
                    opt = DEFAULT_CRITERION_OPERATOR
                    base_version = requirement
                self.criterions.append(Criterion(opt, Version(base_version), self.CRITERIONS[opt]))

    def accept(self, version: Version or str):
        if isinstance(version, str):
            version = Version(version)
        for criterion in self.criterions:
            if not criterion.test(version):
                return False
        return True

    def __str__(self):
        return ' '.join(map(str, self.criterions))


class VersionParsingError(ValueError):
    pass


if __name__ == '__main__':
    from objprint import op
    test_list = ['1.1.1',
                 '1.0',
                 '1.11.1.11.1']

    for a_test in test_list:
        version_a = Version(a_test)
        op(version_a)