import ast
from ast_decompiler import decompile
from .tests import assert_decompiles, check


def test_non_module() -> None:
    assert "3" == decompile(ast.Constant(value=3))
    assert "1 + 1" == decompile(
        ast.BinOp(op=ast.Add(), left=ast.Constant(value=1), right=ast.Constant(value=1))
    )


def test_FunctionDef() -> None:
    check(
        """
@foo
def bar(x):
    pass
"""
    )
    check("def foo(): pass")
    check("def foo(a): pass")
    check("def foo(a, b): pass")
    check("def foo(a, b=3): pass")
    check("def foo(a, b, *args): pass")
    check("def foo(a, b, *args, **kwargs): pass")
    check("def foo(a, b=3, **kwargs): pass")


def test_ClassDef() -> None:
    check(
        """
@foo
class Bar(object):
    pass
"""
    )
    check("class Bar: pass")
    check("class Bar(object): pass")
    check("class Bar(int, str): pass")


def test_Return() -> None:
    check("def foo(): return")
    check("def foo(): return 3")


def test_Delete() -> None:
    check("del a")
    check("del a, b")
    check("del a, b[c]")


def test_Assign() -> None:
    check("x = 3")
    check("x = y = 3")


def test_AugAssign() -> None:
    check("x += 3")
    check("y *= 5")


def test_For() -> None:
    check("for x in y: pass")
    check(
        """
for x in y:
    pass
else:
    z = 3
"""
    )


def test_While() -> None:
    check("while foo: pass")
    check(
        """
while foo:
    break
else:
    3
"""
    )


def test_If() -> None:
    check("if x: pass")
    check(
        """
if x:
    pass
else:
    pass
"""
    )
    check(
        """
if x:
    pass
elif y:
    pass
else:
    pass
"""
    )


def test_With() -> None:
    check("with x: pass")
    check("with x as y: pass")
    check("with x as y, a as b: pass")
    check("with x as y, a: pass")
    check(
        """
with x as y:
    with a as b:
        with c as d:
            pass
"""
    )


def test_Raise() -> None:
    check("raise")
    check("raise e")


def test_TryExcept() -> None:
    check(
        """
try:
    1/0
except:
    pass
else:
    pass
"""
    )
    check(
        """
try:
    1/0
except:
    pass
"""
    )
    check(
        """
try:
    1/0
except Exception:
    pass
"""
    )
    check(
        """
try:
    1/0
except Exception as e:
    pass
"""
    )
    check(
        """
try:
    1/0
except (Exception, KeyboardInterrupt):
    pass
"""
    )


def test_TryFinally() -> None:
    check(
        """
try:
    1/0
finally:
    leave()
"""
    )


def test_Assert() -> None:
    check("assert False")
    check('assert False, "hello"')


def test_Import() -> None:
    check("import x")
    check("import x as y")
    check("import x, y")
    check("import x as y, z")


def test_ImportFrom() -> None:
    check("from . import foo")
    check("from .foo import bar")
    check("from foo import bar")
    check("from ....... import bar as foo")


def test_Global() -> None:
    check("global a")
    check("global a, b")


def test_Expr() -> None:
    check("call()")


def test_Pass() -> None:
    check("pass")


def test_Break() -> None:
    check("while True: break")


def test_Continue() -> None:
    check("while True: continue")


def test_BoolOp() -> None:
    check("x and y")
    check("x and y and z")
    check("x or y")
    check("x or y or z")
    check("x and (y or z)")
    check("(x and y) or z")


def test_Binop() -> None:
    check("x + y")
    check("x / y")
    check("x in y")


def test_UnaryOp() -> None:
    check("not x")
    check("+x")
    check("-1")
    check("-(-1)")
    check("-(1+1j)")
    assert "-1\n" == decompile(ast.parse("-1"))


def test_Lambda() -> None:
    check("lambda: None")
    check("lambda x: None")
    check("lambda x: x ** x")
    check("[x for x in y if (lambda: x)]")


