785472 - The Web IDL parser should not allow inheriting from an interface that is only forward declared

Status: RESOLVED FIXED

(Core :: DOM: Core & HTML, defect)

Comment 1

[(no longer active)]

Attachment: Patch (v1)

Comment 2

[Kyle Huey (Exited; not receiving bugmail, old account, do not use)]

Comment on attachment 655093 [details] [diff] [review]
Patch (v1)

Review of attachment 655093 [details] [diff] [review]:
-----------------------------------------------------------------

::: dom/bindings/parser/WebIDL.py
@@ +426,5 @@
> +            raise WebIDLError("%s inherits from %s which does not have "
> +                              "a definition" %
> +                              (self.identifier.name,
> +                               self.parent.identifier.name),
> +                              [self.location])

I would prefer

if parent and isinstance(parent, IDLExternalInterface):
    raise ...

assert not parent or isinstance(parent, IDLInterface).

If parent somehow becomes an IDLAttribute I want to know!

Comment 3

[(no longer active)]

https://hg.mozilla.org/integration/mozilla-inbound/rev/1142882b6c0b

Comment 4

[(no longer active)]

I backed this out since it breaks the build with the existing IDL files:

https://hg.mozilla.org/integration/mozilla-inbound/rev/1bc0e4eac6e5

Traceback (most recent call last):
  File "/media/storage/moz/mozilla-inbound/config/pythonpath.py", line 56, in <module>
    main(sys.argv[1:])
  File "/media/storage/moz/mozilla-inbound/config/pythonpath.py", line 48, in main
    execfile(script, frozenglobals)
  File "/media/storage/moz/mozilla-inbound/dom/bindings/GlobalGen.py", line 80, in <module>
    main()
  File "/media/storage/moz/mozilla-inbound/dom/bindings/GlobalGen.py", line 59, in main
    parserResults = parser.finish()
  File "/media/storage/moz/mozilla-inbound/dom/bindings/parser/WebIDL.py", line 3667, in finish
nsIDOMFileRequest.idl
    production.finish(self.globalScope())
  File "/media/storage/moz/mozilla-inbound/dom/bindings/parser/WebIDL.py", line 430, in finish
    [self.location])
WebIDL.WebIDLError: error: XMLHttpRequest inherits from XMLHttpRequestEventTarget which does not have a definition, XMLHttpRequest.webidl line 55:0
interface XMLHttpRequest : XMLHttpRequestEventTarget {
^

Not sure how we're supposed to fix those...

Comment 5

[(no longer active)]

I got the condition wrong!  Re-landed with it fixed:

https://hg.mozilla.org/integration/mozilla-inbound/rev/68a243c559b2

Comment 6

[Ryan VanderMeulen [:RyanVM]]

https://hg.mozilla.org/mozilla-central/rev/68a243c559b2