mirror of
https://github.com/servo/servo.git
synced 2025-07-22 06:43:40 +01:00
* Update WebIDL.py * Update WebIDL.py * Add builtin-array.patch * Fix CodegenRust.py and Configuration.py * Fix missing downcasts * mach fmt * Update check and comment to explain why we need this check * Update Global of DissimilarOriginWindow.webidl
80 lines
1.8 KiB
Python
80 lines
1.8 KiB
Python
import WebIDL
|
|
|
|
|
|
def WebIDLTest(parser, harness):
|
|
parser.parse(
|
|
"""
|
|
[TreatNonCallableAsNull] callback Function = any(any... arguments);
|
|
|
|
interface TestTreatNonCallableAsNull1 {
|
|
attribute Function? onfoo;
|
|
attribute Function onbar;
|
|
};
|
|
"""
|
|
)
|
|
|
|
results = parser.finish()
|
|
|
|
iface = results[1]
|
|
attr = iface.members[0]
|
|
harness.check(attr.type.treatNonCallableAsNull(), True, "Got the expected value")
|
|
attr = iface.members[1]
|
|
harness.check(attr.type.treatNonCallableAsNull(), False, "Got the expected value")
|
|
|
|
parser = parser.reset()
|
|
|
|
threw = False
|
|
try:
|
|
parser.parse(
|
|
"""
|
|
callback Function = any(any... arguments);
|
|
|
|
interface TestTreatNonCallableAsNull2 {
|
|
[TreatNonCallableAsNull] attribute Function onfoo;
|
|
};
|
|
"""
|
|
)
|
|
|
|
results = parser.finish()
|
|
except WebIDL.WebIDLError:
|
|
threw = True
|
|
|
|
harness.ok(threw, "Should have thrown.")
|
|
|
|
parser = parser.reset()
|
|
|
|
threw = False
|
|
try:
|
|
parser.parse(
|
|
"""
|
|
callback Function = any(any... arguments);
|
|
|
|
[TreatNonCallableAsNull]
|
|
interface TestTreatNonCallableAsNull3 {
|
|
attribute Function onfoo;
|
|
};
|
|
"""
|
|
)
|
|
|
|
results = parser.finish()
|
|
except WebIDL.WebIDLError:
|
|
threw = True
|
|
|
|
harness.ok(threw, "Should have thrown.")
|
|
|
|
parser = parser.reset()
|
|
|
|
threw = False
|
|
try:
|
|
parser.parse(
|
|
"""
|
|
[TreatNonCallableAsNull, LegacyTreatNonObjectAsNull]
|
|
callback Function = any(any... arguments);
|
|
"""
|
|
)
|
|
|
|
results = parser.finish()
|
|
except WebIDL.WebIDLError:
|
|
threw = True
|
|
|
|
harness.ok(threw, "Should have thrown.")
|