Package software.amazon.smithy.rulesengine.language.util

Class PathFinder

java.lang.Object

software.amazon.smithy.rulesengine.language.util.PathFinder

public final class PathFinder
extends Object

Utility to determine with path of conditions that must be matched to reach a condition in a rule-set.

See `PathFinder.findPath`

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final class	PathFinder.Path

Method Summary

Modifier and Type	Method	Description
static Optional<PathFinder.Path>	findPath(EndpointRuleSet ruleset, Condition target)	Determine the path of positive and negative conditions to reach a given condition.

Methods inherited from class java.lang.Object

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

Method Details

findPath

public static Optional<PathFinder.Path> findPath(EndpointRuleSet ruleset,
 Condition target)

Determine the path of positive and negative conditions to reach a given condition.

This can be used for debugging as well as other forms of static reachability analysis.

Parameters:

ruleset - The endpoint rule-set to search.

target - The target condition to reach.

Returns:

Path