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

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FieldSummary

public FieldSummary()

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)

setFieldsWritten

public void setFieldsWritten(XMethod method,
                             java.util.Collection<XField> fields)

getFieldsWritten

public java.util.Set<XField> getFieldsWritten(@Nullable
                                              XMethod method)

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.

sawSuperCall

public void sawSuperCall(XMethod from,
                         XMethod constructorInSuperClass)

getSuperCall

@CheckForNull
public XMethod getSuperCall(XMethod from)