Uses of Interface
edu.umd.cs.findbugs.ba.XMethod
-
Packages that use XMethod Package Description edu.umd.cs.findbugs Main package for the FindBugs application - contains the engine class (FindBugs
), the object model classes for bug instances (BugInstance
,BugAnnotation
), and other miscellany.edu.umd.cs.findbugs.ba A bytecode analysis framework for BCEL, providing CFG construction, generic dataflow analysis, and a variety of specific dataflow analyses.edu.umd.cs.findbugs.ba.ch edu.umd.cs.findbugs.ba.deref edu.umd.cs.findbugs.ba.jsr305 Support for analyzing code containing JSR-305 type qualifier annotations.edu.umd.cs.findbugs.ba.npe edu.umd.cs.findbugs.ba.obl Implementation of dataflow analysis for checking whether obligations to close streams and other resources (e.g., database objects) are satisfied.edu.umd.cs.findbugs.bytecode edu.umd.cs.findbugs.classfile.analysis Classes of objects that are the result of executing an analysis engine on a class or method. The classes in this particular package are those that are independent of any particular bytecode-analysis framework (e.g., BCEL or ASM). Two important classes in this package are ClassData, which represents the raw data of a class, and ClassInfo, which represents symbolic information parsed from the class data.edu.umd.cs.findbugs.detect edu.umd.cs.findbugs.visitclass -
-
Uses of XMethod in edu.umd.cs.findbugs
Fields in edu.umd.cs.findbugs declared as XMethod Modifier and Type Field Description XMethod
ProgramPoint. method
Methods in edu.umd.cs.findbugs that return XMethod Modifier and Type Method Description static XMethod
Lookup. findSuperImplementorAsXMethod(org.apache.bcel.classfile.JavaClass clazz, java.lang.String name, java.lang.String signature, BugReporter bugReporter)
XMethod
OpcodeStack.Item. getReturnValueOf()
XMethod
MethodAnnotation. toXMethod()
Convert to an XMethod.Methods in edu.umd.cs.findbugs with parameters of type XMethod Modifier and Type Method Description BugInstance
BugInstance. addCalledMethod(XMethod m)
BugInstance
BugInstance. addClassAndMethod(XMethod xMethod)
BugInstance
BugInstance. addMethod(XMethod xmethod)
Add a MethodAnnotation from an XMethod.static SourceLineAnnotation
SourceLineAnnotation. forEntireMethod(org.apache.bcel.classfile.JavaClass javaClass, XMethod xmethod)
Create a SourceLineAnnotation covering an entire method.static MethodAnnotation
MethodAnnotation. fromXMethod(XMethod xmethod)
Create a MethodAnnotation from an XMethod.Method parameters in edu.umd.cs.findbugs with type arguments of type XMethod Modifier and Type Method Description BugInstance
BugInstance. addEqualsMethodUsed(java.util.Collection<XMethod> equalsMethods)
-
Uses of XMethod in edu.umd.cs.findbugs.ba
Classes in edu.umd.cs.findbugs.ba that implement XMethod Modifier and Type Class Description class
AbstractMethod
(package private) class
UnresolvedXMethod
XMethod implementation for unresolvable methods.Fields in edu.umd.cs.findbugs.ba declared as XMethod Modifier and Type Field Description private XMethod
MethodUnprofitableException. method
private XMethod
XMethodParameter. method
Fields in edu.umd.cs.findbugs.ba with type parameters of type XMethod Modifier and Type Field Description (package private) static AnalysisLocal<MapCache<XMethod,java.util.BitSet>>
ClassContext. cachedBitsets_AL
(package private) static AnalysisLocal<MapCache<XMethod,java.util.Set<java.lang.Integer>>>
ClassContext. cachedLoopExits_AL
private java.util.Set<XMethod>
XFactory. calledMethods
private java.util.Map<XMethod,java.util.Set<XField>>
FieldSummary. fieldsWritten
private java.util.Map<XMethod,MethodHash>
ClassHash. methodHashMap
private java.util.Map<MethodDescriptor,XMethod>
XFactory. methods
private java.util.Map<XMethod,XMethod>
FieldSummary. nonVoidSuperConstructorsCalled
private java.util.Map<XMethod,XMethod>
FieldSummary. nonVoidSuperConstructorsCalled
private java.util.Map<XMethod,java.util.Set<ProgramPoint>>
FieldSummary. selfMethodsCalledFromConstructor
Methods in edu.umd.cs.findbugs.ba that return XMethod Modifier and Type Method Description XMethod
UnresolvedXMethod. bridgeFrom()
XMethod
XMethod. bridgeFrom()
XMethod
UnresolvedXMethod. bridgeTo()
XMethod
XMethod. bridgeTo()
If nonnull, then this method is a synthetic method that overrides a method in a superclass.static XMethod
XFactory. createReferencedXMethod(DismantleBytecode visitor)
static XMethod
XFactory. createXMethod(JavaClassAndMethod classAndMethod)
static XMethod
XFactory. createXMethod(MethodDescriptor desc)
static XMethod
XFactory. createXMethod(MethodAnnotation ma)
static XMethod
XFactory. createXMethod(PreorderVisitor visitor)
Create an XMethod object from the method currently being visited by the given PreorderVisitor.static XMethod
XFactory. createXMethod(java.lang.String className, java.lang.String methodName, java.lang.String methodSig, boolean isStatic)
private static XMethod
XFactory. createXMethod(java.lang.String className, java.lang.String methodName, java.lang.String methodSig, int accessFlags)
static XMethod
XFactory. createXMethod(java.lang.String className, org.apache.bcel.classfile.Method method)
Create an XMethod object from a BCEL Method.static XMethod
XFactory. createXMethod(org.apache.bcel.classfile.JavaClass javaClass, org.apache.bcel.classfile.Method method)
Create an XMethod object from a BCEL Method.static XMethod
XFactory. createXMethod(org.apache.bcel.generic.InvokeInstruction invokeInstruction, org.apache.bcel.generic.ConstantPoolGen cpg)
Create an XMethod object from an InvokeInstruction.static XMethod
XFactory. createXMethod(org.apache.bcel.generic.MethodGen methodGen)
static XMethod
XFactory. createXMethodUsingSlashedClassName(java.lang.String className, java.lang.String methodName, java.lang.String methodSig, boolean isStatic)
static XMethod
Hierarchy2. findExactMethod(org.apache.bcel.generic.InvokeInstruction inv, org.apache.bcel.generic.ConstantPoolGen cpg, JavaClassAndMethodChooser chooser)
Look up the method referenced by given InvokeInstruction.static XMethod
Hierarchy2. findFirstSuperMethod(XMethod m)
static XMethod
Hierarchy2. findInvocationLeastUpperBound(XClass jClass, java.lang.String methodName, java.lang.String methodSig, boolean invokeStatic, boolean invokeInterface)
static XMethod
Hierarchy2. findInvocationLeastUpperBound(ClassDescriptor classDesc, java.lang.String methodName, java.lang.String methodSig, boolean invokeStatic, boolean invokeInterface)
static XMethod
Hierarchy2. findInvocationLeastUpperBound(org.apache.bcel.generic.InvokeInstruction inv, org.apache.bcel.generic.ConstantPoolGen cpg, JavaClassAndMethodChooser methodChooser)
static XMethod
Hierarchy2. findInvocationLeastUpperBound0(XClass jClass, java.lang.String methodName, java.lang.String methodSig, boolean invokeStatic, boolean invokeInterface)
XMethod
XClass. findMatchingMethod(MethodDescriptor descriptor)
Find XMethod matching the name and signature of the supplied method MethodDescriptor.static XMethod
Hierarchy. findMethod(ClassDescriptor classDesc, java.lang.String methodName, java.lang.String methodSig, boolean isStatic)
Find a method in given class.static XMethod
Hierarchy2. findMethod(ClassDescriptor classDescriptor, java.lang.String methodName, java.lang.String methodSig, boolean isStatic)
XMethod
XClass. findMethod(MethodDescriptor descriptor)
Find XMethod matching given MethodDescriptor.XMethod
XClass. findMethod(java.lang.String methodName, java.lang.String methodSig, boolean isStatic)
Find an XMethod matching given parameters.static XMethod
Hierarchy. findXMethod(org.apache.bcel.classfile.JavaClass[] classList, java.lang.String methodName, java.lang.String methodSig)
Deprecated.static XMethod
Hierarchy. findXMethod(org.apache.bcel.classfile.JavaClass[] classList, java.lang.String methodName, java.lang.String methodSig, JavaClassAndMethodChooser chooser)
Deprecated.static XMethod
Hierarchy. findXMethod(org.apache.bcel.classfile.JavaClass javaClass, java.lang.String methodName, java.lang.String methodSig, JavaClassAndMethodChooser chooser)
Deprecated.XMethod
AnalysisContext. getBridgeFrom(MethodInfo m)
XMethod
AnalysisContext. getBridgeTo(MethodInfo m)
(package private) static XMethod
IncompatibleTypes. getInvokedMethod(XClass xClass, java.lang.String name, java.lang.String sig, boolean isStatic)
XMethod
MethodUnprofitableException. getMethod()
XMethod
XMethodParameter. getMethod()
XMethod
FieldSummary. getSuperCall(XMethod from)
XMethod
AbstractMethod. resolveAccessMethodForMethod()
XMethod
XMethod. resolveAccessMethodForMethod()
private XMethod
XFactory. resolveXMethod(MethodDescriptor originalDescriptor)
private static XMethod
Hierarchy2. thisOrNothing(XMethod m, JavaClassAndMethodChooser chooser)
XMethod
JavaClassAndMethod. toXMethod()
Convert to an XMethod.Methods in edu.umd.cs.findbugs.ba that return types with arguments of type XMethod Modifier and Type Method Description private static MapCache<XMethod,java.util.BitSet>
ClassContext. cachedBitsets()
private static MapCache<XMethod,java.util.Set<java.lang.Integer>>
ClassContext. cachedLoopExits()
static java.util.Set<XMethod>
Hierarchy2. findSuperMethods(XMethod m)
java.util.Set<XMethod>
XFactory. getCalledMethods()
java.util.List<? extends XMethod>
XClass. getXMethods()
static java.util.Set<XMethod>
Hierarchy2. resolveMethodCallTargets(org.apache.bcel.generic.InvokeInstruction invokeInstruction, TypeFrame typeFrame, org.apache.bcel.generic.ConstantPoolGen cpg)
Resolve possible method call targets.static java.util.Set<XMethod>
Hierarchy2. resolveMethodCallTargets(org.apache.bcel.generic.ReferenceType receiverType, org.apache.bcel.generic.InvokeInstruction invokeInstruction, org.apache.bcel.generic.ConstantPoolGen cpg)
Resolve possible instance method call targets.static java.util.Set<XMethod>
Hierarchy2. resolveMethodCallTargets(org.apache.bcel.generic.ReferenceType receiverType, org.apache.bcel.generic.InvokeInstruction invokeInstruction, org.apache.bcel.generic.ConstantPoolGen cpg, boolean receiverTypeIsExact)
Resolve possible instance method call targets.static java.util.Set<XMethod>
Hierarchy2. resolveVirtualMethodCallTargets(XMethod target, boolean receiverTypeIsExact, boolean invokeSpecial)
static java.util.Set<XMethod>
Hierarchy2. resolveVirtualMethodCallTargets(ClassDescriptor receiverDesc, java.lang.String methodName, java.lang.String methodSig, boolean receiverTypeIsExact, boolean invokeSpecial)
static java.util.Set<XMethod>
Hierarchy2. resolveVirtualMethodCallTargets(java.lang.String receiverClassName, java.lang.String methodName, java.lang.String methodSig, boolean receiverTypeIsExact, boolean invokeSpecial)
Methods in edu.umd.cs.findbugs.ba with parameters of type XMethod Modifier and Type Method Description void
AnalysisContext. analysisSkippedDueToInvokeDynamic(XMethod m)
boolean
CompoundMethodChooser. choose(XMethod method)
Deprecated.boolean
JavaClassAndMethodChooser. choose(XMethod method)
Deprecated.private boolean
AnnotationDatabase. classDefinesMethod(org.apache.bcel.classfile.JavaClass c, XMethod m)
static java.lang.String
SignatureConverter. convertMethodSignature(XMethod xmethod)
Convenience method for generating a method signature in human readable form.static boolean
PruneUnconditionalExceptionThrowerEdges. doesMethodUnconditionallyThrowException(XMethod xMethod)
static java.lang.Boolean
PruneUnconditionalExceptionThrowerEdges. doesMethodUnconditionallyThrowException(XMethod xMethod, org.apache.bcel.classfile.JavaClass javaClass, org.apache.bcel.classfile.Method method)
Deprecated.static XMethod
Hierarchy2. findFirstSuperMethod(XMethod m)
static java.util.Set<XMethod>
Hierarchy2. findSuperMethods(XMethod m)
private static void
Hierarchy2. findSuperMethods(ClassDescriptor c, XMethod m, java.util.Set<XMethod> accumulator)
java.util.Set<ProgramPoint>
FieldSummary. getCalledFromSuperConstructor(ClassDescriptor superClass, XMethod calledFromConstructor)
private static java.lang.String
XFactory. getDetailedSignature(XMethod m2)
java.util.Set<XField>
FieldSummary. getFieldsWritten(XMethod method)
org.apache.bcel.classfile.ElementValue
JCIPAnnotationDatabase. getMethodAnnotation(XMethod method, java.lang.String annotationClass)
MethodHash
ClassHash. getMethodHash(XMethod method)
Get method hash for given method.private CheckReturnValueAnnotation
CheckReturnAnnotationDatabase. getResolvedAnnotationOnConstructor(XMethod m)
XMethod
FieldSummary. getSuperCall(XMethod from)
boolean
JCIPAnnotationDatabase. hasMethodAnnotation(XMethod method, java.lang.String annotationClass)
boolean
XFactory. isCalled(XMethod m)
boolean
XFactory. isCalledDirectlyOrIndirectly(XMethod m)
private boolean
XFactory. isCalledDirectlyOrIndirectly(ClassDescriptor clazzDescriptor, XMethod m)
static boolean
Hierarchy. isConcrete(XMethod xmethod)
Deprecated.boolean
XFactory. isInterned(XMethod m)
Deprecated.private boolean
PruneUnconditionalExceptionThrowerEdges. isUnconditionalThrower(XMethod xMethod)
static boolean
TestCaseDetector. likelyTestCase(XMethod m)
private AnnotationEnum
AnnotationDatabase. lookInOverriddenMethod(java.lang.Object originalQuery, java.lang.String classToLookIn, XMethod originalMethod, boolean getMinimal)
boolean
XFactory. nameAndSignatureIsCalled(XMethod m)
Deprecated.This method does not work as expected.boolean
INullnessAnnotationDatabase. parameterMustBeNonNull(XMethod m, int param)
Determine whether given parameter must be non-null.boolean
NullnessAnnotationDatabase. parameterMustBeNonNull(XMethod m, int param)
Deprecated.static java.util.Set<XMethod>
Hierarchy2. resolveVirtualMethodCallTargets(XMethod target, boolean receiverTypeIsExact, boolean invokeSpecial)
void
FieldSummary. sawSuperCall(XMethod from, XMethod constructorInSuperClass)
void
FieldSummary. setCalledFromSuperConstructor(ProgramPoint from, XMethod calledFromConstructor)
void
FieldSummary. setFieldsWritten(XMethod method, java.util.Collection<XField> fields)
void
ClassHash. setMethodHash(XMethod method, byte[] methodHash)
Set method hash for given method.private static XMethod
Hierarchy2. thisOrNothing(XMethod m, JavaClassAndMethodChooser chooser)
Method parameters in edu.umd.cs.findbugs.ba with type arguments of type XMethod Modifier and Type Method Description private static void
Hierarchy2. findSuperMethods(ClassDescriptor c, XMethod m, java.util.Set<XMethod> accumulator)
Constructors in edu.umd.cs.findbugs.ba with parameters of type XMethod Constructor Description JavaClassAndMethod(XMethod method)
Constructor.XMethodParameter(XMethod m, int p)
Create a new Method parameter reference -
Uses of XMethod in edu.umd.cs.findbugs.ba.ch
Fields in edu.umd.cs.findbugs.ba.ch declared as XMethod Modifier and Type Field Description private XMethod
InterproceduralCallGraphVertex. xmethod
private XMethod
OverriddenMethodsVisitor. xmethod
Methods in edu.umd.cs.findbugs.ba.ch that return XMethod Modifier and Type Method Description XMethod
InterproceduralCallGraphVertex. getXmethod()
XMethod
OverriddenMethodsVisitor. getXmethod()
Methods in edu.umd.cs.findbugs.ba.ch with parameters of type XMethod Modifier and Type Method Description void
InterproceduralCallGraphVertex. setXmethod(XMethod xmethod)
protected abstract boolean
OverriddenMethodsVisitor. visitOverriddenMethod(XMethod xmethod)
Downcall method: will be called for each method overridden by the derived method object passed to the constructor.Constructors in edu.umd.cs.findbugs.ba.ch with parameters of type XMethod Constructor Description OverriddenMethodsVisitor(XMethod xmethod)
Constructor. -
Uses of XMethod in edu.umd.cs.findbugs.ba.deref
Methods in edu.umd.cs.findbugs.ba.deref with parameters of type XMethod Modifier and Type Method Description private void
UnconditionalValueDerefAnalysis. checkNonNullReturnValue(XMethod thisMethod, Location location, ValueNumberFrame vnaFrame, UnconditionalValueDerefSet fact)
If this is a method call instruction, check to see if any of the parameters are @NonNull, and treat them as dereferences. -
Uses of XMethod in edu.umd.cs.findbugs.ba.jsr305
Fields in edu.umd.cs.findbugs.ba.jsr305 declared as XMethod Modifier and Type Field Description protected XMethod
TypeQualifierDataflowAnalysis. xmethod
Fields in edu.umd.cs.findbugs.ba.jsr305 with type parameters of type XMethod Modifier and Type Field Description private java.util.HashMap<XMethod,java.util.Map<java.lang.Integer,java.util.Collection<AnnotationValue>>>
TypeQualifierApplications.Data. directParameterAnnotations
Type qualifier annotations applied directly to method parameters.private java.util.Map<TypeQualifierValue<?>,DualKeyHashMap<XMethod,java.lang.Integer,TypeQualifierAnnotation>>
TypeQualifierApplications.Data. effectiveParameterAnnotations
Map of TypeQualifierValues to maps containing, for each XMethod/parameter, the effective TypeQualifierAnnotation (if any) for that XMethod/parameter.Methods in edu.umd.cs.findbugs.ba.jsr305 that return types with arguments of type XMethod Modifier and Type Method Description private static java.util.HashMap<XMethod,java.util.Map<java.lang.Integer,java.util.Collection<AnnotationValue>>>
TypeQualifierApplications. getDirectParameterAnnotations()
private static java.util.Map<TypeQualifierValue<?>,DualKeyHashMap<XMethod,java.lang.Integer,TypeQualifierAnnotation>>
TypeQualifierApplications. getEffectiveParameterAnnotations()
Methods in edu.umd.cs.findbugs.ba.jsr305 with parameters of type XMethod Modifier and Type Method Description private static void
Analysis. addEffectiveRelevantQualifiers(java.util.HashSet<TypeQualifierValue<?>> result, XMethod xmethod)
static void
Analysis. addKnownTypeQualifiersForParameters(java.util.HashSet<? super TypeQualifierValue<?>> result, XMethod m)
private static TypeQualifierAnnotation
TypeQualifierApplications. computeEffectiveTypeQualifierAnnotation(TypeQualifierValue<?> typeQualifierValue, XMethod xmethod, int parameter)
static java.util.Collection<TypeQualifierAnnotation>
TypeQualifierApplications. getApplicableApplications(XMethod o, int parameter)
Get the Collection of resolved TypeQualifierAnnotations representing directly applied and default (outer scope) type qualifier annotations for given method parameter.private static java.util.Collection<TypeQualifierAnnotation>
TypeQualifierApplications. getApplicableScopedApplications(XMethod o, int parameter)
Get the collection of resolved TypeQualifierAnnotations for a given parameter, taking into account annotations applied to outer scopes (e.g., enclosing classes and packages.)protected BackwardTypeQualifierDataflow
BackwardTypeQualifierDataflowFactory. getDataflow(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, IAnalysisCache analysisCache, MethodDescriptor methodDescriptor, TypeQualifierValue<?> typeQualifierValue)
protected ForwardTypeQualifierDataflow
ForwardTypeQualifierDataflowFactory. getDataflow(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, IAnalysisCache analysisCache, MethodDescriptor methodDescriptor, TypeQualifierValue<?> typeQualifierValue)
protected abstract DataflowType
TypeQualifierDataflowFactory. getDataflow(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, IAnalysisCache analysisCache, MethodDescriptor methodDescriptor1, TypeQualifierValue<?> typeQualifierValue)
private static TypeQualifierAnnotation
TypeQualifierApplications. getDefaultTypeQualifierAnnotationForParameters(XMethod xmethod, TypeQualifierValue<?> typeQualifierValue, boolean stopAtMethodScope)
Get the default (outer-scope) TypeQualifierAnnotation on given method parameter.private static java.util.Collection<AnnotationValue>
TypeQualifierApplications. getDirectAnnotation(XMethod m, int parameter)
Get the direct annotations (if any) on given method parameter.static void
TypeQualifierApplications. getDirectApplications(java.util.Set<TypeQualifierAnnotation> result, XMethod o, int parameter)
Populate a Set of TypeQualifierAnnotations representing directly-applied type qualifier annotations on given method parameter.private static void
Analysis. getDirectlyRelevantTypeQualifiers(XMethod xmethod, java.util.HashSet<TypeQualifierValue<?>> result)
static TypeQualifierAnnotation
TypeQualifierApplications. getDirectTypeQualifierAnnotation(XMethod xmethod, int parameter, TypeQualifierValue<?> typeQualifierValue)
Get the TypeQualifierAnnotation directly applied to given method parameter.static TypeQualifierAnnotation
TypeQualifierApplications. getEffectiveTypeQualifierAnnotation(XMethod xmethod, int parameter, TypeQualifierValue<?> typeQualifierValue)
Get the effective TypeQualifierAnnotation on given method parameter.static TypeQualifierAnnotation
TypeQualifierApplications. getInheritedTypeQualifierAnnotation(XMethod xmethod, int parameter, TypeQualifierValue<?> typeQualifierValue)
Get the effective inherited TypeQualifierAnnotation on the given instance method parameter.static TypeQualifierAnnotation
TypeQualifierApplications. getInheritedTypeQualifierAnnotation(XMethod o, TypeQualifierValue<?> typeQualifierValue)
Get the effective inherited TypeQualifierAnnotation on given instance method.(package private) static boolean
TypeQualifierDataflowAnalysis. isIdentifyFunctionForTypeQualifiers(XMethod m)
protected abstract TypeQualifierAnnotation
AbstractMethodAnnotationAccumulator. lookupAnnotation(XMethod xm)
protected TypeQualifierAnnotation
ParameterAnnotationAccumulator. lookupAnnotation(XMethod xm)
protected TypeQualifierAnnotation
ReturnTypeAnnotationAccumulator. lookupAnnotation(XMethod xm)
protected void
BackwardTypeQualifierDataflowFactory. populateDatabase(BackwardTypeQualifierDataflow dataflow, ValueNumberDataflow vnaDataflow, XMethod xmethod, TypeQualifierValue<?> tqv)
protected void
ForwardTypeQualifierDataflowFactory. populateDatabase(ForwardTypeQualifierDataflow dataflow, ValueNumberDataflow vnaDataflow, XMethod xmethod, TypeQualifierValue<?> tqv)
protected abstract void
TypeQualifierDataflowFactory. populateDatabase(DataflowType dataflow, ValueNumberDataflow vnaDataflow, XMethod xmethod, TypeQualifierValue<?> tqv)
protected boolean
AbstractMethodAnnotationAccumulator. visitOverriddenMethod(XMethod xmethod)
Constructors in edu.umd.cs.findbugs.ba.jsr305 with parameters of type XMethod Constructor Description AbstractMethodAnnotationAccumulator(TypeQualifierValue<?> typeQualifierValue, XMethod xmethod)
BackwardTypeQualifierDataflowAnalysis(DepthFirstSearch dfs, ReverseDepthFirstSearch rdfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, TypeQualifierValue<?> typeQualifierValue)
Constructor.ForwardTypeQualifierDataflowAnalysis(DepthFirstSearch dfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, TypeQualifierValue<?> typeQualifierValue)
Constructor.ParameterAnnotationAccumulator(TypeQualifierValue<?> typeQualifierValue, XMethod xmethod, int parameter)
Constructor.ReturnTypeAnnotationAccumulator(TypeQualifierValue<?> typeQualifierValue, XMethod xmethod)
Constructor.TypeQualifierDataflowAnalysis(XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, TypeQualifierValue<?> typeQualifierValue)
Constructor. -
Uses of XMethod in edu.umd.cs.findbugs.ba.npe
Methods in edu.umd.cs.findbugs.ba.npe that return XMethod Modifier and Type Method Description XMethod
TypeQualifierNullnessAnnotationDatabase. getXMethod(java.lang.String cName, java.lang.String mName, java.lang.String sig, boolean isStatic)
Methods in edu.umd.cs.findbugs.ba.npe with parameters of type XMethod Modifier and Type Method Description static boolean
TypeQualifierNullnessAnnotationDatabase. assertsFirstParameterIsNonnull(XMethod m)
NullnessAnnotation
TypeQualifierNullnessAnnotationDatabase. getInheritedAnnotation(XMethod m)
NullnessAnnotation
TypeQualifierNullnessAnnotationDatabase. getInheritedAnnotation(XMethod m, int parameter)
static PointerUsageRequiringNonNullValue
PointerUsageRequiringNonNullValue. getPassedAsNonNullParameter(XMethod m, int param)
static PointerUsageRequiringNonNullValue
PointerUsageRequiringNonNullValue. getReturnFromNonNullMethod(XMethod m)
IsNullValue
IsNullValueFrameModelingVisitor. getReturnValueNullness(XMethod calledMethod)
IsNullValue
IsNullValue. markInformationAsComingFromReturnValueOfMethod(XMethod methodInvoked)
Convert to a value known because it was returned from a method in a method property database.boolean
TypeQualifierNullnessAnnotationDatabase. parameterMustBeNonNull(XMethod m, int param)
-
Uses of XMethod in edu.umd.cs.findbugs.ba.obl
Fields in edu.umd.cs.findbugs.ba.obl declared as XMethod Modifier and Type Field Description private XMethod
InstructionActionCache. xmethod
private XMethod
ObligationAnalysis. xmethod
Methods in edu.umd.cs.findbugs.ba.obl with parameters of type XMethod Modifier and Type Method Description ObligationPolicyDatabaseEntry
ObligationPolicyDatabase. addParameterDeletesObligationDatabaseEntry(XMethod xmethod, Obligation obligation, ObligationPolicyDatabaseEntryType entryType)
Add an appropriate policy database entry for parameters marked with the WillClose annotation.Obligation[]
ObligationFactory. getParameterObligationTypes(XMethod xmethod)
Get array of Obligation types corresponding to the parameters of the given method.Constructors in edu.umd.cs.findbugs.ba.obl with parameters of type XMethod Constructor Description InstructionActionCache(ObligationPolicyDatabase database, XMethod xmethod, org.apache.bcel.generic.ConstantPoolGen cpg, TypeDataflow typeDataflow)
MatchMethodEntry(XMethod xmethod, ObligationPolicyDatabaseActionType action, ObligationPolicyDatabaseEntryType entryType, Obligation... obligations)
Constructor.ObligationAnalysis(DepthFirstSearch dfs, XMethod xmethod, org.apache.bcel.generic.ConstantPoolGen cpg, ObligationFactory factory, ObligationPolicyDatabase database, TypeDataflow typeDataflow, IsNullValueDataflow invDataflow, IErrorLogger errorLogger)
Constructor. -
Uses of XMethod in edu.umd.cs.findbugs.bytecode
Methods in edu.umd.cs.findbugs.bytecode with parameters of type XMethod Modifier and Type Method Description static boolean
MemberUtils. couldBeLambda(XMethod m)
Checks if the method could be a lambda. -
Uses of XMethod in edu.umd.cs.findbugs.classfile.analysis
Classes in edu.umd.cs.findbugs.classfile.analysis that implement XMethod Modifier and Type Class Description class
MethodInfo
Methods in edu.umd.cs.findbugs.classfile.analysis that return XMethod Modifier and Type Method Description XMethod
MethodInfo. bridgeFrom()
XMethod
MethodInfo. bridgeTo()
XMethod
ClassInfo. findMatchingMethod(MethodDescriptor descriptor)
XMethod
ClassInfo. findMethod(MethodDescriptor descriptor)
XMethod
ClassInfo. findMethod(java.lang.String methodName, java.lang.String methodSig, boolean isStatic)
XMethod
MethodInfo. resolveAccessMethodForMethod()
Methods in edu.umd.cs.findbugs.classfile.analysis that return types with arguments of type XMethod Modifier and Type Method Description java.util.List<? extends XMethod>
ClassInfo. getXMethods()
java.util.List<? extends XMethod>
ClassInfo. getXMethodsInCallOrder()
-
Uses of XMethod in edu.umd.cs.findbugs.detect
Fields in edu.umd.cs.findbugs.detect declared as XMethod Modifier and Type Field Description private XMethod
FindPotentialSecurityCheckBasedOnUntrustedSource.CalleeInfo. calledMethod
private XMethod
FindPotentialSecurityCheckBasedOnUntrustedSource.LambdaCallInfo. callerMethod
private XMethod
MethodReturnCheck. callSeen
private XMethod
MultipleInstantiationsOfSingletons. cloneMethod
(package private) XMethod
InitializationChain.InvocationInfo. constructor
(package private) XMethod
FindOverridableMethodCall.CallerInfo. method
(package private) XMethod
UncallableMethodOfAnonymousClass. potentialSuperCall
(package private) XMethod
FindPuzzlers. previousMethodInvocation
private XMethod
ExplicitSerialization. readObject
private XMethod
FindBadEndOfStreamCheck. source
private XMethod
ExplicitSerialization. writeObject
private XMethod
CheckRelaxingNullnessAnnotation.DetectorNode. xmethod
(package private) XMethod
FindUnsatisfiedObligation.MethodChecker. xmethod
Fields in edu.umd.cs.findbugs.detect with type parameters of type XMethod Modifier and Type Field Description private java.util.Map<XMethod,java.util.List<XMethod>>
MultipleInstantiationsOfSingletons. calledMethodsByMethods
private java.util.Map<XMethod,java.util.List<XMethod>>
MultipleInstantiationsOfSingletons. calledMethodsByMethods
private java.util.Map<XMethod,java.util.Set<XMethod>>
ResourceInMultipleThreadsDetector. calledMethodsByMethods
private java.util.Map<XMethod,java.util.Set<XMethod>>
ResourceInMultipleThreadsDetector. calledMethodsByMethods
private MultiMap<XMethod,XMethod>
FindOverridableMethodCall. calleeToCallerMap
private MultiMap<XMethod,XMethod>
FindOverridableMethodCall. calleeToCallerMap
private java.util.Map<XMethod,FindOverridableMethodCall.CallerInfo>
FindOverridableMethodCall. callerClones
private java.util.Map<XMethod,FindOverridableMethodCall.CallerInfo>
FindOverridableMethodCall. callerConstructors
private java.util.Map<XMethod,FindOverridableMethodCall.CallerInfo>
FindOverridableMethodCall. callerReadObjects
private MultiMap<XMethod,XMethod>
FindOverridableMethodCall. callerToCalleeMap
private MultiMap<XMethod,XMethod>
FindOverridableMethodCall. callerToCalleeMap
private java.util.Map<XMethod,XMethod>
FindOverridableMethodCall. callsToOverridable
private java.util.Map<XMethod,XMethod>
FindOverridableMethodCall. callsToOverridable
(package private) java.util.HashMap<java.lang.String,java.util.TreeSet<XMethod>>
Naming. canonicalToXMethod
private java.util.Set<XMethod>
InitializationChain. constructorsInvokedInStaticInitializer
(package private) java.util.HashSet<XMethod>
FunctionsThatMightBeMistakenForProcedures. doNotIgnore
(package private) java.util.HashSet<XMethod>
FunctionsThatMightBeMistakenForProcedures. doNotIgnoreHigh
private java.util.Map<XField,XMethod>
MultipleInstantiationsOfSingletons. instanceGetterMethods
private java.util.Map<XMethod,java.util.Set<FindPotentialSecurityCheckBasedOnUntrustedSource.CallerInfo>>
FindPotentialSecurityCheckBasedOnUntrustedSource. methodsCalledInsidePrivilegedAction
(package private) java.util.HashSet<XMethod>
FunctionsThatMightBeMistakenForProcedures. methodsSeen
private java.util.Set<XMethod>
ResourceInMultipleThreadsDetector. methodsUsedInThreads
private java.util.List<XMethod>
MultipleInstantiationsOfSingletons. methodsUsingMonitor
private java.util.Map<XMethod,java.util.Set<FindPotentialSecurityCheckBasedOnUntrustedSource.CalleeInfo>>
FindPotentialSecurityCheckBasedOnUntrustedSource. nonFinalMethodsCalledOnParam
private java.util.Map<XMethod,java.util.Set<XMethod>>
SharedVariableAtomicityDetector. nonSyncedMethodCallsByCallingMethods
private java.util.Map<XMethod,java.util.Set<XMethod>>
SharedVariableAtomicityDetector. nonSyncedMethodCallsByCallingMethods
(package private) java.util.HashSet<XMethod>
FunctionsThatMightBeMistakenForProcedures. okToIgnore
private java.util.Map<XMethod,java.util.Set<XField>>
SharedVariableAtomicityDetector. readFieldsByMethods
private MultiMap<java.lang.Integer,XMethod>
FindOverridableMethodCall. refCalleeToCallerMap
private java.util.Map<XMethod,java.util.Set<XField>>
InitializationChain. staticFieldsRead
Methods in edu.umd.cs.findbugs.detect that return XMethod Modifier and Type Method Description static XMethod
Naming. definedIn(org.apache.bcel.classfile.JavaClass clazz, XMethod m)
private XMethod
ReadOfInstanceFieldInMethodInvokedByConstructorInSuperclass. getConstructorThatCallsSuperConstructor(XMethod superConstructor)
private XMethod
FindOverridableMethodCall. getIndirectlyCalledOverridable(XMethod caller)
private XMethod
FindOverridableMethodCall. getIndirectlyCalledOverridable(XMethod caller, java.util.Set<XMethod> visited)
private XMethod
FindOverridableMethodCall. superClone(XClass clazz)
Methods in edu.umd.cs.findbugs.detect with parameters of type XMethod Modifier and Type Method Description private void
SharedVariableAtomicityDetector. addNonFinalFieldsOfClass(XField field, XMethod method, java.util.Map<XMethod,java.util.Set<XField>> map)
void
BuildObligationPolicyDatabase. addObligations(XMethod xmethod)
private void
BuildObligationPolicyDatabase. addParameterDeletesObligationDatabaseEntry(XMethod xmethod, Obligation obligation, ObligationPolicyDatabaseEntryType entryType)
Add an appropriate policy database entry for parameters marked with the WillClose annotation.private void
FindPotentialSecurityCheckBasedOnUntrustedSource. addToMethodsCalledInsidePrivilegedAction(XMethod calledMethod, OpcodeStack.Item object)
private void
ResourceInMultipleThreadsDetector. addToMethodsUsedInThreads(XMethod methodToAdd)
private void
FindPotentialSecurityCheckBasedOnUntrustedSource. addToNonFinalMethodsCalledOnParam(ClassDescriptor calledClass, XMethod calledMethod, OpcodeStack.Item object)
private void
CheckTypeQualifiers. annotateWarningWithSourceSinkInfo(BugInstance warning, XMethod xMethod, ValueNumber vn, SourceSinkInfo sourceSinkInfo)
private void
CheckExpectedWarnings. check(XMethod xmethod, ClassDescriptor annotation, boolean expectWarnings, int priority)
Deprecated.private void
FindOverridableMethodCall. checkAndRecordCallBetweenNonOverridableMethods(XMethod caller, XMethod callee)
private void
FindOverridableMethodCall. checkAndRecordCallFromClone(XMethod clone, XMethod callee, SourceLineAnnotation sourceLine)
private void
FindOverridableMethodCall. checkAndRecordCallFromConstructor(XMethod constructor, XMethod callee, SourceLineAnnotation sourceLine)
private void
FindOverridableMethodCall. checkAndRecordCallFromReadObject(XMethod readObject, XMethod callee, SourceLineAnnotation sourceLine)
private void
FindOverridableMethodCall. checkAndRecordCallToOverridable(XMethod caller, XMethod overridable)
(package private) boolean
FindOverridableMethodCall. checkAndRecordDirectCase(XMethod caller, XMethod method, java.lang.String bugType, int priority, SourceLineAnnotation sourceLine)
private void
SharedVariableAtomicityDetector. checkAndReportBug(int seen, XMethod method)
private void
CheckTypeQualifiers. checkDataflow(XMethod xmethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, ValueNumberDataflow vnaDataflow, ForwardTypeQualifierDataflow forwardDataflow, BackwardTypeQualifierDataflow backwardDataflow)
private void
CheckTypeQualifiers. checkForConflictingValues(XMethod xMethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, TypeQualifierValueSet forwardsFact, TypeQualifierValueSet backwardsFact, Location locationToReport, Location locationWhereDoomedValueIsObserved, ValueNumberFrame vnaFrame)
private void
CheckTypeQualifiers. checkForEqualityTest(XMethod xmethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, TypeQualifierValueSet forwardsFact, Location loc, ValueNumberFrame factAtLocation)
private boolean
CheckRelaxingNullnessAnnotation.DetectorNode. checkMethod(XMethod method)
private boolean
Naming. checkNonSuper(XMethod m, java.util.Set<XMethod> others)
private void
CheckTypeQualifiers. checkQualifier(XMethod xmethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, ForwardTypeQualifierDataflowFactory forwardDataflowFactory, BackwardTypeQualifierDataflowFactory backwardDataflowFactory, ValueNumberDataflow vnaDataflow)
Check a specific TypeQualifierValue on a method.private boolean
Naming. checkSuper(XMethod m, java.util.Set<XMethod> others)
private void
CheckTypeQualifiers. checkValueSources(XMethod xMethod, CFG cfg, TypeQualifierValue<?> typeQualifierValue, ValueNumberDataflow vnaDataflow, ForwardTypeQualifierDataflow forwardDataflow, BackwardTypeQualifierDataflow backwardDataflow)
private void
SharedVariableAtomicityDetector. collectFieldReadsAndInnerMethodCalls(int seen, XMethod method)
static boolean
Naming. confusingMethodNamesWrongCapitalization(XMethod m1, XMethod m2)
static boolean
Naming. confusingMethodNamesWrongPackage(XMethod m1, XMethod m2)
private void
ResourceInMultipleThreadsDetector. createOrUpdateFieldData(XField xField, boolean putfield, org.apache.bcel.classfile.Method containerMethod, XMethod xMethod)
static XMethod
Naming. definedIn(org.apache.bcel.classfile.JavaClass clazz, XMethod m)
private void
CheckTypeQualifiers. emitDataflowWarning(XMethod xMethod, TypeQualifierValue<?> typeQualifierValue, TypeQualifierValueSet forwardsFact, TypeQualifierValueSet backwardsFact, ValueNumber vn, FlowValue forward, FlowValue backward, Location locationToReport, Location locationWhereDoomedValueIsObserved, ValueNumberFrame vnaFrame)
private void
CheckTypeQualifiers. emitSourceWarning(java.lang.String bugType, XMethod xMethod, TypeQualifierValue<?> typeQualifierValue, FlowValue backwardsFlowValue, TypeQualifierValueSet backwardsFact, SourceSinkInfo source, ValueNumber vn, Location location)
private InterproceduralCallGraphVertex
BuildInterproceduralCallGraph. findVertex(XMethod xmethod)
Find the InterproceduralCallGraphVertex for given XMethod.private XMethod
ReadOfInstanceFieldInMethodInvokedByConstructorInSuperclass. getConstructorThatCallsSuperConstructor(XMethod superConstructor)
private FindOverridableMethodCall.CallerInfo
FindOverridableMethodCall. getIndirectCallerClone(XMethod callee)
private FindOverridableMethodCall.CallerInfo
FindOverridableMethodCall. getIndirectCallerConstructor(XMethod callee)
private FindOverridableMethodCall.CallerInfo
FindOverridableMethodCall. getIndirectCallerReadObject(XMethod callee)
private FindOverridableMethodCall.CallerInfo
FindOverridableMethodCall. getIndirectCallerSpecial(XMethod callee, java.util.Map<XMethod,FindOverridableMethodCall.CallerInfo> map)
private FindOverridableMethodCall.CallerInfo
FindOverridableMethodCall. getIndirectCallerSpecial(XMethod callee, java.util.Map<XMethod,FindOverridableMethodCall.CallerInfo> map, java.util.Set<XMethod> visited)
private XMethod
FindOverridableMethodCall. getIndirectlyCalledOverridable(XMethod caller)
private XMethod
FindOverridableMethodCall. getIndirectlyCalledOverridable(XMethod caller, java.util.Set<XMethod> visited)
private void
BuildObligationPolicyDatabase. handleWillCloseWhenClosed(XMethod xmethod, Obligation deletedObligation)
Handle a method with a WillCloseWhenClosed parameter annotation.private boolean
SharedVariableAtomicityDetector. hasNonSyncedNonPrivateCallToMethod(XMethod method, java.util.Set<XMethod> visitedMethods)
private static boolean
FindNoSideEffectMethods. hasOtherImplementations(XMethod xMethod)
private boolean
MultipleInstantiationsOfSingletons. hasSynchronized(XMethod method, java.util.Set<XMethod> visitedMethods)
private boolean
MethodReturnCheck. isCallMockitoVerifyInvocation(XMethod method)
private boolean
FindBadEndOfStreamCheck. isFileRead(XMethod method)
private boolean
FindOverridableMethodCall. isSelfCall(XMethod method)
private FindPotentialSecurityCheckBasedOnUntrustedSource.CalleeInfo
FindPotentialSecurityCheckBasedOnUntrustedSource. lookForCalledOutside(org.apache.bcel.classfile.JavaClass callerClass, XMethod callerMethod, XClass calledClass, XMethod calledMethod, java.lang.String argumentName)
private boolean
SharedVariableAtomicityDetector. mapContainsFieldWithOtherMethod(XField field, XMethod method, java.util.Map<XMethod,java.util.Set<XField>> map)
private void
FindPotentialSecurityCheckBasedOnUntrustedSource. reportBug(org.apache.bcel.classfile.JavaClass cls, XMethod method, SourceLineAnnotation srcLine, FindPotentialSecurityCheckBasedOnUntrustedSource.CalleeInfo calleInfo, SourceLineAnnotation insideSrcLine)
private void
ThrowingExceptions. reportBug(java.lang.String bugName, XMethod method)
private boolean
FindNullDeref. safeCallToPrimateParseMethod(XMethod calledMethod, Location location)
private void
NoteDirectlyRelevantTypeQualifiers. updateApplicableAnnotations(XMethod m)
Method parameters in edu.umd.cs.findbugs.detect with type arguments of type XMethod Modifier and Type Method Description private void
SharedVariableAtomicityDetector. addNonFinalFieldsOfClass(XField field, XMethod method, java.util.Map<XMethod,java.util.Set<XField>> map)
private boolean
Naming. allAbstract(java.util.Set<XMethod> overrides)
private boolean
FindRefComparison. checkForWeirdEquals(java.lang.String lhsSig, java.lang.String rhsSig, java.util.Set<XMethod> targets)
private boolean
Naming. checkNonSuper(XMethod m, java.util.Set<XMethod> others)
private boolean
Naming. checkSuper(XMethod m, java.util.Set<XMethod> others)
private FindOverridableMethodCall.CallerInfo
FindOverridableMethodCall. getIndirectCallerSpecial(XMethod callee, java.util.Map<XMethod,FindOverridableMethodCall.CallerInfo> map)
private FindOverridableMethodCall.CallerInfo
FindOverridableMethodCall. getIndirectCallerSpecial(XMethod callee, java.util.Map<XMethod,FindOverridableMethodCall.CallerInfo> map, java.util.Set<XMethod> visited)
private FindOverridableMethodCall.CallerInfo
FindOverridableMethodCall. getIndirectCallerSpecial(XMethod callee, java.util.Map<XMethod,FindOverridableMethodCall.CallerInfo> map, java.util.Set<XMethod> visited)
private XMethod
FindOverridableMethodCall. getIndirectlyCalledOverridable(XMethod caller, java.util.Set<XMethod> visited)
private boolean
SharedVariableAtomicityDetector. hasNonSyncedNonPrivateCallToMethod(XMethod method, java.util.Set<XMethod> visitedMethods)
private boolean
MultipleInstantiationsOfSingletons. hasSynchronized(XMethod method, java.util.Set<XMethod> visitedMethods)
private boolean
SharedVariableAtomicityDetector. mapContainsFieldWithOtherMethod(XField field, XMethod method, java.util.Map<XMethod,java.util.Set<XField>> map)
Constructors in edu.umd.cs.findbugs.detect with parameters of type XMethod Constructor Description CalleeInfo(ClassDescriptor cls, XMethod called, java.lang.String name, SourceLineAnnotation line)
CallerInfo(XMethod m, SourceLineAnnotation sl)
DetectorNode(int access, java.lang.String name, java.lang.String desc, java.lang.String signature, java.lang.String[] exceptions, XMethod xmethod)
InvocationInfo(XMethod constructor, int pc)
LambdaCallInfo(org.apache.bcel.classfile.JavaClass cls, XMethod met, SourceLineAnnotation line, java.lang.String[] argNames)
-
Uses of XMethod in edu.umd.cs.findbugs.visitclass
Fields in edu.umd.cs.findbugs.visitclass declared as XMethod Modifier and Type Field Description private XMethod
DismantleBytecode. referencedXMethod
Methods in edu.umd.cs.findbugs.visitclass that return XMethod Modifier and Type Method Description XMethod
PreorderVisitor. getXMethod()
XMethod
DismantleBytecode. getXMethodOperand()
-