public interface OutputTool
| Modifier and Type | Method and Description | 
|---|---|
| void | makeOutputArea(java.lang.String filename) | 
| void | writeToOutput(java.lang.String fileName,
             java.lang.String text,
             java.lang.String charset) |