2015-02-20 15:34:21 +00:00
|
|
|
"""
|
|
|
|
Commonly useful validators.
|
|
|
|
"""
|
|
|
|
|
2015-01-29 11:20:17 +00:00
|
|
|
from __future__ import absolute_import, division, print_function
|
|
|
|
|
2015-01-29 18:39:49 +00:00
|
|
|
from ._make import attr, attributes
|
2015-01-29 11:20:17 +00:00
|
|
|
|
2015-01-29 15:24:49 +00:00
|
|
|
|
2015-02-20 12:29:47 +00:00
|
|
|
@attributes(repr=False)
|
2015-01-29 15:24:49 +00:00
|
|
|
class _InstanceOfValidator(object):
|
2015-03-23 09:42:42 +00:00
|
|
|
type = attr()
|
2015-01-29 11:20:17 +00:00
|
|
|
|
2015-02-09 12:16:56 +00:00
|
|
|
def __call__(self, inst, attr, value):
|
2015-01-29 15:24:49 +00:00
|
|
|
"""
|
|
|
|
We use a callable class to be able to change the ``__repr__``.
|
|
|
|
"""
|
2015-03-23 09:42:42 +00:00
|
|
|
if not isinstance(value, self.type):
|
2015-01-29 11:20:17 +00:00
|
|
|
raise TypeError(
|
|
|
|
"'{name}' must be {type!r} (got {value!r} that is a "
|
|
|
|
"{actual!r})."
|
2015-03-23 09:42:42 +00:00
|
|
|
.format(name=attr.name, type=self.type,
|
2015-01-29 11:20:17 +00:00
|
|
|
actual=value.__class__, value=value),
|
2015-03-23 09:42:42 +00:00
|
|
|
attr, self.type, value,
|
2015-01-29 11:20:17 +00:00
|
|
|
)
|
|
|
|
|
|
|
|
def __repr__(self):
|
|
|
|
return (
|
|
|
|
"<instance_of validator for type {type!r}>"
|
2015-03-23 09:42:42 +00:00
|
|
|
.format(type=self.type)
|
2015-01-29 11:20:17 +00:00
|
|
|
)
|
|
|
|
|
|
|
|
|
2015-03-23 09:42:42 +00:00
|
|
|
def instance_of(type):
|
2015-01-29 11:20:17 +00:00
|
|
|
"""
|
|
|
|
A validator that raises a :exc:`TypeError` if the initializer is called
|
|
|
|
with a wrong type for this particular attribute (checks are perfomed using
|
|
|
|
:func:`isinstance`).
|
|
|
|
|
2015-03-23 09:42:42 +00:00
|
|
|
:param type: The type to check for.
|
|
|
|
:type type: type
|
2015-01-29 11:20:17 +00:00
|
|
|
|
|
|
|
The :exc:`TypeError` is raised with a human readable error message, the
|
|
|
|
attribute (of type :class:`attr.Attribute`), the expected type and the
|
|
|
|
value it got.
|
|
|
|
"""
|
2015-03-23 09:42:42 +00:00
|
|
|
return _InstanceOfValidator(type)
|
2015-01-29 18:04:23 +00:00
|
|
|
|
|
|
|
|
2015-02-20 12:29:47 +00:00
|
|
|
@attributes(repr=False)
|
2015-01-29 18:04:23 +00:00
|
|
|
class _ProvidesValidator(object):
|
2015-01-29 18:39:49 +00:00
|
|
|
interface = attr()
|
2015-01-29 18:04:23 +00:00
|
|
|
|
2015-02-09 12:16:56 +00:00
|
|
|
def __call__(self, inst, attr, value):
|
2015-01-29 18:04:23 +00:00
|
|
|
"""
|
|
|
|
We use a callable class to be able to change the ``__repr__``.
|
|
|
|
"""
|
|
|
|
if not self.interface.providedBy(value):
|
|
|
|
raise TypeError(
|
|
|
|
"'{name}' must provide {interface!r} which {value!r} "
|
|
|
|
"doesn't."
|
|
|
|
.format(name=attr.name, interface=self.interface, value=value),
|
|
|
|
attr, self.interface, value,
|
|
|
|
)
|
|
|
|
|
|
|
|
def __repr__(self):
|
|
|
|
return (
|
|
|
|
"<provides validator for interface {interface!r}>"
|
|
|
|
.format(interface=self.interface)
|
|
|
|
)
|
|
|
|
|
|
|
|
|
|
|
|
def provides(interface):
|
|
|
|
"""
|
|
|
|
A validator that raises a :exc:`TypeError` if the initializer is called
|
|
|
|
with an object that does not provide the requested *interface* (checks are
|
2015-07-14 02:18:49 +00:00
|
|
|
perfomed using ``interface.providedBy(value)`` (see `zope.interface
|
2015-01-29 18:04:23 +00:00
|
|
|
<http://docs.zope.org/zope.interface/>`_).
|
|
|
|
|
2015-03-23 09:42:42 +00:00
|
|
|
:param interface: The interface to check for.
|
|
|
|
:type interface: zope.interface.Interface
|
2015-01-29 18:04:23 +00:00
|
|
|
|
|
|
|
The :exc:`TypeError` is raised with a human readable error message, the
|
|
|
|
attribute (of type :class:`attr.Attribute`), the expected interface, and
|
|
|
|
the value it got.
|
|
|
|
"""
|
|
|
|
return _ProvidesValidator(interface)
|