Uses of Class
org.sonar.java.checks.helpers.SubAutomaton

Packages that use SubAutomaton

Package	Description
org.sonar.java.checks.helpers

Uses of SubAutomaton in org.sonar.java.checks.helpers

Methods in org.sonar.java.checks.helpers with parameters of type SubAutomaton

Modifier and Type	Method	Description
boolean	AbstractAutomataChecker.check(SubAutomaton auto1, SubAutomaton auto2)
protected boolean	AbstractAutomataChecker.check(SubAutomaton auto1, SubAutomaton auto2, boolean hasConsumedInput)
protected abstract boolean	AbstractAutomataChecker.checkAuto1AndAuto2Successors(SubAutomaton auto1, SubAutomaton auto2, boolean defaultAnswer, boolean hasConsumedInput)
protected boolean	IntersectAutomataChecker.checkAuto1AndAuto2Successors(SubAutomaton auto1, SubAutomaton auto2, boolean defaultAnswer, boolean hasConsumedInput)
protected boolean	SupersetAutomataChecker.checkAuto1AndAuto2Successors(SubAutomaton auto1, SubAutomaton auto2, boolean defaultAnswer, boolean hasConsumedInput)
protected abstract boolean	AbstractAutomataChecker.checkAuto1Successors(SubAutomaton auto1, SubAutomaton auto2, boolean defaultAnswer, boolean hasConsumedInput)
protected boolean	IntersectAutomataChecker.checkAuto1Successors(SubAutomaton auto1, SubAutomaton auto2, boolean defaultAnswer, boolean hasConsumedInput)
protected boolean	SupersetAutomataChecker.checkAuto1Successors(SubAutomaton auto1, SubAutomaton auto2, boolean defaultAnswer, boolean hasConsumedInput)
protected abstract boolean	AbstractAutomataChecker.checkAuto2Successors(SubAutomaton auto1, SubAutomaton auto2, boolean defaultAnswer, boolean hasConsumedInput)
protected boolean	IntersectAutomataChecker.checkAuto2Successors(SubAutomaton auto1, SubAutomaton auto2, boolean defaultAnswer, boolean hasConsumedInput)
protected boolean	SupersetAutomataChecker.checkAuto2Successors(SubAutomaton auto1, SubAutomaton auto2, boolean defaultAnswer, boolean hasConsumedInput)
static boolean	RegexTreeHelper.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 boolean	RegexTreeHelper.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 SubAutomaton

Modifier and Type	Method	Description
boolean	SubAutomaton.allSuccessorMatch(Predicate<SubAutomaton> predicate)
boolean	SubAutomaton.anySuccessorMatch(Predicate<SubAutomaton> predicate)