Class CoverageCollector

    • Field Detail

      • PROP_GENERATE_HITS

        public static final java.lang.String PROP_GENERATE_HITS
        See Also:
        Constant Field Values
      • PROP_GENERATE_FIRST_COVERED

        public static final java.lang.String PROP_GENERATE_FIRST_COVERED
        See Also:
        Constant Field Values
      • PROP_GENERATE_PINERY

        public static final java.lang.String PROP_GENERATE_PINERY
        See Also:
        Constant Field Values
      • structs

        protected java.util.Map<java.lang.String,​java.util.LinkedHashMap<java.lang.String,​com.unitesk.coverage.CoverageStructure>> structs
        [aspect +> [struct name +> struct]].
      • firstCoveredEnv

        protected java.util.Map<com.unitesk.coverage.CoverageElement,​java.util.Map<java.lang.String,​java.util.Set<java.lang.String>>> firstCoveredEnv
        [covered element +> context of first hit].
      • firstCoveredInChannel

        protected java.util.Map<com.unitesk.coverage.CoverageElement,​java.lang.String> firstCoveredInChannel
      • configHits

        protected boolean configHits
      • configFirstCovered

        protected boolean configFirstCovered
      • configPinery

        protected boolean configPinery
    • Constructor Detail

      • CoverageCollector

        public CoverageCollector()
      • CoverageCollector

        public CoverageCollector​(java.util.Properties config)