Class GeneralGenerateReportCTESK


  • public class GeneralGenerateReportCTESK
    extends java.lang.Object
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static void main​(java.lang.String[] args)  
      • Methods inherited from class java.lang.Object

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

      • tracingErrors

        protected static boolean tracingErrors
      • tracingCoverage

        protected static boolean tracingCoverage
      • tracingFSM

        protected static boolean tracingFSM
      • tracingRequirements

        protected static boolean tracingRequirements
    • Constructor Detail

      • GeneralGenerateReportCTESK

        public GeneralGenerateReportCTESK​(java.util.Properties config,
                                          java.util.List<TraceProvider> traces,
                                          java.lang.String generationDir)
    • Method Detail

      • main

        public static void main​(java.lang.String[] args)