Package edu.umd.cs.findbugs.detect

Class InfiniteRecursiveLoop2

java.lang.Object

edu.umd.cs.findbugs.detect.InfiniteRecursiveLoop2

All Implemented Interfaces:

Detector, Priorities

@Deprecated
public class InfiniteRecursiveLoop2
extends java.lang.Object
implements Detector

Deprecated.

Signal an infinite loop if either: we see a call to the same method with the same parameters, or we see a call to the same (dynamically dispatched method), and there has been no transfer of control.

This does the same thing as InfiniteRecursiveLoop, but uses CFG-based analysis for greater precision.

Author:

Bill Pugh, David Hovemeyer

Field Summary

Fields inherited from interface edu.umd.cs.findbugs.Priorities

EXP_PRIORITY, HIGH_PRIORITY, IGNORE_PRIORITY, LOW_PRIORITY, NORMAL_PRIORITY

Constructor Summary

Constructors

Constructor	Description
InfiniteRecursiveLoop2(BugReporter bugReporter)	Deprecated.

Method Summary

Modifier and Type	Method	Description
void	report()	Deprecated. This method is called after all classes to be visited.
void	visitClassContext(ClassContext classContext)	Deprecated. Visit the ClassContext for a class which should be analyzed for instances of bug patterns.

Methods inherited from class java.lang.Object

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

Constructor Detail

InfiniteRecursiveLoop2

public InfiniteRecursiveLoop2(BugReporter bugReporter)

Deprecated.

Method Detail

visitClassContext

public void visitClassContext(ClassContext classContext)

Deprecated.

Description copied from interface: Detector

Visit the ClassContext for a class which should be analyzed for instances of bug patterns.

Specified by:

visitClassContext in interface Detector

Parameters:

classContext - the ClassContext

report

public void report()

Deprecated.

Description copied from interface: Detector

This method is called after all classes to be visited. It should be used by any detectors which accumulate information over all visited classes to generate results.

Specified by:

report in interface Detector