From 38929aa1f4f4a017be4d2e93c32165b9e51f635d Mon Sep 17 00:00:00 2001
From: ulrich
Date: Tue, 21 Jul 2020 13:21:17 +0000
Subject: [PATCH] In Arbeit: PDF Theme

---
 src/de/uhilger/wbx/web/AdocServlet.java |  140 ++++++++++++++++++++++++++--------------------
 1 files changed, 79 insertions(+), 61 deletions(-)

diff --git a/src/de/uhilger/wbx/web/AdocServlet.java b/src/de/uhilger/wbx/web/AdocServlet.java
index 5ab61c9..2b55c81 100644
--- a/src/de/uhilger/wbx/web/AdocServlet.java
+++ b/src/de/uhilger/wbx/web/AdocServlet.java
@@ -33,6 +33,8 @@
 
 import static org.asciidoctor.Asciidoctor.Factory.create;
 import org.asciidoctor.Asciidoctor;
+import static org.asciidoctor.AttributesBuilder.attributes;
+import static org.asciidoctor.OptionsBuilder.options;
 
 
 
@@ -40,7 +42,7 @@
  * Das AdocServlet wandelt AsciiDoc-Inhalte (*.adoc) 
  * zu HTML-Seiten und PDF-Dokumenten
  * 
- * ?pdf=true im URL fuegt PDF-Ausgabe hinzu
+ * Mit Angabe des Parameters ?pdf=true im URL wird PDF erzeugt, andernfalls HTML
  */
 public class AdocServlet extends HttpServlet  {
   
@@ -50,54 +52,56 @@
   private static final String SERVLET_NAME = "AdocServlet";
   
   /**
-   * Processes requests for both HTTP <code>GET</code> and <code>POST</code>
-   * methods.
+   * Die Methode processRequest verarbeitet HTTP-Anfragen des Typs  
+   * <code>GET</code> und <code>POST</code>.
    *
-   * @param request servlet request
-   * @param response servlet response
-   * @throws ServletException if a servlet-specific error occurs
-   * @throws IOException if an I/O error occurs
+   * @param request die Servlet-Anfrage
+   * @param response die Servlet-Antwort
+   * @throws ServletException wenn ein Servlet-spezifischer Fehler passiert
+   * @throws IOException wenn ein Eingabe- oder Ausgabe-Fehler passiert
    */
   protected void processRequest(HttpServletRequest request, HttpServletResponse response)
           throws ServletException, IOException 
   {
-    response.setContentType("text/html;charset=UTF-8");
-    try (PrintWriter out = response.getWriter()) {
 
-      // Asciidoc-Quelldatei aus HTTP-Request ermitteln
-      String vPath = request.getServletPath();
-      String absname = getServletContext().getRealPath(vPath);
-      File adocfile = new File(absname);
-      
-      // HTML-Datei ermitteln
-      String nameext = adocfile.getName();
-      String fname = nameext.substring(0, nameext.lastIndexOf(DOT));
-      File htmlfile = new File(adocfile.getParentFile(), fname + DOT + HTML);
-      
-      /*
-        nach HTML transformieren, wenn die Quelle sich geandert hat oder 
-        die HTML-Datei noch nicht existiert
-      */
-      if(!htmlfile.exists() || adocfile.lastModified() > htmlfile.lastModified()) {
-        transform(absname);
+    // Asciidoc-Quelldatei aus HTTP-Request ermitteln
+    String vPath = request.getServletPath();
+    String absname = getServletContext().getRealPath(vPath);
+    File adocfile = new File(absname);
+
+    // HTML-Datei ermitteln
+    String nameext = adocfile.getName();
+    String fname = nameext.substring(0, nameext.lastIndexOf(DOT));
+    File htmlfile = new File(adocfile.getParentFile(), fname + DOT + HTML);
+    File outfile = htmlfile; // Standardmaessig wird HTML zurueckgegeben
+    response.setCharacterEncoding("UTF-8");
+    
+    /*
+      nach HTML transformieren, wenn die Quelle sich geandert hat oder 
+      die HTML-Datei noch nicht existiert
+    */
+    if(!htmlfile.exists() || adocfile.lastModified() > htmlfile.lastModified()) {
+      transform(absname);
+    }
+
+    /*
+      nach PDF transformieren, wenn der Parameter pdf=true existiert und 
+      wenn die Quelle sich geandert hat oder 
+      die PDF-Datei noch nicht existiert
+    */
+    String pdf = request.getParameter(PDF);
+    if(null != pdf && pdf.equalsIgnoreCase(Boolean.TRUE.toString())) {
+      File pdffile = new File(adocfile.getParentFile(), fname + DOT + PDF);
+      outfile = pdffile; // PDF soll zurueckgegeben werden
+      if(!pdffile.exists() || adocfile.lastModified() > pdffile.lastModified()) {
+        transform(absname, PDF);
       }
-   
-      /*
-        nach PDF transformieren, wenn der Parameter pdf=true existiert und 
-        wenn die Quelle sich geandert hat oder 
-        die PDF-Datei noch nicht existiert
-      */
-      String pdf = request.getParameter(PDF);
-      if(null != pdf && pdf.equalsIgnoreCase(Boolean.TRUE.toString())) {
-        File pdffile = new File(adocfile.getParentFile(), fname + DOT + PDF);
-        if(!pdffile.exists() || adocfile.lastModified() > pdffile.lastModified()) {
-          transform(absname, PDF);
-        }
-      }
+    }
       
-      // HTML-Datei ausgeben
-      FileInputStream in = new FileInputStream(htmlfile);
-      BufferedReader reader = new BufferedReader(new InputStreamReader(in));
+    try (PrintWriter out = response.getWriter()) {
+      // abhaengig vom Parameter pdf HTML- oder PDF-Datei ausgeben
+      FileInputStream in = new FileInputStream(outfile);
+      BufferedReader reader = new BufferedReader(new InputStreamReader(in, "UTF-8"));
       String line;
       while ((line = reader.readLine()) != null) {
         out.println(line);
@@ -105,33 +109,47 @@
     }
   }
   
+  /**
+   * Nach HTML transformieren
+   * @param fileName der Dateiname der Quelldatei samt absoluter Pfadangabe
+   */
   private void transform(String fileName) {
     transform(fileName, null);
   }  
   
+  /**
+   * In ein Format transformieren, das von einem 'Backend' von Asciidoctor 
+   * unterstuetzt wird
+   * @param fileName der Dateiname der Quelldatei samt absoluter Pfadangabe
+   * @param backend das Kuerzel des Backends, z.B. der String 'pdf', wenn 
+   * nach PDF transformiert werden soll
+   */
   private void transform(String fileName, String backend) {    
-    Map<String, Object> attributes = new HashMap<>();
-    attributes.put("no_footer", false);
-    attributes.put("source_highlighter", "highlightjs");
-
-    Map<String, Object> options = new HashMap<>();
-    options.put("attributes", attributes); 
-    options.put("in_place", false); 
+    File outFile = new File(fileName);
+    Map<String, Object> attributes = attributes().attribute("pdf-themesdir", outFile.getParent()).attribute("pdf-theme","test").sourceHighlighter("highlightjs")
+                                       .asMap();
+    Map<String, Object> options;
     if(null != backend) {
-      options.put("backend", backend);
+      options = options().inPlace(false)
+              .backend(backend).attributes(attributes).asMap();
+      
+    } else {
+      options = options().inPlace(false)
+              .attributes(attributes).asMap();
     }
     
     Asciidoctor asciidoctor = create();    
+    asciidoctor.requireLibrary("asciidoctor-diagram");
     asciidoctor.convertFile(new File(fileName), options);    
   }
 
   /**
-   * Handles the HTTP <code>GET</code> method.
+   * Die HTTP-<code>GET</code>-Methode verarbeiten.
    *
-   * @param request servlet request
-   * @param response servlet response
-   * @throws ServletException if a servlet-specific error occurs
-   * @throws IOException if an I/O error occurs
+   * @param request die Servlet-Anfrage
+   * @param response die Servlet-Antwort
+   * @throws ServletException wenn ein Servlet-spezifischer Fehler passiert
+   * @throws IOException wenn ein Eingabe- oder Ausgabe-Fehler passiert
    */
   @Override
   protected void doGet(HttpServletRequest request, HttpServletResponse response)
@@ -140,12 +158,12 @@
   }
 
   /**
-   * Handles the HTTP <code>POST</code> method.
+   * Die HTTP-<code>POST</code>-Methode verarbeiten.
    *
-   * @param request servlet request
-   * @param response servlet response
-   * @throws ServletException if a servlet-specific error occurs
-   * @throws IOException if an I/O error occurs
+   * @param request die Servlet-Anfrage
+   * @param response die Servlet-Antwort
+   * @throws ServletException wenn ein Servlet-spezifischer Fehler passiert
+   * @throws IOException wenn ein Eingabe- oder Ausgabe-Fehler passiert
    */
   @Override
   protected void doPost(HttpServletRequest request, HttpServletResponse response)
@@ -154,9 +172,9 @@
   }
 
   /**
-   * Returns a short description of the servlet.
+   * Eine Kurzbeschreibung des Servlets ausgeben.
    *
-   * @return a String containing servlet description
+   * @return einen String mit der Kurzbeschreibung des Servlets
    */
   @Override
   public String getServletInfo() {

--
Gitblit v1.9.3