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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
|
import py
from rpython.annotator.model import *
from rpython.annotator.listdef import ListDef
from rpython.translator.translator import TranslationContext
listdef1 = ListDef(None, SomeTuple([SomeInteger(nonneg=True), SomeString()]))
listdef2 = ListDef(None, SomeTuple([SomeInteger(nonneg=False), SomeString()]))
s1 = SomeType()
s2 = SomeInteger(nonneg=True)
s3 = SomeInteger(nonneg=False)
s4 = SomeList(listdef1)
s5 = SomeList(listdef2)
s6 = SomeImpossibleValue()
slist = [s1, s2, s3, s4, s6] # not s5 -- unionof(s4,s5) modifies s4 and s5
class C(object):
pass
class DummyClassDef:
def __init__(self, cls=C):
self.cls = cls
self.name = cls.__name__
si0 = SomeInstance(DummyClassDef(), True)
si1 = SomeInstance(DummyClassDef())
sTrue = SomeBool()
sTrue.const = True
sFalse = SomeBool()
sFalse.const = False
def test_is_None():
assert pair(s_None, s_None).is_() == sTrue
assert pair(si1, s_None).is_() == sFalse
assert pair(si0, s_None).is_() != sTrue
assert pair(si0, s_None).is_() != sFalse
assert pair(si0, s_None).is_() == SomeBool()
def test_equality():
assert s1 != s2 != s3 != s4 != s5 != s6
assert s1 == SomeType()
assert s2 == SomeInteger(nonneg=True)
assert s3 == SomeInteger(nonneg=False)
assert s4 == SomeList(listdef1)
assert s5 == SomeList(listdef2)
assert s6 == SomeImpossibleValue()
def test_contains():
assert ([(s,t) for s in slist for t in slist if s.contains(t)] ==
[(s1, s1), (s1, s6),
(s2, s2), (s2, s6),
(s3, s2), (s3, s3), (s3, s6),
(s4, s4), (s4, s6),
(s6, s6)])
def test_commonbase_simple():
class A0:
pass
class A1(A0):
pass
class A2(A0):
pass
class B1(object):
pass
class B2(object):
pass
try:
class B3(object, A0):
pass
except TypeError: # if A0 is also a new-style class, e.g. in PyPy
class B3(A0, object):
pass
assert commonbase(A1,A2) is A0
assert commonbase(A1,A0) is A0
assert commonbase(A1,A1) is A1
assert commonbase(A2,B2) is object
assert commonbase(A2,B3) is A0
def test_list_union():
listdef1 = ListDef('dummy', SomeInteger(nonneg=True))
listdef2 = ListDef('dummy', SomeInteger(nonneg=False))
s1 = SomeList(listdef1)
s2 = SomeList(listdef2)
assert s1 != s2
s3 = unionof(s1, s2)
assert s1 == s2 == s3
def test_list_contains():
listdef1 = ListDef(None, SomeInteger(nonneg=True))
s1 = SomeList(listdef1)
listdef2 = ListDef(None, SomeInteger(nonneg=False))
s2 = SomeList(listdef2)
assert s1 != s2
assert not s2.contains(s1)
assert s1 != s2
assert not s1.contains(s2)
assert s1 != s2
def test_nan():
f1 = SomeFloat()
f1.const = float("nan")
f2 = SomeFloat()
f2.const = float("nan")
assert f1.contains(f1)
assert f2.contains(f1)
assert f1.contains(f2)
def compile_function(function, annotation=[]):
t = TranslationContext()
t.buildannotator().build_types(function, annotation)
class AAA(object):
pass
def test_blocked_inference1():
def blocked_inference():
return AAA().m()
py.test.raises(AnnotatorError, compile_function, blocked_inference)
def test_blocked_inference2():
def blocked_inference():
a = AAA()
b = a.x
return b
py.test.raises(AnnotatorError, compile_function, blocked_inference)
def test_not_const():
s_int = SomeInteger()
s_int.const = 2
assert s_int != SomeInteger()
assert not_const(s_int) == SomeInteger()
assert not_const(s_None) == s_None
|
