Constructor Detail

• SpecializedInstantiator

  public SpecializedInstantiator(VolatileMethodSummary body,
                                 TypeSafeInstructionFactory instructionFactory,
                                 SSAValueManager pm,
                                 IClassHierarchy cha,
                                 MethodReference scope,
                                 AnalysisScope analysisScope,
                                 IInstantiator parent)

Method Detail

• createInstance

  public SSAValue createInstance(TypeReference T,
                                 boolean asManaged,
                                 SSAValue.VariableKey key,
                                 Set<? extends SSAValue> seen)

  Creates a new instance of type calling all that's necessary. If T is a class-type all its constructors are searched for the one found best suited (takes the least arguments, ...). New instances are created for all parameters, then the constructor is called. If T represents multiple types (is an interface, abstract class, ...) _all_ implementors of that type are instantiated After that they get Phi-ed together. If T is an array-type a new array of length 1 is generated.

  Overrides:

  createInstance in class FlatInstantiator

• understands

  public static boolean understands(TypeReference T)

• createContext

  public SSAValue createContext(TypeReference T,
                                boolean asManaged,
                                SSAValue.VariableKey key,
                                Set<? extends SSAValue> seen)

  Creates a new instance of android/content/Context.

• createContextWrapper

  public SSAValue createContextWrapper(TypeReference T,
                                       boolean asManaged,
                                       SSAValue.VariableKey key,
                                       Set<? extends SSAValue> seen)

• createInstance

  public int createInstance(TypeReference type,
                            Object... instantiatorArgs)

  Satisfy the interface.

  Specified by:

  createInstance in interface IInstantiator

  Overrides:

  createInstance in class FlatInstantiator

  Parameters:

  type - Type to generate an instance from

  instantiatorArgs - passed through utility functions

  Returns:

  SSA-Number of the instance