Package org.sonar.java.checks.helpers

Class AbstractAutomataChecker

java.lang.Object

org.sonar.java.checks.helpers.AbstractAutomataChecker

Direct Known Subclasses:

IntersectAutomataChecker, SupersetAutomataChecker

public abstract class AbstractAutomataChecker
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
protected boolean	defaultAnswer

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AbstractAutomataChecker(boolean defaultAnswer)

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

defaultAnswer

protected final boolean defaultAnswer

Constructor Detail

AbstractAutomataChecker

protected AbstractAutomataChecker(boolean defaultAnswer)

Method Detail

check

public boolean check(SubAutomaton auto1,
                     SubAutomaton auto2)

check

protected boolean check(SubAutomaton auto1,
                        SubAutomaton auto2,
                        boolean hasConsumedInput)

clearCache

public void clearCache()

neutralAnswer

protected abstract boolean neutralAnswer()

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.

checkAuto1AndAuto2Successors

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

checkAuto1Successors

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

checkAuto2Successors

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