Class Terminator

java.lang.Object
com.saxonica.ee.stream.watch.Terminator

public class Terminator extends Object
A Terminator provides a method that can be called to cause early termination of a streaming pass over an input document, in the case where no more information from the document is needed.

The default implementation does nothing when the terminate() method is called