Package edu.umd.cs.findbugs.ba
Class FieldSummary
- java.lang.Object
-
- edu.umd.cs.findbugs.ba.FieldSummary
-
public class FieldSummary extends java.lang.Object
Interprocedural analysis summary
-
-
Field Summary
Fields Modifier and Type Field Description private java.util.Set<ClassDescriptor>
callsOverriddenMethodsFromConstructor
private boolean
complete
private java.util.Map<XMethod,java.util.Set<XField>>
fieldsWritten
private java.util.Map<XMethod,XMethod>
nonVoidSuperConstructorsCalled
private java.util.Map<XMethod,java.util.Set<ProgramPoint>>
selfMethodsCalledFromConstructor
private java.util.Map<XField,OpcodeStack.Item>
summary
private java.util.Set<XField>
writtenOutsideOfConstructor
-
Constructor Summary
Constructors Constructor Description FieldSummary()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
addWrittenOutsideOfConstructor(XField field)
boolean
callsOverriddenMethodsFromConstructor(ClassDescriptor c)
boolean
callsOverriddenMethodsFromSuperConstructor(ClassDescriptor c)
java.util.Set<ProgramPoint>
getCalledFromSuperConstructor(ClassDescriptor superClass, XMethod calledFromConstructor)
java.util.Set<XField>
getFieldsWritten(XMethod method)
OpcodeStack.Item
getSummary(XField field)
XMethod
getSuperCall(XMethod from)
boolean
isComplete()
boolean
isWrittenOutsideOfConstructor(XField field)
void
mergeSummary(XField fieldOperand, OpcodeStack.Item mergeValue)
void
sawSuperCall(XMethod from, XMethod constructorInSuperClass)
void
setCalledFromSuperConstructor(ProgramPoint from, XMethod calledFromConstructor)
void
setComplete(boolean complete)
void
setFieldsWritten(XMethod method, java.util.Collection<XField> fields)
-
-
-
Field Detail
-
writtenOutsideOfConstructor
private final java.util.Set<XField> writtenOutsideOfConstructor
-
summary
private final java.util.Map<XField,OpcodeStack.Item> summary
-
nonVoidSuperConstructorsCalled
private final java.util.Map<XMethod,XMethod> nonVoidSuperConstructorsCalled
-
selfMethodsCalledFromConstructor
private final java.util.Map<XMethod,java.util.Set<ProgramPoint>> selfMethodsCalledFromConstructor
-
callsOverriddenMethodsFromConstructor
private final java.util.Set<ClassDescriptor> callsOverriddenMethodsFromConstructor
-
complete
private boolean complete
-
-
Method Detail
-
getSummary
public OpcodeStack.Item getSummary(XField field)
-
callsOverriddenMethodsFromConstructor
public boolean callsOverriddenMethodsFromConstructor(ClassDescriptor c)
-
callsOverriddenMethodsFromSuperConstructor
public boolean callsOverriddenMethodsFromSuperConstructor(ClassDescriptor c)
-
setCalledFromSuperConstructor
public void setCalledFromSuperConstructor(ProgramPoint from, XMethod calledFromConstructor)
-
getCalledFromSuperConstructor
public java.util.Set<ProgramPoint> getCalledFromSuperConstructor(ClassDescriptor superClass, XMethod calledFromConstructor)
-
isWrittenOutsideOfConstructor
public boolean isWrittenOutsideOfConstructor(XField field)
-
addWrittenOutsideOfConstructor
public boolean addWrittenOutsideOfConstructor(XField field)
-
mergeSummary
public void mergeSummary(XField fieldOperand, OpcodeStack.Item mergeValue)
-
setComplete
public void setComplete(boolean complete)
- Parameters:
complete
- The complete to set.
-
isComplete
public boolean isComplete()
- Returns:
- Returns the complete.
-
-