0
|
1 '''
|
|
2 Created on Jul 13, 2010
|
|
3
|
|
4 @author: Ido M. Tamir
|
|
5 '''
|
|
6 import unittest
|
|
7 import venner
|
|
8
|
|
9 '''By hand:
|
|
10 A:
|
|
11 1 A
|
|
12 2 B
|
|
13 3 C
|
|
14 4 D
|
|
15 6 A
|
|
16 7 A
|
|
17 8 E
|
|
18
|
|
19 B:
|
|
20 1 D
|
|
21 2 A
|
|
22 3 E
|
|
23 5 F
|
|
24
|
|
25 C:
|
|
26 4 C
|
|
27 5 D
|
|
28 2 A
|
|
29 3 A
|
|
30 8 F
|
|
31 9 G
|
|
32
|
|
33 A B C:
|
|
34 A = ABCDE 5
|
|
35 B = ADEF 4
|
|
36 AB unique = ABCDEF 6
|
|
37 C = ACDFG 5
|
|
38 ABC unique = ABCDEFG 7
|
|
39
|
|
40 Venn AB
|
|
41 A I B = ADE 2
|
|
42 A \ B = BC 2
|
|
43 B \ A = F 1
|
|
44 Sum = 6
|
|
45
|
|
46 Venn ABC
|
|
47 A \ ( B U C ) = B 1
|
|
48 B \ ( A U C ) = 0
|
|
49 C \ ( A U B ) = G 1
|
|
50 A I B \ C = E 1
|
|
51 A I C \ B = C 1
|
|
52 B I C \ A = F 1
|
|
53 A I B I C = AD 2
|
|
54 Sum = 7
|
|
55
|
|
56 A I B = ADE 3
|
|
57 A I C = ACD 3
|
|
58 B I C = ADF 3
|
|
59
|
|
60
|
|
61 '''
|
|
62
|
|
63
|
|
64 class Test(unittest.TestCase):
|
|
65
|
|
66
|
|
67 def testTwo(self):
|
|
68 venn = venner.Venn2("", 300, venner.VennFile("testFiles/fileA.tab",1,"As"), venner.VennFile("testFiles/fileB.tab", 1, "Bs"))
|
|
69 url = venn.toUrl()
|
|
70 self.assertEquals("""http://chart.apis.google.com/chart?cht=v&chd=t:56,44,0,33&chtt=&chs=300x300&chdl=As|Bs""", url)
|
|
71 actual = venn.toHtml()
|
|
72 expected = open('testFiles/out.2.expected.html', 'r').read()
|
|
73 self.assertEquals(expected, actual)
|
|
74
|
|
75 def testThree(self):
|
|
76 venn = venner.Venn3("", 300, venner.VennFile("testFiles/fileA.tab",1,"As"), venner.VennFile("testFiles/fileB.tab", 1, "Bs"), venner.VennFile("testFiles/fileC.tab", 1, "Cs"))
|
|
77 url = venn.toUrl()
|
|
78 self.assertEquals("""http://chart.apis.google.com/chart?cht=v&chd=t:36,29,36,21,21,21,14&chtt=&chs=300x300&chdl=As|Bs|Cs""",url)
|
|
79 actual = venn.toHtml()
|
|
80 expected = open('testFiles/out.3.expected.html', 'r').read()
|
|
81 self.assertEquals(expected, actual)
|
|
82
|
|
83
|
|
84
|
|
85 if __name__ == "__main__":
|
|
86 unittest.main() |