Package org.sonar.java.checks.helpers

Class SupersetAutomataChecker

java.lang.Object

org.sonar.java.checks.helpers.AbstractAutomataChecker

org.sonar.java.checks.helpers.SupersetAutomataChecker

public class SupersetAutomataChecker
extends AbstractAutomataChecker

Field Summary

Fields inherited from class org.sonar.java.checks.helpers.AbstractAutomataChecker

defaultAnswer

Constructor Summary

Constructors

Constructor	Description
SupersetAutomataChecker(boolean defaultAnswer)

Method Summary

Modifier and Type	Method	Description
protected boolean	checkAuto1AndAuto2Successors(SubAutomaton auto1, SubAutomaton auto2, boolean defaultAnswer, boolean hasConsumedInput)
protected boolean	checkAuto1Successors(SubAutomaton auto1, SubAutomaton auto2, boolean defaultAnswer, boolean hasConsumedInput)
protected boolean	checkAuto2Successors(SubAutomaton auto1, SubAutomaton auto2, boolean defaultAnswer, boolean hasConsumedInput)
protected boolean	neutralAnswer()	The answer that should be returned when running into a cycle in the automaton.

Methods inherited from class org.sonar.java.checks.helpers.AbstractAutomataChecker

check, check, clearCache

Methods inherited from class java.lang.Object

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

Constructor Details

SupersetAutomataChecker

public SupersetAutomataChecker(boolean defaultAnswer)

Method Details

neutralAnswer

protected boolean neutralAnswer()

Description copied from class: AbstractAutomataChecker

The answer that should be returned when running into a cycle in the automaton. This should be the neutral element with respect to the operation that's used to combine the results from multiple paths. That is, if there are multiple paths, one of whom is part of a cycle whereas the others are not, then the end result should just depend on the non-cyclic paths. Thus if the results are combined with "any", the neutral element should be false and for "all" it should be true.

Specified by:

neutralAnswer in class AbstractAutomataChecker

checkAuto1AndAuto2Successors

protected boolean checkAuto1AndAuto2Successors(SubAutomaton auto1,
 SubAutomaton auto2,
 boolean defaultAnswer,
 boolean hasConsumedInput)

Specified by:

checkAuto1AndAuto2Successors in class AbstractAutomataChecker

checkAuto1Successors

protected boolean checkAuto1Successors(SubAutomaton auto1,
 SubAutomaton auto2,
 boolean defaultAnswer,
 boolean hasConsumedInput)

Specified by:

checkAuto1Successors in class AbstractAutomataChecker

checkAuto2Successors

protected boolean checkAuto2Successors(SubAutomaton auto1,
 SubAutomaton auto2,
 boolean defaultAnswer,
 boolean hasConsumedInput)

Specified by:

checkAuto2Successors in class AbstractAutomataChecker