|
1 import WebIDL |
|
2 |
|
3 def WebIDLTest(parser, harness): |
|
4 threw = False |
|
5 try: |
|
6 parser.parse(""" |
|
7 interface SpecialMethodUniqueness1 { |
|
8 getter deleter boolean (DOMString name); |
|
9 getter boolean (DOMString name); |
|
10 }; |
|
11 """) |
|
12 |
|
13 results = parser.finish() |
|
14 except: |
|
15 threw = True |
|
16 |
|
17 harness.ok(threw, "Should have thrown.") |
|
18 |
|
19 threw = False |
|
20 try: |
|
21 parser.parse(""" |
|
22 interface SpecialMethodUniqueness1 { |
|
23 deleter boolean (DOMString name); |
|
24 getter deleter boolean (DOMString name); |
|
25 }; |
|
26 """) |
|
27 |
|
28 results = parser.finish() |
|
29 except: |
|
30 threw = True |
|
31 |
|
32 harness.ok(threw, "Should have thrown.") |
|
33 |
|
34 threw = False |
|
35 try: |
|
36 parser.parse(""" |
|
37 interface SpecialMethodUniqueness1 { |
|
38 setter creator boolean (DOMString name); |
|
39 creator boolean (DOMString name); |
|
40 }; |
|
41 """) |
|
42 |
|
43 results = parser.finish() |
|
44 except: |
|
45 threw = True |
|
46 |
|
47 harness.ok(threw, "Should have thrown.") |
|
48 |
|
49 threw = False |
|
50 try: |
|
51 parser.parse(""" |
|
52 interface SpecialMethodUniqueness1 { |
|
53 setter boolean (DOMString name); |
|
54 creator setter boolean (DOMString name); |
|
55 }; |
|
56 """) |
|
57 |
|
58 results = parser.finish() |
|
59 except: |
|
60 threw = True |
|
61 |
|
62 harness.ok(threw, "Should have thrown.") |