Package dk.gtz.graphedit.spi

Interface IExporter

public interface IExporter
Interface for exporting a project resource to a non-graphedit file format.

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    exportFile(ModelProjectResource resource, Path newFilePath)
    Exports the given resource to the given file path.
    String
    getFileExtension()
    Returns the file extension that exported files will have.
    String
    getName()
    Returns the name of the exporter.

  • Method Details

    • exportFile

      void exportFile(ModelProjectResource resource, Path newFilePath) throws ExportException
      Exports the given resource to the given file path. Note that this will write the new file to the file system.
      Parameters:
      resource - The resource to export.
      newFilePath - The file path to export to.
      Throws:
      ExportException - If the export fails.

    • getName

      String getName()
      Returns the name of the exporter.
      Returns:
      The name of the exporter

    • getFileExtension

      String getFileExtension()
      Returns the file extension that exported files will have.
      Returns:
      A file extension e.g. ".json"