Inherited Attributes |
Attributes inherited from: Object hash, string |
Methods | |
close | Source Code shared actual void close(Exception? exception) Closes this Refined declaration: close |
destroy | Source Code shared formal void destroy() Destroy this See also: close |
flush | Source Code shared formal void flush() Flush all written text to the underlying file system. |
open | Source Code shared actual void open() Called before entry to a Refined declaration: open |
write | Source Code shared formal void write(String string) Write text to the file. |
writeLine | Source Code shared formal void writeLine(String line) Write a line of text to the file. |
Inherited Methods |
Methods inherited from: Object equals |
Methods inherited from: Closeable close, open |