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
QuitParsingExceptionCopyright (c) 2004-2014 Saxonica Limited. All rights reserved.