Class FieldSummary


  • public class FieldSummary
    extends java.lang.Object
    Interprocedural analysis summary
    Author:
    pugh
    • Constructor Detail

      • FieldSummary

        public FieldSummary()
    • Method Detail

      • callsOverriddenMethodsFromConstructor

        public boolean callsOverriddenMethodsFromConstructor​(ClassDescriptor c)
      • callsOverriddenMethodsFromSuperConstructor

        public boolean callsOverriddenMethodsFromSuperConstructor​(ClassDescriptor c)
      • setCalledFromSuperConstructor

        public void setCalledFromSuperConstructor​(ProgramPoint from,
                                                  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)
      • 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)