Class FieldSummary

java.lang.Object
edu.umd.cs.findbugs.ba.FieldSummary
public class FieldSummary extends Object
Interprocedural analysis summary

  • Field Details

    • writtenOutsideOfConstructor

      private final Set<XField> writtenOutsideOfConstructor

    • summary

      private final Map<XField, OpcodeStack.Item> summary

    • fieldsWritten

      private final Map<XMethod, Set<XField>> fieldsWritten

    • nonVoidSuperConstructorsCalled

      private final Map<XMethod,XMethod> nonVoidSuperConstructorsCalled

    • selfMethodsCalledFromConstructor

      private final Map<XMethod, Set<ProgramPoint>> selfMethodsCalledFromConstructor

    • callsOverriddenMethodsFromConstructor

      private final Set<ClassDescriptor> callsOverriddenMethodsFromConstructor

    • complete

      private boolean complete

  • Constructor Details

    • FieldSummary

      public FieldSummary()

  • Method Details

    • 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 Set<ProgramPoint> getCalledFromSuperConstructor(ClassDescriptor superClass, XMethod calledFromConstructor)

    • setFieldsWritten

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

    • getFieldsWritten

      public 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)