Class CoverageCollector.CoveragePage

    • Field Detail

      • coveredLeafCount

        protected int coveredLeafCount
      • hitCount

        protected int hitCount
    • Constructor Detail

      • CoveragePage

        protected CoveragePage()
      • CoveragePage

        protected CoveragePage​(com.unitesk.coverage.CoverageStructure cs)
    • Method Detail

      • getLeaf

        protected CoverageCollector.Leaf getLeaf​(com.unitesk.coverage.CoverageElement ce)
        Get or create leaf.
      • getAspect

        public java.lang.String getAspect()
        Description copied from class: ReportEntity
        Gets the aspect which contains this report entity. Class report generator uses this information for an automatic reference generation; Other components of report generator may use this information as they see fit.
        Overrides:
        getAspect in class ReportEntity
        Returns:
        Aspect name. Empty string is used for an empty aspect. null if the aspect is unidentified.
      • generateRows

        protected void generateRows​(java.io.PrintWriter pw,
                                    com.unitesk.coverage.CoverageElement[] elements,
                                    int colspan)
      • hasUncoveredLeaves

        protected boolean hasUncoveredLeaves​(com.unitesk.coverage.CoverageElement ce)
      • getHeight

        protected int getHeight​(com.unitesk.coverage.CoverageElement[] elems)
      • getMaxDepth

        protected int getMaxDepth​(com.unitesk.coverage.CoverageElement[] elems)