Package edu.umd.cs.findbugs.ba
Class FieldSummary
java.lang.Object
edu.umd.cs.findbugs.ba.FieldSummary
Interprocedural analysis summary
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate final Set
<ClassDescriptor> private boolean
private final Map
<XMethod, Set<ProgramPoint>> private final Map
<XField, OpcodeStack.Item> -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionboolean
boolean
boolean
getCalledFromSuperConstructor
(ClassDescriptor superClass, XMethod calledFromConstructor) getFieldsWritten
(XMethod method) getSummary
(XField field) getSuperCall
(XMethod from) boolean
boolean
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, Collection<XField> fields)
-
Field Details
-
writtenOutsideOfConstructor
-
summary
-
fieldsWritten
-
nonVoidSuperConstructorsCalled
-
selfMethodsCalledFromConstructor
-
callsOverriddenMethodsFromConstructor
-
complete
private boolean complete
-
-
Constructor Details
-
FieldSummary
public FieldSummary()
-
-
Method Details
-
getSummary
-
callsOverriddenMethodsFromConstructor
-
callsOverriddenMethodsFromSuperConstructor
-
setCalledFromSuperConstructor
-
getCalledFromSuperConstructor
public Set<ProgramPoint> getCalledFromSuperConstructor(ClassDescriptor superClass, XMethod calledFromConstructor) -
setFieldsWritten
-
getFieldsWritten
-
isWrittenOutsideOfConstructor
-
addWrittenOutsideOfConstructor
-
mergeSummary
-
setComplete
public void setComplete(boolean complete) - Parameters:
complete
- The complete to set.
-
isComplete
public boolean isComplete()- Returns:
- Returns the complete.
-
sawSuperCall
-
getSuperCall
-