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 java.lang.Object

Constructor Summary

Constructors

Constructor	Description
CoverageResult(Condition condition, boolean result, java.util.List<java.util.Map<Identifier,Value>> otherUsages)

Method Summary

Modifier and Type	Method	Description
Condition	condition()
java.util.List<java.util.Map<Identifier,Value>>	otherUsages()
java.lang.String	pretty()
java.lang.String	prettyWithPath(EndpointRuleSet ruleset)
boolean	result()

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,
                      java.util.List<java.util.Map<Identifier,Value>> otherUsages)

Method Detail

condition

public Condition condition()

result

public boolean result()

otherUsages

public java.util.List<java.util.Map<Identifier,Value>> otherUsages()

pretty

public java.lang.String pretty()

prettyWithPath

public java.lang.String prettyWithPath(EndpointRuleSet ruleset)