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