Uses of Class
org.sonar.java.checks.helpers.SubAutomaton
Packages that use SubAutomaton
-
Uses of SubAutomaton in org.sonar.java.checks.helpers
Methods in org.sonar.java.checks.helpers with parameters of type SubAutomatonModifier and TypeMethodDescriptionbooleanAbstractAutomataChecker.check(SubAutomaton auto1, SubAutomaton auto2)protected booleanAbstractAutomataChecker.check(SubAutomaton auto1, SubAutomaton auto2, boolean hasConsumedInput)protected abstract booleanAbstractAutomataChecker.checkAuto1AndAuto2Successors(SubAutomaton auto1, SubAutomaton auto2, boolean defaultAnswer, boolean hasConsumedInput)protected booleanIntersectAutomataChecker.checkAuto1AndAuto2Successors(SubAutomaton auto1, SubAutomaton auto2, boolean defaultAnswer, boolean hasConsumedInput)protected booleanSupersetAutomataChecker.checkAuto1AndAuto2Successors(SubAutomaton auto1, SubAutomaton auto2, boolean defaultAnswer, boolean hasConsumedInput)protected abstract booleanAbstractAutomataChecker.checkAuto1Successors(SubAutomaton auto1, SubAutomaton auto2, boolean defaultAnswer, boolean hasConsumedInput)protected booleanIntersectAutomataChecker.checkAuto1Successors(SubAutomaton auto1, SubAutomaton auto2, boolean defaultAnswer, boolean hasConsumedInput)protected booleanSupersetAutomataChecker.checkAuto1Successors(SubAutomaton auto1, SubAutomaton auto2, boolean defaultAnswer, boolean hasConsumedInput)protected abstract booleanAbstractAutomataChecker.checkAuto2Successors(SubAutomaton auto1, SubAutomaton auto2, boolean defaultAnswer, boolean hasConsumedInput)protected booleanIntersectAutomataChecker.checkAuto2Successors(SubAutomaton auto1, SubAutomaton auto2, boolean defaultAnswer, boolean hasConsumedInput)protected booleanSupersetAutomataChecker.checkAuto2Successors(SubAutomaton auto1, SubAutomaton auto2, boolean defaultAnswer, boolean hasConsumedInput)static booleanRegexTreeHelper.intersects(SubAutomaton auto1, SubAutomaton auto2, boolean defaultAnswer)If both sub-automata have allowPrefix set to true, this method will check whether auto1 intersects the prefix of auto2 or auto2 intersects the prefix of auto1.static booleanRegexTreeHelper.supersetOf(SubAutomaton auto1, SubAutomaton auto2, boolean defaultAnswer)Here auto2.allowPrefix means that if supersetOf(auto1, auto2), then for every string matched by auto2, auto1 can match a prefix of it auto1.allowPrefix means that if supersetOf(auto1, auto2), then for every string matched by auto2, auto1 can match a continuation of it If both are set, it means either one can be the case.Method parameters in org.sonar.java.checks.helpers with type arguments of type SubAutomatonModifier and TypeMethodDescriptionbooleanSubAutomaton.allSuccessorMatch(Predicate<SubAutomaton> predicate)booleanSubAutomaton.anySuccessorMatch(Predicate<SubAutomaton> predicate)