2022-01-24 04:07:52 +00:00
|
|
|
import functools
|
2019-12-10 20:09:51 +00:00
|
|
|
import re
|
|
|
|
import string
|
2022-01-24 04:07:52 +00:00
|
|
|
import typing as t
|
2019-12-10 20:09:51 +00:00
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
if t.TYPE_CHECKING:
|
|
|
|
import typing_extensions as te
|
2019-12-10 20:09:51 +00:00
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
class HasHTML(te.Protocol):
|
|
|
|
def __html__(self) -> str:
|
|
|
|
pass
|
2019-12-10 20:09:51 +00:00
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
|
|
|
|
__version__ = "2.0.1"
|
2019-12-10 20:09:51 +00:00
|
|
|
|
|
|
|
_striptags_re = re.compile(r"(<!--.*?-->|<[^>]*>)")
|
|
|
|
|
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
def _simple_escaping_wrapper(name: str) -> t.Callable[..., "Markup"]:
|
|
|
|
orig = getattr(str, name)
|
|
|
|
|
|
|
|
@functools.wraps(orig)
|
|
|
|
def wrapped(self: "Markup", *args: t.Any, **kwargs: t.Any) -> "Markup":
|
|
|
|
args = _escape_argspec(list(args), enumerate(args), self.escape) # type: ignore
|
|
|
|
_escape_argspec(kwargs, kwargs.items(), self.escape)
|
|
|
|
return self.__class__(orig(self, *args, **kwargs))
|
|
|
|
|
|
|
|
return wrapped
|
|
|
|
|
|
|
|
|
|
|
|
class Markup(str):
|
2019-12-10 20:09:51 +00:00
|
|
|
"""A string that is ready to be safely inserted into an HTML or XML
|
|
|
|
document, either because it was escaped or because it was marked
|
|
|
|
safe.
|
|
|
|
|
|
|
|
Passing an object to the constructor converts it to text and wraps
|
|
|
|
it to mark it safe without escaping. To escape the text, use the
|
|
|
|
:meth:`escape` class method instead.
|
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
>>> Markup("Hello, <em>World</em>!")
|
2019-12-10 20:09:51 +00:00
|
|
|
Markup('Hello, <em>World</em>!')
|
|
|
|
>>> Markup(42)
|
|
|
|
Markup('42')
|
2022-01-24 04:07:52 +00:00
|
|
|
>>> Markup.escape("Hello, <em>World</em>!")
|
2019-12-10 20:09:51 +00:00
|
|
|
Markup('Hello <em>World</em>!')
|
|
|
|
|
|
|
|
This implements the ``__html__()`` interface that some frameworks
|
|
|
|
use. Passing an object that implements ``__html__()`` will wrap the
|
|
|
|
output of that method, marking it safe.
|
|
|
|
|
|
|
|
>>> class Foo:
|
|
|
|
... def __html__(self):
|
|
|
|
... return '<a href="/foo">foo</a>'
|
|
|
|
...
|
|
|
|
>>> Markup(Foo())
|
|
|
|
Markup('<a href="/foo">foo</a>')
|
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
This is a subclass of :class:`str`. It has the same methods, but
|
|
|
|
escapes their arguments and returns a ``Markup`` instance.
|
2019-12-10 20:09:51 +00:00
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
>>> Markup("<em>%s</em>") % ("foo & bar",)
|
2019-12-10 20:09:51 +00:00
|
|
|
Markup('<em>foo & bar</em>')
|
2022-01-24 04:07:52 +00:00
|
|
|
>>> Markup("<em>Hello</em> ") + "<foo>"
|
2019-12-10 20:09:51 +00:00
|
|
|
Markup('<em>Hello</em> <foo>')
|
|
|
|
"""
|
|
|
|
|
|
|
|
__slots__ = ()
|
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
def __new__(
|
|
|
|
cls, base: t.Any = "", encoding: t.Optional[str] = None, errors: str = "strict"
|
|
|
|
) -> "Markup":
|
2019-12-10 20:09:51 +00:00
|
|
|
if hasattr(base, "__html__"):
|
|
|
|
base = base.__html__()
|
2022-01-24 04:07:52 +00:00
|
|
|
|
2019-12-10 20:09:51 +00:00
|
|
|
if encoding is None:
|
2022-01-24 04:07:52 +00:00
|
|
|
return super().__new__(cls, base)
|
2019-12-10 20:09:51 +00:00
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
return super().__new__(cls, base, encoding, errors)
|
|
|
|
|
|
|
|
def __html__(self) -> "Markup":
|
2019-12-10 20:09:51 +00:00
|
|
|
return self
|
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
def __add__(self, other: t.Union[str, "HasHTML"]) -> "Markup":
|
|
|
|
if isinstance(other, str) or hasattr(other, "__html__"):
|
|
|
|
return self.__class__(super().__add__(self.escape(other)))
|
|
|
|
|
2019-12-10 20:09:51 +00:00
|
|
|
return NotImplemented
|
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
def __radd__(self, other: t.Union[str, "HasHTML"]) -> "Markup":
|
|
|
|
if isinstance(other, str) or hasattr(other, "__html__"):
|
2019-12-10 20:09:51 +00:00
|
|
|
return self.escape(other).__add__(self)
|
|
|
|
|
|
|
|
return NotImplemented
|
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
def __mul__(self, num: int) -> "Markup":
|
|
|
|
if isinstance(num, int):
|
|
|
|
return self.__class__(super().__mul__(num))
|
|
|
|
|
|
|
|
return NotImplemented # type: ignore
|
|
|
|
|
2019-12-10 20:09:51 +00:00
|
|
|
__rmul__ = __mul__
|
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
def __mod__(self, arg: t.Any) -> "Markup":
|
2019-12-10 20:09:51 +00:00
|
|
|
if isinstance(arg, tuple):
|
|
|
|
arg = tuple(_MarkupEscapeHelper(x, self.escape) for x in arg)
|
|
|
|
else:
|
|
|
|
arg = _MarkupEscapeHelper(arg, self.escape)
|
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
return self.__class__(super().__mod__(arg))
|
|
|
|
|
|
|
|
def __repr__(self) -> str:
|
|
|
|
return f"{self.__class__.__name__}({super().__repr__()})"
|
2019-12-10 20:09:51 +00:00
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
def join(self, seq: t.Iterable[t.Union[str, "HasHTML"]]) -> "Markup":
|
|
|
|
return self.__class__(super().join(map(self.escape, seq)))
|
2019-12-10 20:09:51 +00:00
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
join.__doc__ = str.join.__doc__
|
2019-12-10 20:09:51 +00:00
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
def split( # type: ignore
|
|
|
|
self, sep: t.Optional[str] = None, maxsplit: int = -1
|
|
|
|
) -> t.List["Markup"]:
|
|
|
|
return [self.__class__(v) for v in super().split(sep, maxsplit)]
|
2019-12-10 20:09:51 +00:00
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
split.__doc__ = str.split.__doc__
|
2019-12-10 20:09:51 +00:00
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
def rsplit( # type: ignore
|
|
|
|
self, sep: t.Optional[str] = None, maxsplit: int = -1
|
|
|
|
) -> t.List["Markup"]:
|
|
|
|
return [self.__class__(v) for v in super().rsplit(sep, maxsplit)]
|
2019-12-10 20:09:51 +00:00
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
rsplit.__doc__ = str.rsplit.__doc__
|
2019-12-10 20:09:51 +00:00
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
def splitlines(self, keepends: bool = False) -> t.List["Markup"]: # type: ignore
|
|
|
|
return [self.__class__(v) for v in super().splitlines(keepends)]
|
2019-12-10 20:09:51 +00:00
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
splitlines.__doc__ = str.splitlines.__doc__
|
2019-12-10 20:09:51 +00:00
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
def unescape(self) -> str:
|
2019-12-10 20:09:51 +00:00
|
|
|
"""Convert escaped markup back into a text string. This replaces
|
|
|
|
HTML entities with the characters they represent.
|
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
>>> Markup("Main » <em>About</em>").unescape()
|
2019-12-10 20:09:51 +00:00
|
|
|
'Main » <em>About</em>'
|
|
|
|
"""
|
2022-01-24 04:07:52 +00:00
|
|
|
from html import unescape
|
|
|
|
|
|
|
|
return unescape(str(self))
|
|
|
|
|
|
|
|
def striptags(self) -> str:
|
2019-12-10 20:09:51 +00:00
|
|
|
""":meth:`unescape` the markup, remove tags, and normalize
|
|
|
|
whitespace to single spaces.
|
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
>>> Markup("Main »\t<em>About</em>").striptags()
|
2019-12-10 20:09:51 +00:00
|
|
|
'Main » About'
|
|
|
|
"""
|
2022-01-24 04:07:52 +00:00
|
|
|
stripped = " ".join(_striptags_re.sub("", self).split())
|
2019-12-10 20:09:51 +00:00
|
|
|
return Markup(stripped).unescape()
|
|
|
|
|
|
|
|
@classmethod
|
2022-01-24 04:07:52 +00:00
|
|
|
def escape(cls, s: t.Any) -> "Markup":
|
2019-12-10 20:09:51 +00:00
|
|
|
"""Escape a string. Calls :func:`escape` and ensures that for
|
|
|
|
subclasses the correct type is returned.
|
|
|
|
"""
|
|
|
|
rv = escape(s)
|
2022-01-24 04:07:52 +00:00
|
|
|
|
2019-12-10 20:09:51 +00:00
|
|
|
if rv.__class__ is not cls:
|
|
|
|
return cls(rv)
|
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
return rv
|
2019-12-10 20:09:51 +00:00
|
|
|
|
|
|
|
for method in (
|
|
|
|
"__getitem__",
|
|
|
|
"capitalize",
|
|
|
|
"title",
|
|
|
|
"lower",
|
|
|
|
"upper",
|
|
|
|
"replace",
|
|
|
|
"ljust",
|
|
|
|
"rjust",
|
|
|
|
"lstrip",
|
|
|
|
"rstrip",
|
|
|
|
"center",
|
|
|
|
"strip",
|
|
|
|
"translate",
|
|
|
|
"expandtabs",
|
|
|
|
"swapcase",
|
|
|
|
"zfill",
|
|
|
|
):
|
2022-01-24 04:07:52 +00:00
|
|
|
locals()[method] = _simple_escaping_wrapper(method)
|
|
|
|
|
|
|
|
del method
|
2019-12-10 20:09:51 +00:00
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
def partition(self, sep: str) -> t.Tuple["Markup", "Markup", "Markup"]:
|
|
|
|
l, s, r = super().partition(self.escape(sep))
|
|
|
|
cls = self.__class__
|
|
|
|
return cls(l), cls(s), cls(r)
|
2019-12-10 20:09:51 +00:00
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
def rpartition(self, sep: str) -> t.Tuple["Markup", "Markup", "Markup"]:
|
|
|
|
l, s, r = super().rpartition(self.escape(sep))
|
|
|
|
cls = self.__class__
|
|
|
|
return cls(l), cls(s), cls(r)
|
2019-12-10 20:09:51 +00:00
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
def format(self, *args: t.Any, **kwargs: t.Any) -> "Markup":
|
2019-12-10 20:09:51 +00:00
|
|
|
formatter = EscapeFormatter(self.escape)
|
|
|
|
return self.__class__(formatter.vformat(self, args, kwargs))
|
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
def __html_format__(self, format_spec: str) -> "Markup":
|
2019-12-10 20:09:51 +00:00
|
|
|
if format_spec:
|
2022-01-24 04:07:52 +00:00
|
|
|
raise ValueError("Unsupported format specification for Markup.")
|
|
|
|
|
2019-12-10 20:09:51 +00:00
|
|
|
return self
|
|
|
|
|
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
class EscapeFormatter(string.Formatter):
|
|
|
|
__slots__ = ("escape",)
|
2019-12-10 20:09:51 +00:00
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
def __init__(self, escape: t.Callable[[t.Any], Markup]) -> None:
|
|
|
|
self.escape = escape
|
|
|
|
super().__init__()
|
|
|
|
|
|
|
|
def format_field(self, value: t.Any, format_spec: str) -> str:
|
|
|
|
if hasattr(value, "__html_format__"):
|
|
|
|
rv = value.__html_format__(format_spec)
|
|
|
|
elif hasattr(value, "__html__"):
|
|
|
|
if format_spec:
|
|
|
|
raise ValueError(
|
|
|
|
f"Format specifier {format_spec} given, but {type(value)} does not"
|
|
|
|
" define __html_format__. A class that defines __html__ must define"
|
|
|
|
" __html_format__ to work with format specifiers."
|
|
|
|
)
|
|
|
|
rv = value.__html__()
|
|
|
|
else:
|
|
|
|
# We need to make sure the format spec is str here as
|
|
|
|
# otherwise the wrong callback methods are invoked.
|
|
|
|
rv = string.Formatter.format_field(self, value, str(format_spec))
|
|
|
|
return str(self.escape(rv))
|
2019-12-10 20:09:51 +00:00
|
|
|
|
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
_ListOrDict = t.TypeVar("_ListOrDict", list, dict)
|
2019-12-10 20:09:51 +00:00
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
|
|
|
|
def _escape_argspec(
|
|
|
|
obj: _ListOrDict, iterable: t.Iterable[t.Any], escape: t.Callable[[t.Any], Markup]
|
|
|
|
) -> _ListOrDict:
|
2019-12-10 20:09:51 +00:00
|
|
|
"""Helper for various string-wrapped functions."""
|
|
|
|
for key, value in iterable:
|
2022-01-24 04:07:52 +00:00
|
|
|
if isinstance(value, str) or hasattr(value, "__html__"):
|
2019-12-10 20:09:51 +00:00
|
|
|
obj[key] = escape(value)
|
2022-01-24 04:07:52 +00:00
|
|
|
|
2019-12-10 20:09:51 +00:00
|
|
|
return obj
|
|
|
|
|
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
class _MarkupEscapeHelper:
|
|
|
|
"""Helper for :meth:`Markup.__mod__`."""
|
2019-12-10 20:09:51 +00:00
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
__slots__ = ("obj", "escape")
|
|
|
|
|
|
|
|
def __init__(self, obj: t.Any, escape: t.Callable[[t.Any], Markup]) -> None:
|
2019-12-10 20:09:51 +00:00
|
|
|
self.obj = obj
|
|
|
|
self.escape = escape
|
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
def __getitem__(self, item: t.Any) -> "_MarkupEscapeHelper":
|
2019-12-10 20:09:51 +00:00
|
|
|
return _MarkupEscapeHelper(self.obj[item], self.escape)
|
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
def __str__(self) -> str:
|
|
|
|
return str(self.escape(self.obj))
|
2019-12-10 20:09:51 +00:00
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
def __repr__(self) -> str:
|
2019-12-10 20:09:51 +00:00
|
|
|
return str(self.escape(repr(self.obj)))
|
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
def __int__(self) -> int:
|
2019-12-10 20:09:51 +00:00
|
|
|
return int(self.obj)
|
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
def __float__(self) -> float:
|
2019-12-10 20:09:51 +00:00
|
|
|
return float(self.obj)
|
|
|
|
|
|
|
|
|
2022-01-24 04:07:52 +00:00
|
|
|
# circular import
|
2019-12-10 20:09:51 +00:00
|
|
|
try:
|
2022-01-24 04:07:52 +00:00
|
|
|
from ._speedups import escape as escape
|
|
|
|
from ._speedups import escape_silent as escape_silent
|
|
|
|
from ._speedups import soft_str as soft_str
|
|
|
|
from ._speedups import soft_unicode
|
2019-12-10 20:09:51 +00:00
|
|
|
except ImportError:
|
2022-01-24 04:07:52 +00:00
|
|
|
from ._native import escape as escape
|
|
|
|
from ._native import escape_silent as escape_silent # noqa: F401
|
|
|
|
from ._native import soft_str as soft_str # noqa: F401
|
|
|
|
from ._native import soft_unicode # noqa: F401
|