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
QuitParsingException
Copyright (c) 2004-2020 Saxonica Limited. All rights reserved.