To my reading there are two missing error conditions in p:ixml
Port "grammar" is a sequence port which (according to the prose) can either be empty or provide one document. It is not said what happens if more than one document appears on this port. Proposal: It is a dynamic error if more than one document appears on port "grammar".
The document on port "grammar" may not be a valid ixml grammar. Proposal: It is a dynamic error if the document provided on port "grammar" is not a valid ixml grammar.
Does this make sense? Currently my implementation raises XD0030 (general step error) but I think we should be more precise here, especially in the second case.
To my reading there are two missing error conditions in p:ixml
Does this make sense? Currently my implementation raises XD0030 (general step error) but I think we should be more precise here, especially in the second case.