XProc 3.0: An XML Pipeline Language

It is a static error if there are any loops in the connections between steps, variables, and options: no step, variable, or option can be connected to itself nor can there be any sequence of connections through other steps that leads back to itself.

See: Connections

All steps in the same scope must have unique names: it is a static error if two steps with the same name appear in the same scope.

See: Scoping of step names

It is a static error if any declared input is not connected.

See: Inputs and Outputs

It is a static error to declare two or more options on the same step with the same name.

See: p:option

It is a static error if the primary output port has no explicit connection and the last step in the subpipeline does not have a primary output port.

See: p:for-each, p:viewport, Declaring pipelines

It is a static error if any element in the XProc namespace has attributes not defined by this specification unless they are extension attributes.

See: Common errors

It is a static error if a pipeline contains a step whose specified inputs, outputs, and options do not match the signature for steps of that type.

See: Extension Steps

It is a static error to identify two ports with the same name on the same step.

See: p:input, p:output

It is a static error to identify more than one output port as primary.

See: p:output

It is a static error if a compound step has no contained steps.

See: Common errors

It is a static error to specify that an option is both required and has a default value.

See: p:option

If an option is required, it is a static error to invoke the step without specifying a value for that option.

See: p:option

In all cases except when the p:pipe is within an p:output of a compound step, it is a static error if the port identified by the p:pipe is not in the readable ports of the step that contains the p:pipe.

See: p:pipe

It is a static error if the expanded-QName value of the type attribute is in no namespace or in the XProc namespace.

See: Declaring pipelines

It is a static error if an option is specified with both the shortcut form and the long form.

See: Syntactic Shortcut for Option Values

It is a static error to declare an option or variable in the XProc namespace.

See: p:variable, p:option

It is a static error to specify a connection for a p:output inside a p:declare-step for an external step.

See: p:output

It is a static error to specify that more than one input port is the primary.

See: p:input

It is a static error to use an option name in p:with-option if the step type being invoked has not declared an option with that name.

See: p:with-option, Syntactic Shortcut for Option Values

It is a static error if no connection is provided and the default readable port is undefined.

See: p:with-input, Connection precedence, Connection precedence

All the step types in a pipeline or library must have unique names: it is a static error if any step type name is built-in and/or declared or defined more than once in the same scope.

See: Scoping of step type names, Handling Circular and Re-entrant Library Imports (Non-Normative), Handling Circular and Re-entrant Library Imports (Non-Normative), Handling Circular and Re-entrant Library Imports (Non-Normative)

It is a static error if any user extension step or any element in the XProc namespace other than p:inline directly contains text nodes that do not consist entirely of whitespace.

See: Common errors

It is a static error if any required attribute is not provided.

See: Common errors

It is a static error to specify a port name on p:with-input for p:for-each, p:viewport, p:choose, p:when, or p:if.

See: p:with-input

It is a static error if any step contains an atomic step for which there is no visible declaration.

See: Common errors

It is a static error to use a declared step as a compound step.

See: Extension Steps

It is a static error if the URI of a p:import cannot be retrieved or if, once retrieved, it does not point to a p:library or p:declare-step.

See: p:import

It is a static error to import a single pipeline if that pipeline does not have a type.

See: p:import

