package com.megatim.manuel.core.convert;
|
|
import java.util.ArrayList;
|
import java.util.Collections;
|
import java.util.List;
|
|
/** Résultat de la conversion d'un fichier : page HTML, titre, sommaire, images, illustrations et pages liminaires. */
|
public final class ConversionResult {
|
public final String htmlFileName;
|
public final String title;
|
public final List<Heading> headings;
|
public final List<String> imageFiles;
|
/** Légendes d'illustrations -> « Table des illustrations ». */
|
public final List<Heading> figures;
|
/** Repères des pages liminaires (Résumé, Mots clés, Historique, Diffusion) : libellé + ancre. */
|
public final List<Heading> landmarks = new ArrayList<>();
|
|
public ConversionResult(String htmlFileName, String title, List<Heading> headings, List<String> imageFiles) {
|
this(htmlFileName, title, headings, imageFiles, Collections.emptyList());
|
}
|
|
public ConversionResult(String htmlFileName, String title, List<Heading> headings,
|
List<String> imageFiles, List<Heading> figures) {
|
this.htmlFileName = htmlFileName;
|
this.title = title;
|
this.headings = headings;
|
this.imageFiles = imageFiles;
|
this.figures = figures;
|
}
|
}
|