Interface DerivedFilePushProducer


  • public interface DerivedFilePushProducer
    Used by FileSystemService#getDerivedFilePushInfo(FSRL, String, DerivedFilePushProducer, TaskMonitor) to produce a derived file from a source file.
    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      void push​(java.io.OutputStream os)
      Callback method intended to be implemented by the caller to FileSystemService#getDerivedFilePushInfo(FSRL, String, DerivedFileProducer, TaskMonitor).
    • Method Detail

      • push

        void push​(java.io.OutputStream os)
           throws java.io.IOException,
                  CancelledException
        Callback method intended to be implemented by the caller to FileSystemService#getDerivedFilePushInfo(FSRL, String, DerivedFileProducer, TaskMonitor).

        The implementation needs to write bytes to the supplied OutputStream.

        Parameters:
        os - OutputStream that the implementor should write the bytes to. Do not close the stream when done.
        Throws:
        java.io.IOException - if there is a problem while writing to the OutputStream.
        CancelledException - if the user canceled.