在vaadin 7中,如何在使用时懒惰地确定文件名FileDownloader
?
final Button downloadButton = new Button("Download file");
FileDownloader downloader = new FileDownloader(new StreamResource(new StreamSource() {
@Override
public InputStream getStream () {
return new ByteArrayInputStream(expesiveCalculationOfContent());
}
}, "file.snub"));
downloader.extend(downloadButton);
在此代码示例中,文件名很明显
- 是垃圾
- 必须早日知道。
如何懒惰地确定下载文件的文件名?