Source code for jishaku.repl.compilation

# -*- coding: utf-8 -*-

"""
jishaku.repl.compilation
~~~~~~~~~~~~~~~~~~~~~~~~

Constants, functions and classes related to classifying, compiling and executing Python code.

:copyright: (c) 2021 Devon (Gorialis) R
:license: MIT, see LICENSE for more details.

"""

import ast
import asyncio
import inspect
import linecache

import import_expression

from jishaku.functools import AsyncSender
from jishaku.repl.scope import Scope
from jishaku.repl.walkers import KeywordTransformer

CORO_CODE = f"""
async def _repl_coroutine({{0}}):
    import asyncio
    from importlib import import_module as {import_expression.constants.IMPORTER}

    import aiohttp
    import discord
    from discord.ext import commands

    try:
        import jishaku
    except ImportError:
        jishaku = None  # keep working even if in panic recovery mode

    try:
        pass
    finally:
        _async_executor.scope.globals.update(locals())
"""


def wrap_code(code: str, args: str = "") -> ast.Module:
    """
    Compiles Python code into an async function or generator,
    and automatically adds return if the function body is a single evaluation.
    Also adds inline import expression support.
    """

    user_code = import_expression.parse(code, mode="exec")
    mod = import_expression.parse(CORO_CODE.format(args), mode="exec")

    definition = mod.body[-1]  # async def ...:
    assert isinstance(definition, ast.AsyncFunctionDef)

    try_block = definition.body[-1]  # try:
    assert isinstance(try_block, ast.Try)

    try_block.body.extend(user_code.body)

    ast.fix_missing_locations(mod)

    KeywordTransformer().generic_visit(try_block)

    last_expr = try_block.body[-1]

    # if the last part isn't an expression, ignore it
    if not isinstance(last_expr, ast.Expr):
        return mod

    # if the last expression is not a yield
    if not isinstance(last_expr.value, ast.Yield):
        # copy the value of the expression into a yield
        yield_stmt = ast.Yield(last_expr.value)
        ast.copy_location(yield_stmt, last_expr)
        # place the yield into its own expression
        yield_expr = ast.Expr(yield_stmt)
        ast.copy_location(yield_expr, last_expr)

        # place the yield where the original expression was
        try_block.body[-1] = yield_expr

    return mod


[docs]class AsyncCodeExecutor: # pylint: disable=too-few-public-methods """ Executes/evaluates Python code inside of an async function or generator. Example ------- .. code:: python3 total = 0 # prints 1, 2 and 3 async for x in AsyncCodeExecutor('yield 1; yield 2; yield 3'): total += x print(x) # prints 6 print(total) """ __slots__ = ("args", "arg_names", "code", "loop", "scope", "source") def __init__( self, code: str, scope: Scope = None, arg_dict: dict = None, loop: asyncio.BaseEventLoop = None, ): self.args = [self] self.arg_names = ["_async_executor"] if arg_dict: for key, value in arg_dict.items(): self.arg_names.append(key) self.args.append(value) self.source = code self.code = wrap_code(code, args=", ".join(self.arg_names)) self.scope = scope or Scope() self.loop = loop or asyncio.get_event_loop() def __aiter__(self): exec(compile(self.code, "<repl>", "exec"), self.scope.globals, self.scope.locals) # pylint: disable=exec-used func_def = self.scope.locals.get("_repl_coroutine") or self.scope.globals["_repl_coroutine"] return self.traverse(func_def)
[docs] async def traverse(self, func): """ Traverses an async function or generator, yielding each result. This function is private. The class should be used as an iterator instead of using this method. """ try: if inspect.isasyncgenfunction(func): async for send, result in AsyncSender(func(*self.args)): send((yield result)) else: yield await func(*self.args) except Exception: # pylint: disable=broad-except # Falsely populate the linecache to make the REPL line appear in tracebacks linecache.cache["<repl>"] = ( len(self.source), # Source length None, # Time modified (None bypasses expunge) [line + "\n" for line in self.source.splitlines()], # Line list "<repl>", # 'True' filename ) raise