Class HTMLReportWriter

    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected java.util.zip.ZipOutputStream zout  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void copyFile​(java.lang.String destination, java.lang.String filename)  
      protected java.lang.String formPage​(java.lang.String sourceFolder, java.lang.String content)  
      void writeReport​(java.io.OutputStream out, VerifierReport result)  
      protected void writeToFile​(java.lang.String fileName, java.lang.String text)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • zout

        protected java.util.zip.ZipOutputStream zout
    • Constructor Detail

      • HTMLReportWriter

        public HTMLReportWriter()
    • Method Detail

      • formPage

        protected java.lang.String formPage​(java.lang.String sourceFolder,
                                            java.lang.String content)
      • copyFile

        public void copyFile​(java.lang.String destination,
                             java.lang.String filename)
                      throws java.io.IOException
        Throws:
        java.io.IOException
      • writeToFile

        protected void writeToFile​(java.lang.String fileName,
                                   java.lang.String text)
                            throws java.io.IOException
        Throws:
        java.io.IOException