Uses of Class
ides.api.plugin.io.FileSaveException

Packages that use FileSaveException

ides.api.plugin.io

Uses of FileSaveException in ides.api.plugin.io

Methods in ides.api.plugin.io that throw FileSaveException

void	FileIOPlugin.saveData(java.io.PrintStream stream, DESModel model, java.lang.String fileName) Save the description of the DES model into the provided stream.
void	FileIOPlugin.saveMeta(java.io.PrintStream stream, DESModel model, java.lang.String tag) Save the meta-data section with the given "tag" for a given DES model.