import opcode
import os
import re
import sys
import six

from types import CodeType, MethodType

from . import code_rewriting_importer

from .py_frame_object import get_value_stack_top


class ValueStack(object):
    """CPython stack that holds values used and generated during computation.

    Right before a function call value stack looks like this:

        +---------------------  <--- frame.f_valuestack
        | function object
        +----------
        | ...
        | list of positional arguments
        | ...
        +----------
        | ...
        | flat list of keyword arguments (key-value pairs)
        | ...
        +----------
        | *varargs tuple
        +----------
        | **kwargs dictionary
        +---------------------  <--- frame.f_stacktop

    When a function is called with no arguments, the function object is at the
    top of the stack. When arguments are present, they are placed above the
    function object. Two bytes after the CALL_FUNCTION bytecode contain number
    of positional and keyword arguments passed. Bytecode number tells us whether
    a call included single star (*args) and/or double star (**kwargs) arguments.

    To get to the values at the stack we look at it from the top, from
    frame.f_stacktop downwards. Since f_stacktop points at the memory right
    after the last value, all offsets have to be negative. For example,
    frame.f_stacktop[-1] is an object at the top of the value stack.
    """
    def __init__(self, frame, bcode):
        assert bcode.name.startswith("CALL_FUNCTION")

        self.stack = get_value_stack_top(frame)
        self.positional_args_count = bcode.arg1
        self.keyword_args_count = bcode.arg2
        self.args_count = self.positional_args_count + 2*self.keyword_args_count

        # There are four bytecodes for function calls, that tell use whether
        # single star (*args) and/or double star (**kwargs) notation was
        # used: CALL_FUNCTION, CALL_FUNCTION_VAR, CALL_FUNCTION_KW
        # and CALL_FUNCTION_VAR_KW.
        self.singlestar = "_VAR" in bcode.name
        self.doublestar = "_KW" in bcode.name

    def bottom(self):
        """The first object at the value stack.

        It's the function being called for all CALL_FUNCTION_* bytecodes.
        """
        offset = 1 + self.args_count + self.singlestar + self.doublestar
        return self.stack[-offset]

    def positional_args(self):
        """List of all positional arguments passed to a C function.
        """
        args = self.positional_args_from_stack()[:]
        if self.singlestar:
            args.extend(self.positional_args_from_varargs())
        return args

    def values(self, offset, count):
        """Return a list of `count` values from stack starting at `offset`.
        """
        def v():
            for i in range(-offset, -offset + count):
                yield self.stack[i]
        return list(v())

    def positional_args_from_stack(self):
        """Objects explicitly placed on stack as positional arguments.
        """
        offset = self.args_count + self.singlestar + self.doublestar
        return self.values(offset, self.positional_args_count)

    def positional_args_from_varargs(self):
        """Iterable placed on stack as "*args".
        """
        return self.stack[-1 - self.doublestar]

    def keyword_args(self):
        """Dictionary of all keyword arguments passed to a C function.
        """
        kwds = self.keyword_args_from_stack().copy()
        if self.doublestar:
            kwds.update(self.keyword_args_from_double_star())
        return kwds

    def keyword_args_from_stack(self):
        """Key/value pairs placed explicitly on stack as keyword arguments.
        """
        offset = 2*self.keyword_args_count + self.singlestar + self.doublestar
        args = self.values(offset, 2*self.keyword_args_count)
        return flatlist_to_dict(args)

    def keyword_args_from_double_star(self):
        """Dictionary passed as "**kwds".
        """
        return self.stack[-1]


def flatlist_to_dict(alist):
    return dict(zip(alist[::2], alist[1::2]))

class Bytecode(object):
    def __init__(self, name, arg1=None, arg2=None):
        self.name = name
        self.arg1 = arg1
        self.arg2 = arg2

def current_bytecode(frame):
    code = frame.f_code.co_code[frame.f_lasti:]
    op = ord(code[0])
    name = opcode.opname[op]
    arg1, arg2 = None, None
    if op >= opcode.HAVE_ARGUMENT:
        arg1 = ord(code[1])
        arg2 = ord(code[2])
    return Bytecode(name=name, arg1=arg1, arg2=arg2)

def is_c_func(func):
    """Return True if given function object was implemented in C,
    via a C extension or as a builtin.

    >>> is_c_func(repr)
    True
    >>> import sys
    >>> is_c_func(sys.exit)
    True
    >>> import doctest
    >>> is_c_func(doctest.testmod)
    False
    """
    return not hasattr(func, 'func_code')

def name_from_arg(frame, bcode):
    return frame.f_code.co_names[bcode.arg1]

