| Type Params | Return Type | Name and description |
|---|---|---|
|
void |
makeOutputArea(String filename) |
|
void |
writeToOutput(String fileName, String text, String charset) |