Class MethodSummary

java.lang.Object
com.ibm.wala.ipa.summaries.MethodSummary
Direct Known Subclasses:
JavaScriptSummary

public class MethodSummary extends Object
Summary information for a method.
  • Field Details

    • NO_STATEMENTS

      protected static final SSAInstruction[] NO_STATEMENTS
  • Constructor Details

  • Method Details

    • setValueNames

      public void setValueNames(Map<Integer,Atom> nameTable)
    • getValueNames

      public Map<Integer,Atom> getValueNames()
    • getValue

      public Atom getValue(Integer v)
    • getNumberOfStatements

      public int getNumberOfStatements()
    • addStatement

      public void addStatement(SSAInstruction statement)
    • addConstant

      public void addConstant(Integer vn, ConstantValue value)
    • getMethod

      public MethodReference getMethod()
      Returns the method.
      Returns:
      MethodReference
    • isNative

      public boolean isNative()
    • addPoison

      public void addPoison(String reason)
    • hasPoison

      public boolean hasPoison()
    • getPoison

      public String getPoison()
    • setPoisonLevel

      public void setPoisonLevel(byte b)
    • getPoisonLevel

      public byte getPoisonLevel()
    • getStatements

      public SSAInstruction[] getStatements()
    • getConstants

      public Map<Integer,ConstantValue> getConstants()
    • getNumberOfParameters

      public int getNumberOfParameters()
      Returns:
      the number of parameters, including the implicit 'this'
    • isStatic

      public boolean isStatic()
    • setStatic

      public void setStatic(boolean b)
    • getReturnType

      public TypeReference getReturnType()
    • toString

      public String toString()
      Overrides:
      toString in class Object
    • getParameterType

      public TypeReference getParameterType(int i)
      Note that by convention, getParameterType(0) == this for non-static methods.
    • setFactory

      public void setFactory(boolean b)
      Record if this is a "factory" method; meaning it returns some object which we know little about ... usually we'll resolve this based on downstream uses of the object
    • isFactory

      public boolean isFactory()