Tests p:invisible-xml (Example 4 from spec)
Test ab-i-xml-004.xml is expected to pass.
It requires the following features: p:ixml.
<p:declare-step xmlns:p="http://www.w3.org/ns/xproc" version="3.0">
<p:output port="result"/>
<p:invisible-xml>
<p:with-input port="grammar">
<p:inline content-type="text/plain">
letters: X, (A; B; C) .
A: digits .
B: digits .
C: digits .
X: "a" .
digits: ["0"-"9"]+ .
</p:inline>
</p:with-input>
<p:with-input port="source">
<p:inline content-type="text/plain">a123</p:inline>
</p:with-input>
</p:invisible-xml>
</p:declare-step>
<s:schema xmlns="http://www.w3.org/1999/xhtml" xmlns:s="http://purl.oclc.org/dsdl/schematron" queryBinding="xslt2">
<s:ns uri="http://invisiblexml.org/NS" prefix="ixml"/>
<s:pattern>
<s:rule context="/">
<s:assert test="letters">The root element is not 'letters'.</s:assert>
<s:assert test="letters/@ixml:state='ambiguous'">The root element does not have attribute 'ixml:state' with value 'ambiguous'.</s:assert>
</s:rule>
</s:pattern>
</s:schema>
Changed step's name to p:invisible-xml
Initial check in.