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.