Spaces:
Running
Running
import sys | |
import typing as t | |
from types import CodeType | |
from types import TracebackType | |
from .exceptions import TemplateSyntaxError | |
from .utils import internal_code | |
from .utils import missing | |
if t.TYPE_CHECKING: | |
from .runtime import Context | |
def rewrite_traceback_stack(source: t.Optional[str] = None) -> BaseException: | |
"""Rewrite the current exception to replace any tracebacks from | |
within compiled template code with tracebacks that look like they | |
came from the template source. | |
This must be called within an ``except`` block. | |
:param source: For ``TemplateSyntaxError``, the original source if | |
known. | |
:return: The original exception with the rewritten traceback. | |
""" | |
_, exc_value, tb = sys.exc_info() | |
exc_value = t.cast(BaseException, exc_value) | |
tb = t.cast(TracebackType, tb) | |
if isinstance(exc_value, TemplateSyntaxError) and not exc_value.translated: | |
exc_value.translated = True | |
exc_value.source = source | |
# Remove the old traceback, otherwise the frames from the | |
# compiler still show up. | |
exc_value.with_traceback(None) | |
# Outside of runtime, so the frame isn't executing template | |
# code, but it still needs to point at the template. | |
tb = fake_traceback( | |
exc_value, None, exc_value.filename or "<unknown>", exc_value.lineno | |
) | |
else: | |
# Skip the frame for the render function. | |
tb = tb.tb_next | |
stack = [] | |
# Build the stack of traceback object, replacing any in template | |
# code with the source file and line information. | |
while tb is not None: | |
# Skip frames decorated with @internalcode. These are internal | |
# calls that aren't useful in template debugging output. | |
if tb.tb_frame.f_code in internal_code: | |
tb = tb.tb_next | |
continue | |
template = tb.tb_frame.f_globals.get("__jinja_template__") | |
if template is not None: | |
lineno = template.get_corresponding_lineno(tb.tb_lineno) | |
fake_tb = fake_traceback(exc_value, tb, template.filename, lineno) | |
stack.append(fake_tb) | |
else: | |
stack.append(tb) | |
tb = tb.tb_next | |
tb_next = None | |
# Assign tb_next in reverse to avoid circular references. | |
for tb in reversed(stack): | |
tb.tb_next = tb_next | |
tb_next = tb | |
return exc_value.with_traceback(tb_next) | |
def fake_traceback( # type: ignore | |
exc_value: BaseException, tb: t.Optional[TracebackType], filename: str, lineno: int | |
) -> TracebackType: | |
"""Produce a new traceback object that looks like it came from the | |
template source instead of the compiled code. The filename, line | |
number, and location name will point to the template, and the local | |
variables will be the current template context. | |
:param exc_value: The original exception to be re-raised to create | |
the new traceback. | |
:param tb: The original traceback to get the local variables and | |
code info from. | |
:param filename: The template filename. | |
:param lineno: The line number in the template source. | |
""" | |
if tb is not None: | |
# Replace the real locals with the context that would be | |
# available at that point in the template. | |
locals = get_template_locals(tb.tb_frame.f_locals) | |
locals.pop("__jinja_exception__", None) | |
else: | |
locals = {} | |
globals = { | |
"__name__": filename, | |
"__file__": filename, | |
"__jinja_exception__": exc_value, | |
} | |
# Raise an exception at the correct line number. | |
code: CodeType = compile( | |
"\n" * (lineno - 1) + "raise __jinja_exception__", filename, "exec" | |
) | |
# Build a new code object that points to the template file and | |
# replaces the location with a block name. | |
location = "template" | |
if tb is not None: | |
function = tb.tb_frame.f_code.co_name | |
if function == "root": | |
location = "top-level template code" | |
elif function.startswith("block_"): | |
location = f"block {function[6:]!r}" | |
if sys.version_info >= (3, 8): | |
code = code.replace(co_name=location) | |
else: | |
code = CodeType( | |
code.co_argcount, | |
code.co_kwonlyargcount, | |
code.co_nlocals, | |
code.co_stacksize, | |
code.co_flags, | |
code.co_code, | |
code.co_consts, | |
code.co_names, | |
code.co_varnames, | |
code.co_filename, | |
location, | |
code.co_firstlineno, | |
code.co_lnotab, | |
code.co_freevars, | |
code.co_cellvars, | |
) | |
# Execute the new code, which is guaranteed to raise, and return | |
# the new traceback without this frame. | |
try: | |
exec(code, globals, locals) | |
except BaseException: | |
return sys.exc_info()[2].tb_next # type: ignore | |
def get_template_locals(real_locals: t.Mapping[str, t.Any]) -> t.Dict[str, t.Any]: | |
"""Based on the runtime locals, get the context that would be | |
available at that point in the template. | |
""" | |
# Start with the current template context. | |
ctx: "t.Optional[Context]" = real_locals.get("context") | |
if ctx is not None: | |
data: t.Dict[str, t.Any] = ctx.get_all().copy() | |
else: | |
data = {} | |
# Might be in a derived context that only sets local variables | |
# rather than pushing a context. Local variables follow the scheme | |
# l_depth_name. Find the highest-depth local that has a value for | |
# each name. | |
local_overrides: t.Dict[str, t.Tuple[int, t.Any]] = {} | |
for name, value in real_locals.items(): | |
if not name.startswith("l_") or value is missing: | |
# Not a template variable, or no longer relevant. | |
continue | |
try: | |
_, depth_str, name = name.split("_", 2) | |
depth = int(depth_str) | |
except ValueError: | |
continue | |
cur_depth = local_overrides.get(name, (-1,))[0] | |
if cur_depth < depth: | |
local_overrides[name] = (depth, value) | |
# Modify the context with any derived context. | |
for name, (_, value) in local_overrides.items(): | |
if value is missing: | |
data.pop(name, None) | |
else: | |
data[name] = value | |
return data | |