Package software.amazon.smithy.rulesengine.analysis

Class CoverageChecker.CoverageResult

java.lang.Object

software.amazon.smithy.rulesengine.analysis.CoverageChecker.CoverageResult

Enclosing class:

CoverageChecker

public static class CoverageChecker.CoverageResult
extends 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

Modifier and Type	Method	Description
Condition	getCondition()	Gets the condition that is covered.
boolean	getResult()	Gets if the condition is covered or not.
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 Details

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 Details

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 String pretty()

Pretty prints this CoverageResult.

Returns:

A pretty representation of the condition and result.