/**
* Interface representing a file-like object that supports writing and
* closing.
*/
package org.edumips64.utils.io;
public interface Writer {
/* Writes s to the given underlying storage / device. */
void write(String s) throws WriteException;
/* Tries to close the file. In case of failure, does nothing. */
default void close() {};
}