1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
|
"""
.. codeauthor:: Tsuyoshi Hombashi <tsuyoshi.hombashi@gmail.com>
"""
import re
from decimal import Decimal
from ._checker import CheckerFactory, TypeCheckerBase, TypeCheckerDelegator
from ._common import isinf, isnan
RE_SCIENTIFIC_NOTATION = re.compile(r"^-?\d+(?:\.\d*)?[eE][+\-]?\d{3,}$")
class IntegerTypeCheckerStrictLevel0(TypeCheckerBase):
def is_instance(self):
if isinstance(self._value, int):
return not isinstance(self._value, bool)
if isinstance(self._value, (float, Decimal)):
return True
return False
def is_exclude_instance(self):
return isnan(self._value) or isinf(self._value)
class IntegerTypeCheckerStrictLevel1(IntegerTypeCheckerStrictLevel0):
def is_instance(self):
if not super().is_instance():
return False
if isinstance(self._value, (float, Decimal)):
if float(self._value).is_integer():
return True
try:
return self._value.is_integer()
except AttributeError:
pass
return False
def is_exclude_instance(self):
from ..type._realnumber import RealNumber
return (
super().is_exclude_instance()
or isinstance(self._value, bool)
or RealNumber(self._value, strict_level=1).is_type()
or (isinstance(self._value, str) and RE_SCIENTIFIC_NOTATION.search(self._value))
)
class IntegerTypeCheckerStrictLevel2(IntegerTypeCheckerStrictLevel1):
def is_exclude_instance(self):
return isinstance(self._value, (str,) + (bool, float, Decimal))
_factory = CheckerFactory(
checker_mapping={
0: IntegerTypeCheckerStrictLevel0,
1: IntegerTypeCheckerStrictLevel1,
2: IntegerTypeCheckerStrictLevel2,
}
)
class IntegerTypeChecker(TypeCheckerDelegator):
def __init__(self, value, strict_level):
super().__init__(value=value, checker_factory=_factory, strict_level=strict_level)
|
