Tests p:with-input with @href. Checks p:documentation and p:pipeinfo are allowed as children of p:with-input.
Test ab-with-input-012.xml is expected to pass.
<p:declare-step xmlns:p="http://www.w3.org/ns/xproc" version="3.0">
<p:output port="result"/>
<p:identity>
<p:with-input href="../documents/ab-doc.xml">
<p:documentation>This is a documentation.</p:documentation>
<p:pipeinfo>This is pipeinfo.</p:pipeinfo>
</p:with-input>
</p:identity>
</p:declare-step>
<s:schema xmlns:p="http://www.w3.org/ns/xproc" xmlns:rng="http://relaxng.org/ns/structure/1.0" xmlns:s="http://purl.oclc.org/dsdl/schematron" queryBinding="xslt2">
<s:ns prefix="p" uri="http://www.w3.org/ns/xproc"/>
<s:pattern>
<s:rule context="/*">
<s:assert test="self::doc">The pipeline root is not doc.</s:assert>
<s:assert test="count(self::doc//*) = 0">No children of doc expected.</s:assert>
<s:assert test="count(self::doc//@*) = 0">No attributes of doc expected.</s:assert>
</s:rule>
</s:pattern>
</s:schema>
Creating new tests, extending rng and corrected xproc's test