def frame_module(frame):
    g = frame.f_globals
    for module in sys.modules.itervalues():
        if hasattr(module, '__dict__') and module.__dict__ is g:
            return module

class StandardBytecodeTracer(object):
    """A tracer that goes over each bytecode and reports events that couldn't
    be traced by other means.

    Usage example:
        def trace(frame, event, arg):
            bytecode_events = list(btracer.trace(frame, event))
            if bytecode_events:
                for ev, rest in bytecode_events:
                    pass # Here handle BytecodeTracer events, like 'c_call', 'c_return', 'print' or 'print_to'.
            else:
                pass # Here handle the usual tracer events, like 'call', 'return' and 'exception'.
            return trace
        sys.settrace(trace)
        try:
            pass # Some code to trace... You may need to call rewrite_function first.
        finally:
            sys.settrace(None)
    """
    def __init__(self):
        # Will contain False for calls to Python functions and True for calls to
        # C functions.
        self.call_stack = []

    def setup(self):
        code_rewriting_importer.install(rewrite_lnotab)

    def teardown(self):
        code_rewriting_importer.uninstall()

    def trace(self, frame, event):
        """Tries to recognize the current event in terms of calls to and returns
        from C.

        Currently supported events:
         * ('c_call', (function, positional_arguments, keyword_arguments))
           A call to a C function with given arguments is about to happen.
         * ('c_return', return_value)
           A C function returned with given value (it will always be the function
           for the most recent 'c_call' event).
         * ('print', value)
         * ('print_to', (value, output))
           A print statement is about to be executed.
         * ('store_attr', (object, name, value))
         * ('delete_attr', (object, name))
           An instance variable of object is about to be changed or deleted.
         * ('load_global', (module, name))
         * ('store_global', (module, name, value))
         * ('delete_global', (module, name))
           A global variable is about to be read, written or deleted.

        It is a generator and it yields a sequence of events, as a single
        bytecode may generate more than one event. Canonical example is
        a sequence of CALL_FUNCTION bytecodes. Execution of the first bytecode
        causes a 'c_call' event. Execution of the second bytecode causes two
        consecutive events: 'c_return' and another 'c_call'.
        """
        if event == 'line':
            if self.call_stack[-1]:
                self.call_stack.pop()
                stack = get_value_stack_top(frame)
                # Rewrite a code object each time it is returned by some
                # C function. Most commonly that will be the 'compile' function.
                # TODO: Make sure the old code is garbage collected.
                if type(stack[-1]) is CodeType:
                    stack[-1] = rewrite_lnotab(stack[-1])
                yield 'c_return', stack[-1]
            bcode = current_bytecode(frame)
            if bcode.name.startswith("CALL_FUNCTION"):
                value_stack = ValueStack(frame, bcode)
                function = value_stack.bottom()
                # Python functions are handled by the standard trace mechanism, but
                # we have to make sure any C calls the function makes can be traced
                # by us later, so we rewrite its bytecode.
                if not is_c_func(function):
                    rewrite_function(function)
                    return
                self.call_stack.append(True)
                pargs = value_stack.positional_args()
                kargs = value_stack.keyword_args()
                # Rewrite all callables that may have been passed to the C function.
                rewrite_all(pargs + kargs.values())
                yield 'c_call', (function, pargs, kargs)
            elif bcode.name == "PRINT_NEWLINE":
                yield 'print', os.linesep
            else:
                stack = get_value_stack_top(frame)
                if bcode.name == "PRINT_NEWLINE_TO":
                    yield 'print_to', (os.linesep, stack[-1])
                elif bcode.name == "PRINT_ITEM":
                    yield 'print', stack[-1]
                elif bcode.name == "PRINT_ITEM_TO":
                    yield 'print_to', (stack[-2], stack[-1])
                elif bcode.name == "STORE_ATTR":
                    yield 'store_attr', (stack[-1], name_from_arg(frame, bcode), stack[-2])
                elif bcode.name == "DELETE_ATTR":
                    yield 'delete_attr', (stack[-1], name_from_arg(frame, bcode))
                elif bcode.name == "LOAD_GLOBAL":
                    module = frame_module(frame)
                    if module:
                        try:
                            name = name_from_arg(frame, bcode)
                            value = frame.f_globals[name]
                            yield 'load_global', (module.__name__, name, value)
                        except KeyError:
                            pass
                elif bcode.name == "STORE_GLOBAL":
                    module = frame_module(frame)
                    if module:
                        yield 'store_global', (module.__name__,
                                               name_from_arg(frame, bcode),
                                               stack[-1])
                elif bcode.name == "DELETE_GLOBAL":
                    module = frame_module(frame)
                    if module:
                        yield 'delete_global', (module.__name__,
                                                name_from_arg(frame, bcode))
        elif event == 'call':
            self.call_stack.append(False)
        # When an exception happens in Python >= 2.4 code, 'exception' and
        # 'return' events are reported in succession. Exceptions raised from
        # C functions don't generate the 'return' event, so we have to pop
        # from the stack right away and simulate the 'c_return' event
        # ourselves.
        elif event == 'exception' and self.call_stack[-1]:
            yield 'c_return', None
            self.call_stack.pop()
        # Python functions always generate a 'return' event, even when an exception
        # has been raised, so let's just check for that.
        elif event == 'return':
            self.call_stack.pop()

