Class WalkStateGraphContext


  • public final class WalkStateGraphContext
    extends java.lang.Object
    • Method Detail

      • recordWalkTo

        public void recordWalkTo​(State state)
      • isWalksFinalState

        public boolean isWalksFinalState​(StateDescriptor stateDescriptor)
      • isFinalStateAuthenticatedAndResourceBound

        public boolean isFinalStateAuthenticatedAndResourceBound()
      • getWalk

        public java.util.List<State> getWalk()
      • getWalkLength

        public int getWalkLength()
      • appendWalkTo

        public void appendWalkTo​(java.util.List<State> walk)
      • stateAlreadyVisited

        public boolean stateAlreadyVisited​(State state)
      • wouldCauseCycle

        public boolean wouldCauseCycle​(StateDescriptorGraph.GraphVertex<State> successorStateVertex)
        Check if the way to the final state via the given successor state that would loop, i.e., lead over the initial state and thus from a cycle.
        Parameters:
        successorStateVertex - the successor state to use on the way.
        Returns:
        true if it would loop, false otherwise.