Saxon

See also https://saxonica.plan.io/boards/3/topics/6829?pn=1&r=6831#message-6831

Several interconnected issues with facilities for configuring how streaming behaves, some probably bugs, some probably documentation errors.

(1) This page: http://www.saxonica.com/documentation/index.html#!sourcedocs/streaming/configuration-streaming mentions streamability="extended" but this option is no longer supported.

(2) It's not really clear in the documentation how the two options STREAMABILITY and STREAMING_FALLBACK are supposed to interact. I think it's supposed to work like this:

(A) In a licensed Saxon-EE configuration:

(a) construct is declared streamable

STREAMABILITY=on: check that the construct is actually streamable. If so, use streaming, if not, then (i) if STREAMING_FALLBACK = on, use a non-streaming implementation. If STREAMING_FALLBACK = off, report a static error (typically XTSE3430)

STREAMABILITY=off: behave as in a Saxon-HE configuration

(B) In a Saxon-HE (or PE or unlicensed EE) configuration:

STREAMABILITY is always OFF and cannot be set ON. STREAMING_FALLBACK is always ON.

(3) the software isn't actually doing the above, at least not systematically for all cases

(4) there aren't many tests of these options, certainly not in combination