Package com.ibm.wala.ipa.summaries

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