michael@0: import WebIDL
michael@0: 
michael@0: def WebIDLTest(parser, harness):
michael@0:     parser.parse("""
michael@0:         interface TestOverloads {
michael@0:           void basic();
michael@0:           void basic(long arg1);
michael@0:           boolean abitharder(TestOverloads foo);
michael@0:           boolean abitharder(boolean foo);
michael@0:           void abitharder(ArrayBuffer? foo);
michael@0:           void withVariadics(long... numbers);
michael@0:           void withVariadics(TestOverloads iface);
michael@0:           void withVariadics(long num, TestOverloads iface);
michael@0:           void optionalTest();
michael@0:           void optionalTest(optional long num1, long num2);
michael@0:         };
michael@0:     """)
michael@0: 
michael@0:     results = parser.finish()
michael@0: 
michael@0:     harness.ok(True, "TestOverloads interface parsed without error.")
michael@0:     harness.check(len(results), 1, "Should be one production.")
michael@0:     iface = results[0]
michael@0:     harness.ok(isinstance(iface, WebIDL.IDLInterface),
michael@0:                "Should be an IDLInterface")
michael@0:     harness.check(iface.identifier.QName(), "::TestOverloads", "Interface has the right QName")
michael@0:     harness.check(iface.identifier.name, "TestOverloads", "Interface has the right name")
michael@0:     harness.check(len(iface.members), 4, "Expect %s members" % 4)
michael@0: 
michael@0:     member = iface.members[0]
michael@0:     harness.check(member.identifier.QName(), "::TestOverloads::basic", "Method has the right QName")
michael@0:     harness.check(member.identifier.name, "basic", "Method has the right name")
michael@0:     harness.check(member.hasOverloads(), True, "Method has overloads")
michael@0: 
michael@0:     signatures = member.signatures()
michael@0:     harness.check(len(signatures), 2, "Method should have 2 signatures")
michael@0: 
michael@0:     (retval, argumentSet) = signatures[0]
michael@0: 
michael@0:     harness.check(str(retval), "Void", "Expect a void retval")
michael@0:     harness.check(len(argumentSet), 0, "Expect an empty argument set")
michael@0: 
michael@0:     (retval, argumentSet) = signatures[1]
michael@0:     harness.check(str(retval), "Void", "Expect a void retval")
michael@0:     harness.check(len(argumentSet), 1, "Expect an argument set with one argument")
michael@0: 
michael@0:     argument = argumentSet[0]
michael@0:     harness.ok(isinstance(argument, WebIDL.IDLArgument),
michael@0:                "Should be an IDLArgument")
michael@0:     harness.check(argument.identifier.QName(), "::TestOverloads::basic::arg1", "Argument has the right QName")
michael@0:     harness.check(argument.identifier.name, "arg1", "Argument has the right name")
michael@0:     harness.check(str(argument.type), "Long", "Argument has the right type")
michael@0: 
michael@0:     member = iface.members[3]
michael@0:     harness.check(len(member.overloadsForArgCount(0)), 1,
michael@0:                   "Only one overload for no args")
michael@0:     harness.check(len(member.overloadsForArgCount(1)), 0,
michael@0:                   "No overloads for one arg")
michael@0:     harness.check(len(member.overloadsForArgCount(2)), 1,
michael@0:                   "Only one overload for two args")