Package org.sonarsource.analyzer.commons.regex.helpers

Class RegexReachabilityChecker

java.lang.Object

org.sonarsource.analyzer.commons.regex.helpers.RegexReachabilityChecker

public class RegexReachabilityChecker
extends Object

Constructor Summary

Constructors

Constructor	Description
RegexReachabilityChecker(boolean defaultAnswer)

Method Summary

Modifier and Type	Method	Description
boolean	canReach(AutomatonState start, AutomatonState goal)
boolean	canReachWithConsumingInput(AutomatonState start, AutomatonState goal, Set<AutomatonState> visited)
static boolean	canReachWithoutConsumingInput(AutomatonState start, AutomatonState goal)	Check if the automaton can reach the goal state from start state, ignoring boundaries (see BoundaryTree)
static boolean	canReachWithoutConsumingInputNorCrossingBoundaries(AutomatonState start, AutomatonState goal)	Check if the automaton can reach the goal state from start state, taking into consideration boundaries (see BoundaryTree)
void	clearCache()

Methods inherited from class java.lang.Object

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

Constructor Detail

RegexReachabilityChecker

public RegexReachabilityChecker(boolean defaultAnswer)

Method Detail

clearCache

public void clearCache()

canReach

public boolean canReach(AutomatonState start,
                        AutomatonState goal)

canReachWithConsumingInput

public boolean canReachWithConsumingInput(AutomatonState start,
                                          AutomatonState goal,
                                          Set<AutomatonState> visited)

canReachWithoutConsumingInput

public static boolean canReachWithoutConsumingInput(AutomatonState start,
                                                    AutomatonState goal)

Check if the automaton can reach the goal state from start state, ignoring boundaries (see BoundaryTree)

Parameters:

start - The start state

goal - the targeted state

Returns:

true if the goal state can be reached from start, ignoring boundaries

canReachWithoutConsumingInputNorCrossingBoundaries

public static boolean canReachWithoutConsumingInputNorCrossingBoundaries(AutomatonState start,
                                                                         AutomatonState goal)

Check if the automaton can reach the goal state from start state, taking into consideration boundaries (see BoundaryTree)

Parameters:

start - The start state

goal - the targeted state

Returns:

true if the goal state can be reached from start, stopping if encountering boundaries