Field Detail

• statements

  protected final ArrayList<SSAInstruction> statements

• nextLocal

  protected int nextLocal

  The number of the next local value number available for the fake root method. Note that we reserve value number 1 to represent the value "any exception caught by the root method"

• cha

  protected final IClassHierarchy cha

• cache

  protected final AnalysisCache cache

• insts

  protected final SSAInstructionFactory insts

Constructor Detail

• AbstractRootMethod

  public AbstractRootMethod​(MethodReference method,
                            IClass declaringClass,
                            IClassHierarchy cha,
                            AnalysisOptions options,
                            AnalysisCache cache)

• AbstractRootMethod

  public AbstractRootMethod​(MethodReference method,
                            IClassHierarchy cha,
                            AnalysisOptions options,
                            AnalysisCache cache)

Method Detail

• getStatements

  public SSAInstruction[] getStatements​(SSAOptions options)

  Overrides:

  getStatements in class SyntheticMethod

• makeIR

  public IR makeIR​(Context context,
                   SSAOptions options)

  Description copied from class: SyntheticMethod
  Most subclasses should override this.

  Overrides:

  makeIR in class SyntheticMethod

  Parameters:

  context - TODO

  options - options governing IR conversion

• addLocal

  public int addLocal()

• addInvocation

  public SSAInvokeInstruction addInvocation​(int[] params,
                                            CallSiteReference site)

  Returns:

  the invoke instructions added by this operation

  Throws:

  IllegalArgumentException - if site is null

• addReturn

  public SSAReturnInstruction addReturn​(int vn,
                                        boolean isPrimitive)

  Add a return statement

• addAllocation

  public SSANewInstruction addAllocation​(TypeReference T)

  Add a New statement of the given type Side effect: adds call to default constructor of given type if one exists.

  Returns:

  instruction added, or null

  Throws:

  IllegalArgumentException - if T is null

• add1DArrayAllocation

  public SSANewInstruction add1DArrayAllocation​(TypeReference T,
                                                int length)

  Add a New statement of the given array type and length

• addAllocationWithoutCtor

  public SSANewInstruction addAllocationWithoutCtor​(TypeReference T)

  Add a New statement of the given type

• getValueNumberForIntConstant

  protected int getValueNumberForIntConstant​(int c)

• getValueNumberForByteConstant

  protected int getValueNumberForByteConstant​(byte c)

• getValueNumberForCharConstant

  protected int getValueNumberForCharConstant​(char c)

• addPhi

  public int addPhi​(int[] values)

• addGetInstance

  public int addGetInstance​(FieldReference ref,
                            int object)

• addGetStatic

  public int addGetStatic​(FieldReference ref)

• addCheckcast

  public int addCheckcast​(TypeReference[] types,
                          int rv,
                          boolean isPEI)

• addSetInstance

  public void addSetInstance​(FieldReference ref,
                             int baseObject,
                             int value)

• addSetStatic

  public void addSetStatic​(FieldReference ref,
                           int value)

• addSetArrayField

  public void addSetArrayField​(TypeReference elementType,
                               int baseObject,
                               int indexValue,
                               int value)

• addGetArrayField

  public int addGetArrayField​(TypeReference elementType,
                              int baseObject,
                              int indexValue)

• getInterpreter

  public RTAContextInterpreter getInterpreter()