2022-03-06 22:12:51 +08:00
|
|
|
|
# 本文件以 GNU Lesser General Public License v3.0(GNU LGPL v3) 开源协议进行授权 (谢谢狐狸写出这么好的MCDR)
|
|
|
|
|
# 顺便说一句,我把所有的tab都改成了空格,因为我觉得空格比tab更好看(草,后半句是github copilot自动填充的)
|
|
|
|
|
|
|
|
|
|
"""
|
2023-05-28 14:21:47 +08:00
|
|
|
|
This part of code come from MCDReforged(https://github.com/Fallen-Breath/MCDReforged)
|
|
|
|
|
Thanks a lot to Fallen_Breath and MCDR contributors
|
|
|
|
|
GNU Lesser General Public License v3.0 (GNU LGPL v3)
|
2022-03-06 22:12:51 +08:00
|
|
|
|
"""
|
|
|
|
|
|
|
|
|
|
"""
|
2023-05-28 14:21:47 +08:00
|
|
|
|
Plugin Version
|
2022-03-06 22:12:51 +08:00
|
|
|
|
"""
|
2023-05-28 14:21:47 +08:00
|
|
|
|
import re
|
|
|
|
|
from typing import List, Callable, Tuple, Optional, Union
|
2022-03-06 22:12:51 +08:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
# 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:
|
2023-05-28 14:21:47 +08:00
|
|
|
|
"""
|
|
|
|
|
A version container that stores semver like version string
|
|
|
|
|
|
|
|
|
|
Example:
|
|
|
|
|
|
|
|
|
|
* ``"1.2.3"``
|
|
|
|
|
* ``"1.0.*"``
|
|
|
|
|
* ``"1.2.3-pre4+build.5"``
|
|
|
|
|
"""
|
2022-03-06 22:12:51 +08:00
|
|
|
|
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]
|
|
|
|
|
|
2023-05-28 14:21:47 +08:00
|
|
|
|
def __init__(self, version_str: str, *, allow_wildcard: bool = True):
|
2022-03-06 22:12:51 +08:00
|
|
|
|
"""
|
2023-05-28 14:21:47 +08:00
|
|
|
|
:param version_str: The version string to be parsed
|
|
|
|
|
:keyword allow_wildcard: If wildcard (``"*"``, ``"x"``, ``"X"``) is allowed. Default: ``True``
|
2022-03-06 22:12:51 +08:00
|
|
|
|
"""
|
|
|
|
|
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
|
|
|
|
|
|
2023-06-08 00:57:03 +08:00
|
|
|
|
def __repr__(self):
|
|
|
|
|
return self.__str__()
|
|
|
|
|
|
2023-05-28 14:21:47 +08:00
|
|
|
|
def __getitem__(self, index: int) -> int:
|
2022-03-06 22:12:51 +08:00
|
|
|
|
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
|
|
|
|
|
|
2023-05-28 14:21:47 +08:00
|
|
|
|
def test(self, target: Union[Version, str]):
|
2022-03-06 22:12:51 +08:00
|
|
|
|
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:
|
2023-05-28 14:21:47 +08:00
|
|
|
|
"""
|
|
|
|
|
A version requirement tester
|
|
|
|
|
|
|
|
|
|
It can test if a given :class:`Version` object matches its requirement
|
|
|
|
|
"""
|
2022-03-06 22:12:51 +08:00
|
|
|
|
CRITERIONS = {
|
|
|
|
|
'<=': lambda base, ver: ver <= base,
|
|
|
|
|
'>=': lambda base, ver: ver >= base,
|
2022-10-11 21:53:55 +08:00
|
|
|
|
'<': 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],
|
2022-03-06 22:12:51 +08:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
def __init__(self, requirements: str):
|
2023-05-28 14:21:47 +08:00
|
|
|
|
"""
|
|
|
|
|
:param requirements: The requirement string, which contains several version predicates connected by space character.
|
|
|
|
|
e.g. ``">=1.0.x"``, ``"^2.9"``, ``">=1.2.0 <1.4.3"``
|
|
|
|
|
"""
|
2022-03-06 22:12:51 +08:00
|
|
|
|
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]))
|
|
|
|
|
|
2023-05-28 14:21:47 +08:00
|
|
|
|
def accept(self, version: Union[Version, str]):
|
2022-03-06 22:12:51 +08:00
|
|
|
|
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):
|
2023-05-28 14:21:47 +08:00
|
|
|
|
pass
|