public class Terminator extends Object
The default implementation does nothing when the terminate() method is called
Constructor and Description |
---|
Terminator() |
public static Terminator getInstance()
public void terminate() throws QuitParsingException
QuitParsingException
Copyright (c) 2004-2014 Saxonica Limited. All rights reserved.