Interface GenerationExporter

  • All Known Implementing Classes:
    FileGenerationExporter

    public interface GenerationExporter
    Exporter responsible to export generated content.
    Author:
    Stefan Dirix
    • Method Detail

      • export

        void export​(java.util.Collection<? extends GenerationInfo> generationInfos,
                    UserInteraction userInteraction)
             throws java.io.IOException
        Export the given GenerationInfos' content.
        Parameters:
        generationInfos - A collection of GenerationInfos which shall be exported.
        userInteraction - Handles the communication with the user.
        Throws:
        java.io.IOException - If something went wrong during export.