Interface ResourceWriter<T>

All Superinterfaces:

ResourceIO<T>

All Known Subinterfaces:

FormalSystemExporter, LegalDocumentWriter

All Known Implementing Classes:

AbstractLegalDocumentWriter, AbstractResourceWriter, CoqExporter, FASTAWriter, MetamathExporter, NativeFITSWriter, NativeHDF5TensorWriter, NativeHDF5Writer, NeuralModelWriter, OEISWriter, OpenMathWriter, PDBWriter, QedeqExporter, VTKWriter

public interface ResourceWriter<T>
extends ResourceIO<T>

Interface for writing/exporting resources. Replaces OutputLoader.

Since:

1.0

Author:

Silvere Martin-Michiellot, Gemini AI (Google DeepMind)

Method Summary

Modifier and Type	Method	Description
default boolean	isOutput()	Returns true if this is an output (writer) resource.
void	save(T resource, String destination)	Saves the resource to a destination.

Methods inherited from interface ResourceIO

getCategory, getDescription, getExpectedResourceFiles, getLongDescription, getName, getResourcePath, getResourceType, getSupportedExtensions, getSupportedVersions, isFileBased, isInput

Method Details

save

void save(T resource,
 String destination)
   throws Exception

Saves the resource to a destination.

Throws:

Exception

isOutput

default boolean isOutput()

Description copied from interface: ResourceIO

Returns true if this is an output (writer) resource.

Specified by:

isOutput in interface ResourceIO<T>