def test_IfExp() -> None:
    check("x if y else z")


def test_Dict() -> None:
    check("{}")
    check("{1: 2}")
    check("{1: 2, 3: 4}")
    check("{**x, **y, 1: 2}")


def test_Set() -> None:
    check("{1}")
    check("{1, 2}")


def test_ListComp() -> None:
    check("[x for x in y]")
    check("[x for x in y if z]")
    check("[x for x in y for z in a]")
    assert "[a for a, b in x]\n" == decompile(ast.parse("[a for a, b in x]"))


def test_SetComp() -> None:
    check("{x for x in y}")
    check("{x for x in y if z}")
    check("{x for x in y for z in a}")


def test_DictComp() -> None:
    check("{x: y for x in y}")
    check("{x: z for x in y if z}")
    check("{x: a for x in y for z in a}")


def test_GeneratorExp() -> None:
    check("(x for x in y)")
    check("(x for x in y if z)")
    check("(x for x in y for z in a)")
    check("f(x for x in y)")
    assert "f(x for x in y)\n" == decompile(ast.parse("f(x for x in y)"))


def test_Yield() -> None:
    check("def f(): yield")
    check("def f(): yield 3")
    check("def f(): x = yield 3")


def test_Compare() -> None:
    check("x < y")
    check("x > y < z")
    check("x == y > z")


def test_Call() -> None:
    check("f()")
    check("f(1)")
    check("f(1, x=2)")
    check("f(*args, **kwargs)")
    check("f(foo, *args, **kwargs)")


def test_Num() -> None:
    check("1")
    check("1.0")
    check("1.0e10")
    check("1+2j")
    check("-2147483648")  # previously had a bug that made us add L
    check("2147483648")
    check("1e1000")  # check that we don't turn it info inf
    check("-1e1000")
    check("1E+12_7_3J")
    check("-1E+12_7_3J")
    check("-(1)")
    assert_decompiles("-42", "-42\n")
    assert_decompiles("-42.35", "-42.35\n")
    assert_decompiles("3j", "3j\n")
    assert_decompiles("-3j", "-3j\n")
    assert_decompiles("1 + 3j", "1 + 3j\n")
    assert_decompiles("-1-42j", "-1 - 42j\n")
    assert_decompiles("-(1-42j)", "-(1 - 42j)\n")


def test_Str() -> None:
    check('"foo"')
    check('u"foo"')
    check('"foo\\"bar"')
    check(
        """from __future__ import unicode_literals
b'foo'
"""
    )
    check('"a\\nb"')
    assert_decompiles(
        '''def f():
    """Doc.

    String.

    """
''',
        '''
def f():
    """Doc.

    String.

    """
''',
    )
    check('''def f(): "a\\rb"''')


def test_Attribute() -> None:
    check("a.b")
    check("(1).b")
    check("(-0j).b")


def test_Subscript() -> None:
    check("x[y]")
    check("(-0j)[y]")
    check("x[y]")
    check("Callable[[P, Iterator], T]")
    assert_decompiles("Union[str, int]", "Union[str, int]\n")


def test_Name() -> None:
    check("x")


def test_List() -> None:
    check("[]")
    check("[a]")
    check("[a, b]")


def test_Tuple() -> None:
    check("()")
    check("(a,)")
    check("(a, b)")


def test_Slice() -> None:
    check("x[:]")
    check("x[1:]")
    check("x[:1]")
    check("x[1::-1]")


def test_ExtSlice() -> None:
    check("x[:, :]")
    check("x[1:, :1]")
    check("x[1:,]")


def test_Ellipsis() -> None:
    # one of these generates an Index ast node and the other one doesn't
    check("self[...]")
    check("self[Ellipsis]")
    check("self[..., a]")
    check("self[Ellipsis, a]")


def test_files() -> None:
    import ast_decompiler
    decompiler_path = ast_decompiler.__file__
    with open(decompiler_path) as f:
        code = f.read()
    check(code)