class Python23BytecodeTracer(StandardBytecodeTracer):
    """Version of the tracer working around a subtle difference in exception
    handling of Python 2.3.

    In Python 2.4 and higher, when a function (or method) exits with
    an exception, interpreter reports two events to a trace function:
    first 'exception' and then 'return' right after that.

    In Python 2.3 the second event isn't reported, i.e. only 'exception'
    events are passed to a trace function. For the sake of consistency this
    version of the tracer will act just as the 'return' event would happen
    before each consecutive exception reported.
    """
    def __init__(self, *args):
        super(Python23BytecodeTracer, self).__init__(*args)
        self.propagating_exception = False

    def trace(self, frame, event):
        if event == 'exception':
            if self.propagating_exception:
                self.call_stack.pop()
            else:
                self.propagating_exception = True
        else:
            self.propagating_exception = False
        return super(Python23BytecodeTracer, self).trace(frame, event)

if sys.version_info < (2, 4):
    BytecodeTracer = Python23BytecodeTracer
else:
    BytecodeTracer = StandardBytecodeTracer

def rewrite_lnotab(code):
    """Replace a code object's line number information to claim that every
    byte of the bytecode is a new line. Returns a new code object.
    Also recurses to hack the line numbers in nested code objects.

    Based on Ned Batchelder's hackpyc.py:
      http://nedbatchelder.com/blog/200804/wicked_hack_python_bytecode_tracing.html
    """
    if has_been_rewritten(code):
        return code
    n_bytes = len(code.co_code)
    new_lnotab = "\x01\x01" * (n_bytes-1)
    new_consts = []
    for const in code.co_consts:
        if type(const) is CodeType:
            new_consts.append(rewrite_lnotab(const))
        else:
            new_consts.append(const)
    if sys.version_info.major < 3:
        return CodeType(code.co_argcount, code.co_nlocals, code.co_stacksize,
            code.co_flags, code.co_code, tuple(new_consts), code.co_names,
            code.co_varnames, code.co_filename, code.co_name, 0, new_lnotab,
            code.co_freevars,
            code.co_cellvars)
    else:
        # In later Python3 magic_ints, there is a
        # kwonlyargcount parameter which we set to 0.
        # https://github.com/rocky/python-xdis/blob/master/xdis/unmarshal.py line 165
        # https://stackoverflow.com/questions/10116650/typeerror-on-codetype-creation-in-python-3
        kwonlyargcount = 0
        return CodeType(code.co_argcount, kwonlyargcount, code.co_nlocals, code.co_stacksize,
            code.co_flags, code.co_code, tuple(new_consts), code.co_names,
            code.co_varnames, code.co_filename, code.co_name, 0, bytes(new_lnotab, encoding='utf-8'),
            code.co_freevars, code.co_cellvars)
          #code = Code(co_argcount, kwonlyargcount, co_nlocals, co_stacksize, co_flags,
                #co_code, co_consts, co_names, co_varnames, co_filename, co_name,
                #co_firstlineno, bytes(co_lnotab, encoding='utf-8'),
                #co_freevars, co_cellvars)

def rewrite_function(function):
    if isinstance(function, MethodType):
        function = function.im_func
    function.func_code = rewrite_lnotab(six.get_function_code(function))

def rewrite_all(objects):
    for obj in objects:
        if hasattr(obj, 'func_code'):
            rewrite_function(obj)

def has_been_rewritten(code):
    """Return True if the code has been rewritten by rewrite_lnotab already.

    >>> def fun():
    ...     pass
    >>> has_been_rewritten(fun.func_code)
    False
    >>> rewrite_function(fun)
    >>> has_been_rewritten(fun.func_code)
    True
    """
    if sys.version_info.major < 3:
        return re.match(r"\A(\x01\x01)+\Z", code.co_lnotab) is not None
    else:
        return re.match(r"\A(\x01\x01)+\Z", code.co_lnotab.decode()) is not None