Interface ExecutionFileProducer

  • All Known Subinterfaces:
    StateExecutionFileProducer

    public interface ExecutionFileProducer
    Produces files that need to be stored for an execution
    • Method Detail

      • getExecutionFileType

        java.lang.String getExecutionFileType()
        Returns:
        the filetype string
      • isExecutionFileGenerated

        boolean isExecutionFileGenerated()
        Returns:
        true if the file will be generated, false if it was previously generated
      • isCheckpointable

        boolean isCheckpointable()
        Returns:
        true if the file can be written at checkpoints
      • produceStorageFileForExecution

        ExecutionFile produceStorageFileForExecution​(ExecutionReference e)
        Parameters:
        e - execution
        Returns:
        the file to store