Package software.amazon.smithy.rulesengine.analysis

Class CoverageChecker.CoverageResult

  • Enclosing class:
    CoverageChecker
    public static class CoverageChecker.CoverageResult
extends java.lang.Object
    A container for a specific condition's coverage result.

    • Constructor Summary

      Constructors 
      Constructor Description
      CoverageResult​(Condition condition, boolean result)
      Constructs a new coverage result container for the given condition and result.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      Condition getCondition()
      Gets the condition that is covered.
      boolean getResult()
      Gets if the condition is covered or not.
      java.lang.String pretty()
      Pretty prints this CoverageResult.

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • CoverageResult

        public CoverageResult​(Condition condition,
                      boolean result)
        Constructs a new coverage result container for the given condition and result.
        Parameters:
        condition - the condition being covered.
        result - if the condition is covered by test cases or not.

    • Method Detail

      • getCondition

        public Condition getCondition()
        Gets the condition that is covered.
        Returns:
        the condition being covered.

      • getResult

        public boolean getResult()
        Gets if the condition is covered or not.
        Returns:
        returns true if the condition is covered, false otherwise.

      • pretty

        public java.lang.String pretty()
        Pretty prints this CoverageResult.
        Returns:
        A pretty representation of the condition and result.