public final class ErrorCodeDocumentBuilder extends Object
| Constructor and Description |
|---|
ErrorCodeDocumentBuilder(File outputFile) |
| Modifier and Type | Method and Description |
|---|---|
void |
doErrorGroup(PrintWriter outputWriter,
ErrorGroup errorGroup) |
void |
doSnugglePackage(PrintWriter outputWriter,
SnugglePackage snugglePackage) |
static void |
main(String[] args) |
void |
run() |
public ErrorCodeDocumentBuilder(File outputFile)
public void run()
throws IOException
IOExceptionpublic void doSnugglePackage(PrintWriter outputWriter, SnugglePackage snugglePackage)
public void doErrorGroup(PrintWriter outputWriter, ErrorGroup errorGroup)
public static void main(String[] args) throws IOException
IOExceptionCopyright © 2008–2026 The University of Edinburgh. All rights reserved.