It is a static error if the exclude-inline-prefixes attribute does not contain a list of tokens or if any of those tokens (except #all or #default) is not a prefix bound to a namespace in the in-scope namespaces of the element on which it occurs.

See: Inline XML and HTML content

It is a static error if the value #default is used within the exclude-inline-prefixes attribute and there is no default namespace in scope.

See: Inline XML and HTML content

It is a static error if the pipeline element is not p:declare-step or p:library.

See: Common errors

It is a static error if the processor encounters an explicit request for a version of the language other than “3.0”.

See: Versioning Considerations

It is a static error if a required version attribute is not present.

See: Versioning Considerations, Declaring pipelines

It is a static error if the value of the version attribute is not a xs:decimal.

See: Versioning Considerations

It is a static error if the code attribute is missing from any but the last p:catch or if any error code occurs in more than one code attribute among sibling p:catch elements.

See: p:catch

It is a static error if there is no primary input port.

See: p:with-input

It is a static error if an expression does not have a closing right curly bracket or if an unescaped right curly bracket occurs outside of an expression.

See: Value Templates

It is a static error if the step attribute is not specified, and there is no default readable port. It is a static error if the port attribute is not specified, and the step identified has no primary output port.

See: p:pipe

It is a static error if the port attribute is not specified, and the step identified has no primary output port.

See: p:pipe

It is a static error if the encoding specified is not supported by the implementation.

See: p:inline

All the static options in a pipeline or library must have unique names: it is a static error if any static option name is declared more than once in the same scope.

See: Scoping of static option names

It is a static error if the name of any output port on the p:finally is the same as the name of any other output port in the p:try or any of its sibling p:catch elements.

See: p:finally

It is a static error if any specified name is not the name of an in-scope step.

See: Additional dependent connections

It is a static error if a p:choose has neither a p:when nor a p:otherwise.

See: p:choose

It is a static error if a p:try does not have at least one subpipeline step, at least one of p:catch or p:finally, and at most one p:finally.

See: p:try

It is a static error if there are any loops in the connections between steps and variables: no step can refer to a variable if there is any sequence of connections from that step that leads back to the input that provides the context node for the expression that defines the value of the variable.

See: p:variable, p:with-option

It is a static error if the value on an attribute of an XProc element does not satisfy the type required for that attribute.

See: Common errors

When the p:pipe is within an p:output of a compound step, it is a static error if the port identified by the p:pipe is not in the readable ports of the compound step and is not a readable port of a contained step.

See: p:pipe

It is a static error if comments, non-whitespace text nodes, or processing instructions occur as siblings of an element node that would be treated as an implicit inline.

See: Implicit inlines

It is a static error to include more than one p:with-option with the same option name as part of the same step invocation.

See: p:with-option

If href is specified, it is a static error if any child elements other than p:documentation and p:pipeinfo are present.

See: p:with-input

If pipe is specified, it is a static error any child elements other than p:documentation and p:pipeinfo are present.

See: p:with-input

It is a static error if the value of the code attribute is not a whitespace separated list of EQNames.

See: p:catch

It is a static error if both a href attribute and a pipe attribute are present.

See: p:with-input, p:with-input

It is a static error to provide more than one p:with-input for the same port.

See: p:with-input

It is a static error if the name attribute on p:option or p:variable has a prefix which is not bound to a namespace.

See: p:variable, p:option

It is a static error if the qualified name of a p:variable shadows the name of a static option.

See: p:variable, p:option

It is a static error if the p:empty binding appears as a sibling of any other binding, including itself.

See: p:empty

It is a static error if the value of the pipe attribute contains any tokens not of the form port-name, port-name@step-name, or @step-name.

See: p:with-input

It is a static error if an p:option shadows another option declared within the same p:declare-step.

See: Declaring pipelines

It is a static error if a p:with-option attempts to change the value of an option that is declared static.

See: p:with-option, Syntactic Shortcut for Option Values

It is a static error if a p:variable does not have a select attribute.

See: p:variable

It is a static error to specify that an option is both required and static.

See: p:option

It is a static error if the sequence type is not syntactically valid.

See: Variable and option types

It is a static error if an attribute in the XProc namespace appears on an element in the XProc namespace.

See: Common Attributes

It is a static error if step or port are not valid instances of NCName.

See: p:pipe

It is a static error if the pipeline document does not conform to the grammar for pipeline documents.

See: Common errors

It is a static error if the values list is not an XPath sequence of atomic values.

See: p:option

It is a static error if alternative subpipelines have different primary output ports.

See: p:choose, p:try

It is a static error if the URI of a p:import-functions element cannot be retrieved or if, once retrieved, it points to a library that the processor cannot import.

See: p:import-functions

It is a static error if the processor cannot load the function library.

See: p:import-functions

It is a static error if a function imported from a library has the same name and arity as a function already imported.

See: p:import-functions

It is a static error if the processor detects that a particular library is unloadable.

See: p:import-functions

It is a static error in XProc if any XPath expression or the XSLT selection pattern in option match on p:viewport contains a static error (error in expression syntax, references to unknown variables or functions, etc.).

See: Initiating a pipeline

It is a static error if the p:if step does not specify a primary output port.

See: p:if

It is a static error if options that are the direct children of p:library are not declared “static”

See: Static Options

It is a static error if the requested XPath version is less than “3.1”

See: Declaring pipelines, p:library

It is a static error if an unrecognized content type shortcut is specified.

See: Specifying content types

It is a static error if p:finally declares a primary output port either explicitly or implicitly.

See: p:finally

It is a static error if either [p:]expand-text or [p:]inline-expand-text is to be interpreted by the processor and it does not have the value “true” or “false”.

See: Expand text attributes

It is a static error if a port name is specified and the step type being invoked does not have an input port declared with that name.

See: p:with-input

It is a static error if two or more elements are contained within a deadlocked network of [p:]use-when expressions.

See: Conditional Element Exclusion