pylyzer 0.0.82

A static code analyzer & language server for Python
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51

def imaginary(x):
    return x.imag

def imaginary2(x):
    return imaginary(x)

assert imaginary(1) == 0
assert imaginary(1.0) <= 0.0
assert imaginary2(1) == 0
assert imaginary2(1.0) <= 0.0
print(imaginary("a")) # ERR

class C:
    def method(self, x): return x
def call_method(obj, x):
    return obj.method(x)
def call_method2(obj, x):
    return call_method(obj, x)

def call_foo(x):
    return x.foo("foo") # OK

c = C()
assert call_method(c, 1) == 1
assert call_method(c, 1) == "a" # ERR
assert call_method2(c, 1) == 1
print(call_method(1, 1)) # ERR
print(call_method(c)) # ERR

def x_and_y(a):
    z: int = a.y
    return a.x + z

class A:
    x: int
    y: int

    def __init__(self, x, y):
        self.x = x
        self.y = y

class B:
    x: int

    def __init__(self, x):
        self.x = x

a = A(1, 2)
assert x_and_y(a) == 3
b = B(3)
_ = x_and_y(b)  # ERR: B object has no attribute `y`