Uses of Class
org.sonar.java.se.checks.SECheck

Packages that use SECheck

Package	Description
org.sonar.java.bytecode.se
org.sonar.java.se
org.sonar.java.se.checks
org.sonar.java.se.checks.debug
org.sonar.java.se.xproc

Uses of SECheck in org.sonar.java.bytecode.se

Methods in org.sonar.java.bytecode.se with parameters of type SECheck

Modifier and Type	Method and Description
void	CheckerDispatcher.addExceptionalYield(SymbolicValue target, ProgramState exceptionalState, String exceptionFullyQualifiedName, SECheck check)

Uses of SECheck in org.sonar.java.se

Methods in org.sonar.java.se with parameters of type SECheck

Modifier and Type	Method and Description
void	ExplodedGraphWalker.addExceptionalYield(SymbolicValue target, ProgramState exceptionalState, String exceptionFullyQualifiedName, SECheck check)
void	CheckerDispatcher.addExceptionalYield(SymbolicValue target, ProgramState exceptionalState, String exceptionFullyQualifiedName, SECheck check)
void	CheckerContext.addExceptionalYield(SymbolicValue target, ProgramState exceptionalState, String exceptionFullyQualifiedName, SECheck check)
void	CheckerDispatcher.reportIssue(Tree tree, SECheck check, String message)
void	CheckerContext.reportIssue(Tree tree, SECheck check, String message)
void	CheckerDispatcher.reportIssue(Tree tree, SECheck check, String message, Set<Flow> flows)
void	CheckerContext.reportIssue(Tree tree, SECheck check, String message, Set<Flow> flows)

Constructor parameters in org.sonar.java.se with type arguments of type SECheck

Constructor and Description
CheckerDispatcher(ExplodedGraphWalker explodedGraphWalker, List<SECheck> checks)
ExplodedGraphWalker(List<SECheck> seChecks, BehaviorCache behaviorCache, SemanticModel semanticModel)

Uses of SECheck in org.sonar.java.se.checks

Subclasses of SECheck in org.sonar.java.se.checks

Modifier and Type	Class and Description
class	BooleanGratuitousExpressionsCheck
class	ConditionalUnreachableCodeCheck
class	CustomUnclosedResourcesCheck
class	DivisionByZeroCheck
class	InvariantReturnCheck
class	LocksNotUnlockedCheck
class	MapComputeIfAbsentOrPresentCheck
class	NonNullSetToNullCheck
class	NoWayOutLoopCheck
class	NullDereferenceCheck
class	OptionalGetBeforeIsPresentCheck
class	ParameterNullnessCheck
class	RedundantAssignmentsCheck
class	StreamConsumedCheck Note that StreamNotConsumedCheck is implemented by using constraints set by this check
class	StreamNotConsumedCheck This check is used just to report issues.
class	UnclosedResourcesCheck

Uses of SECheck in org.sonar.java.se.checks.debug

Subclasses of SECheck in org.sonar.java.se.checks.debug

Modifier and Type	Class and Description
class	DebugInterruptedExecutionCheck
class	DebugMethodYieldsCheck
class	DebugMethodYieldsOnInvocationsCheck

Uses of SECheck in org.sonar.java.se.xproc

Methods in org.sonar.java.se.xproc that return types with arguments of type SECheck

Modifier and Type	Method and Description
Class<? extends SECheck>	ExceptionalCheckBasedYield.check()

Methods in org.sonar.java.se.xproc with parameters of type SECheck

Modifier and Type	Method and Description
ExceptionalYield	MethodBehavior.createExceptionalCheckBasedYield(SymbolicValue target, ExplodedGraph.Node node, String exceptionType, SECheck check)
boolean	MethodYield.generatedByCheck(SECheck check)
boolean	ExceptionalCheckBasedYield.generatedByCheck(SECheck check)

Constructor parameters in org.sonar.java.se.xproc with type arguments of type SECheck

Constructor and Description
ExceptionalCheckBasedYield(SymbolicValue svCausingException, String exceptionType, Class<? extends SECheck> check, ExplodedGraph.Node node, MethodBehavior behavior)