Extensions

Roberto, thank you for patiently explaining the current proposal during
the teleconference this morning.

Just to make sure I understand the proposal, can it be accurately
restated as?

-----

A WSDL parser MUST recognize a foreign EII if and only if one of the
following is true:

(a) The foreign EII has a wsdl:required AII that is true, or

(b) The foreign EII namespace is declared with a wsdl:extension EII,
that EII has a wsdl:required AII that is true, and the foreign EII does
not have a wsdl:required AII.

-----

(a) is what we have in WSDL 1.1 today. (b) adds the global declaration
but allows a wsdl:required AII on the foreign element to override the
global declaration.

Attached is a table that I crunched down to the two rules above.

For completeness, let's allow AII extensions via (something like)
<xs:anyAttribute namespace="#other" processContents="#lax"/>.

Of course, because the wsdl:required AII cannot be attached to a
(foreign) AII, only the global setting in the wsdl:extension EII can be
used to indicate whether a WSDL parser MUST or MAY recognize such an
AII.

--Jeff