Crear el informe descargable

[drg1006]

Una vez se ha generado el informe de la pantalla Generar Informes se desea hacer descargable para que el usuario pueda guardarlo en su ordenador donde quiera.

Se tiene fichero con tipo File con toda la información dentro y se ha visto que puede hacerse descargable con :

StreamResource resource = new StreamResource(file.getName(), () -> getStream(file));
Button button = new Button("Download File");
button.setContentMode(ContentMode.HTML);
button.setResource(resource);

El problema es que me aparece el siguiente error:

También he encontrado otra forma mediante FileDownloader :

FileDownloader fileDownloader = new FileDownloader(new FileResource(new File("path/to/file.txt")));
Button button = new Button("Download File");
fileDownloader.extend(button);
add(button);

Aplicándolo a la aplicación sería :

File file= creacionInforme(checkboxGroup.getValue(),nombreInforme.getValue(),nAlum.getValue());   
            FileDownloader fileDownloader = new FileDownloader(new FileResource(file));
            fileDownloader.extend(button);

Siendo button un objeto de tipo Button, y con el siguiente error:

Referencias:

StreamResource

FileDownloader

[drg1006]

Se ha solucionando creando un objeto tipo Anchor oculto que contiene el recurso para descargar que se activa cuando le damos al botón Crear Informe. Vista previa:

Tras clickar:

Este nuevo enlace nos permite descargar el informe creado.