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

Class PathFinder

  • public final class PathFinder
extends java.lang.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 class  PathFinder.Path  

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static java.util.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 Detail

      • findPath

        public static java.util.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