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
|
import WebIDL
def WebIDLTest(parser, harness):
parser.parse(
"""
dictionary Dict {};
interface RecordArg {
undefined foo(record<DOMString, Dict> arg);
};
"""
)
results = parser.finish()
harness.check(len(results), 2, "Should know about two things")
harness.ok(
isinstance(results[1], WebIDL.IDLInterface), "Should have an interface here"
)
members = results[1].members
harness.check(len(members), 1, "Should have one member")
harness.ok(members[0].isMethod(), "Should have method")
signature = members[0].signatures()[0]
args = signature[1]
harness.check(len(args), 1, "Should have one arg")
harness.ok(args[0].type.isRecord(), "Should have a record type here")
harness.ok(args[0].type.inner.isDictionary(), "Should have a dictionary inner type")
parser = parser.reset()
threw = False
try:
parser.parse(
"""
interface RecordUndefinedArg {
undefined foo(record<DOMString, undefined> arg);
};
"""
)
results = parser.finish()
except Exception:
threw = True
harness.ok(
threw, "Should have thrown because record can't have undefined as value type."
)
parser = parser.reset()
threw = False
try:
parser.parse(
"""
dictionary Dict {
record<DOMString, Dict> val;
};
"""
)
results = parser.finish()
except Exception:
threw = True
harness.ok(threw, "Should have thrown on dictionary containing itself via record.")
|
