InfiniteRecursiveLoop (SpotBugs 4.2.1 API)

java.lang.Object
- edu.umd.cs.findbugs.visitclass.BetterVisitor
- - edu.umd.cs.findbugs.visitclass.PreorderVisitor
  - - edu.umd.cs.findbugs.visitclass.AnnotationVisitor
    - - edu.umd.cs.findbugs.visitclass.DismantleBytecode
      - edu.umd.cs.findbugs.BytecodeScanningDetector
        
        edu.umd.cs.findbugs.bcel.OpcodeStackDetector
        
        edu.umd.cs.findbugs.detect.InfiniteRecursiveLoop

All Implemented Interfaces:

Detector, Priorities, StatelessDetector, java.lang.Cloneable, org.apache.bcel.classfile.Visitor
```
public class InfiniteRecursiveLoop
extends OpcodeStackDetector
implements StatelessDetector
```

Nested Class Summary
- Nested classes/interfaces inherited from class edu.umd.cs.findbugs.bcel.OpcodeStackDetector
  OpcodeStackDetector.WithCustomJumpInfo

Field Summary
- Fields inherited from class edu.umd.cs.findbugs.bcel.OpcodeStackDetector
  stack
- Fields inherited from class edu.umd.cs.findbugs.visitclass.DismantleBytecode
  codeBytes, lineNumberTable, M_BR, M_CP, M_INT, M_PAD, M_R, M_UINT
- Fields inherited from interface edu.umd.cs.findbugs.Priorities
  EXP_PRIORITY, HIGH_PRIORITY, IGNORE_PRIORITY, LOW_PRIORITY, NORMAL_PRIORITY

Constructor Summary

Constructors
Constructor Description

InfiniteRecursiveLoop(BugReporter bugReporter)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`sawBranchTo(int target)`
`void`	`sawOpcode(int seen)`	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.
`void`	`visit(org.apache.bcel.classfile.Method obj)`

Methods inherited from class edu.umd.cs.findbugs.bcel.OpcodeStackDetector
afterOpcode, beforeOpcode, getStack, isUsingCustomUserValue, visitCode

Methods inherited from class edu.umd.cs.findbugs.BytecodeScanningDetector
getClassContext, report, shouldVisitCode, visitClassContext

Methods inherited from class edu.umd.cs.findbugs.visitclass.DismantleBytecode
areOppositeBranches, atCatchBlock, getBranchFallThrough, getBranchOffset, getBranchTarget, getClassConstantOperand, getClassDescriptorOperand, getCodeByte, getConstantRefOperand, getDefaultSwitchOffset, getDottedClassConstantOperand, getFieldDescriptorOperand, getIntConstant, getLongConstant, getMaxPC, getMethodDescriptorOperand, getNameConstantOperand, getNextCodeByte, getNextOpcode, getNextPC, getOpcode, getPC, getPrevOpcode, getRefConstantOperand, getRefFieldIsStatic, getRegisterOperand, getSigConstantOperand, getStringConstantOperand, getSwitchLabels, getSwitchOffsets, getXClassOperand, getXFieldOperand, getXMethodOperand, isBranch, isMethodCall, isRegisterLoad, isRegisterStore, isRegisterStore, isReturn, isShift, isSwitch, isWideOpcode, printOpCode, sawClass, sawDouble, sawField, sawFloat, sawIMethod, sawInt, sawLong, sawMethod, sawRegister, sawString, visit

Methods inherited from class edu.umd.cs.findbugs.visitclass.AnnotationVisitor
getAnnotationParameterAsString, getAnnotationParameterAsStringArray, visitAnnotation, visitAnnotation, visitParameterAnnotation, visitParameterAnnotation, visitSyntheticParameterAnnotation

Methods inherited from class edu.umd.cs.findbugs.visitclass.PreorderVisitor
amVisitingMainMethod, asUnsignedByte, doVisitMethod, getClassDescriptor, getClassName, getCode, getConstantPool, getDottedClassName, getDottedFieldSig, getDottedMethodSig, getDottedSuperclassName, getField, getFieldDescriptor, getFieldIsStatic, getFieldName, getFieldSig, getFullyQualifiedFieldName, getFullyQualifiedMethodName, getMethod, getMethodDescriptor, getMethodName, getMethodSig, getMethodVisitOrder, getNumberArguments, getNumberMethodArguments, getPackageName, getSizeOfSurroundingTryBlock, getSizeOfSurroundingTryBlock, getSourceFile, getStringFromIndex, getSuperclassName, getSurroundingCaughtExceptions, getSurroundingCaughtExceptions, getSurroundingTryBlock, getSurroundingTryBlock, getThisClass, getXClass, getXField, getXMethod, hasInterestingClass, hasInterestingMethod, isVisitMethodsInCallOrder, setupVisitorForClass, setVisitMethodsInCallOrder, shouldVisit, toString, visitAfter, visitAfter, visitAnnotationDefault, visitAnnotationEntry, visitBootstrapMethods, visitConstantInvokeDynamic, visitConstantMethodHandle, visitConstantMethodType, visitConstantModule, visitConstantPackage, visitConstantPool, visitEnclosingMethod, visitingField, visitingMethod, visitInnerClasses, visitJavaClass, visitLineNumberTable, visitLocalVariableTable, visitMethodParameters, visitParameterAnnotationEntry, visitStackMap, visitStackMapEntry

Methods inherited from class edu.umd.cs.findbugs.visitclass.BetterVisitor
clone, report, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visitCodeException, visitConstantClass, visitConstantDouble, visitConstantFieldref, visitConstantFloat, visitConstantInteger, visitConstantInterfaceMethodref, visitConstantLong, visitConstantMethodref, visitConstantNameAndType, visitConstantString, visitConstantUtf8, visitConstantValue, visitDeprecated, visitExceptionTable, visitField, visitInnerClass, visitLineNumber, visitLocalVariable, visitLocalVariableTypeTable, visitMethod, visitSignature, visitSourceFile, visitSynthetic, visitUnknown

Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface edu.umd.cs.findbugs.StatelessDetector
clone

Methods inherited from interface org.apache.bcel.classfile.Visitor
visitConstantDynamic, visitMethodParameter, visitModule, visitModuleExports, visitModuleMainClass, visitModuleOpens, visitModulePackages, visitModuleProvides, visitModuleRequires, visitNestHost, visitNestMembers

- Constructor Detail
  - InfiniteRecursiveLoop
```
public InfiniteRecursiveLoop(BugReporter bugReporter)
```
- Method Detail
  - visit
```
public void visit(org.apache.bcel.classfile.Method obj)
```
    Overrides:
    
    visit in class BetterVisitor
  - sawBranchTo
```
public void sawBranchTo(int target)
```
    Overrides:
    
    sawBranchTo in class DismantleBytecode
  - sawOpcode
```
public void sawOpcode(int seen)
```
    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.
    
    Specified by:
    
    sawOpcode in class OpcodeStackDetector
    
    See Also:
    
    OpcodeStackDetector.beforeOpcode(int)