package com.megatim.manuel.core.generate; import com.megatim.manuel.core.convert.ConversionResult; import java.io.IOException; import java.nio.charset.StandardCharsets; import java.nio.file.Files; import java.nio.file.Path; import java.util.List; /** * Ajoute la navigation au CHM : * - une page d'accueil "index.html" (sommaire cliquable de toutes les pages) ; * - une barre « ◀ Précédent | ▲ Sommaire | Suivant ▶ » en haut et en bas de chaque page. * * Ces liens fonctionnent à la fois dans l'aperçu de l'application et dans le CHM compilé, * en complément des boutons natifs de la visionneuse (activés via la section [WINDOWS] du .hhp). */ public final class NavBuilder { public static final String HOME = "index.html"; /** Construit la page d'accueil et injecte les barres de navigation. Renvoie le nom de la page d'accueil. */ public String build(Path dir, String title, List results) throws IOException { writeHome(dir, title, results); for (int i = 0; i < results.size(); i++) { String prev = i > 0 ? results.get(i - 1).htmlFileName : null; String next = i < results.size() - 1 ? results.get(i + 1).htmlFileName : null; injectInto(dir.resolve(results.get(i).htmlFileName), prev, next); } return HOME; } private void writeHome(Path dir, String title, List results) throws IOException { StringBuilder b = new StringBuilder(); b.append("\n\n\n") .append("").append(esc(title)).append("\n") .append("\n\n\n") .append("

").append(esc(title)).append("

\n") .append("

Sommaire de l'aide :

") .append(esc(r.title)).append("

\n"); Files.write(dir.resolve(HOME), b.toString().getBytes(StandardCharsets.UTF_8)); } private void injectInto(Path htmlFile, String prev, String next) throws IOException { if (!Files.exists(htmlFile)) return; String html = new String(Files.readAllBytes(htmlFile), StandardCharsets.UTF_8); if (html.contains("class=\"navbar\"")) return; // déjà injecté String bar = navbar(prev, next); int bi = html.indexOf(""); if (bi >= 0) { int after = bi + "".length(); html = html.substring(0, after) + "\n" + bar + html.substring(after); } int ci = html.lastIndexOf(""); if (ci >= 0) { html = html.substring(0, ci) + bar + "\n" + html.substring(ci); } Files.write(htmlFile, html.getBytes(StandardCharsets.UTF_8)); } private String navbar(String prev, String next) { StringBuilder b = new StringBuilder(""); return b.toString(); } private String link(String href, String label) { return "" + label + ""; } private String disabled(String label) { return "" + label + ""; } private static String esc(String s) { if (s == null) return ""; return s.replace("&", "&").replace("<", "<").replace(">", ">").replace("\"", """); } }