public class Diagnostics extends Object
Modifier and Type | Field and Description |
---|---|
protected BufferedWriter |
diaWriter |
Constructor and Description |
---|
Diagnostics(String fileName) |
Modifier and Type | Method and Description |
---|---|
void |
closeDiaWriter() |
BufferedWriter |
getDiaWriter() |
void |
writeToDiaFile(String message) |
protected final BufferedWriter diaWriter
public Diagnostics(String fileName) throws MaltChainedException
MaltChainedException
public BufferedWriter getDiaWriter()
public void writeToDiaFile(String message) throws MaltChainedException
MaltChainedException
public void closeDiaWriter() throws MaltChainedException
MaltChainedException
Copyright 2007-2017 Johan Hall, Jens Nilsson and Joakim Nivre.