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- Author:
- pugh
-
-
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)
-
-
-
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.
-
-