com.ibm.wala.dalvik.ipa.callgraph.androidModel.parameters

Class IInstantiationBehavior

java.lang.Object

com.ibm.wala.dalvik.ipa.callgraph.androidModel.parameters.IInstantiationBehavior

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

DefaultInstantiationBehavior, LoadedInstantiationBehavior

public abstract class IInstantiationBehavior
extends Object
implements Serializable

Author:

Tobias Blaschke <code@tobiasblaschke.de>

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	IInstantiationBehavior.Exactness Information on how the IInstanciationBehavior made its decision for IInstantiationBehavior.InstanceBehavior
static class	IInstantiationBehavior.InstanceBehavior The handling for a variable occurring in the AndroidModel.

Constructor Summary

Constructors

Constructor and Description
IInstantiationBehavior()

Method Summary

Modifier and Type	Method and Description
IInstantiationBehavior.InstanceBehavior	getBehavior(com.ibm.wala.types.TypeName param, com.ibm.wala.classLoader.IMethod inCallTo, String withName) Returns how the model should behave on the type.
abstract IInstantiationBehavior.InstanceBehavior	getBehavior(com.ibm.wala.types.TypeName type, com.ibm.wala.types.TypeName asParameterTo, com.ibm.wala.types.MethodReference inCall, String withName) Returns how the model should behave on the type.
abstract IInstantiationBehavior.InstanceBehavior	getDafultBehavior()
abstract IInstantiationBehavior.Exactness	getExactness(com.ibm.wala.types.TypeName type, com.ibm.wala.types.TypeName asParameterTo, com.ibm.wala.types.MethodReference inCall, String withName) The Exactness depends on how the behavior to a type was determined.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

IInstantiationBehavior

public IInstantiationBehavior()

Method Detail

getBehavior

public abstract IInstantiationBehavior.InstanceBehavior getBehavior(com.ibm.wala.types.TypeName type,
                                                                    com.ibm.wala.types.TypeName asParameterTo,
                                                                    com.ibm.wala.types.MethodReference inCall,
                                                                    String withName)

Returns how the model should behave on the type. See the documentation of IInstantiationBehavior.InstanceBehavior for the description of the possible behaviours. Although this function takes a parameter withName one should not rely on its value.

Parameters:

type - The type of the variable in question

asParameterTo - The component whose function the variable shall be used as parameter to.

inCall - The call in question

withName - The name of the parameter in inCall (this might not work)

Returns:

The behaviour to use

getBehavior

public IInstantiationBehavior.InstanceBehavior getBehavior(com.ibm.wala.types.TypeName param,
                                                           com.ibm.wala.classLoader.IMethod inCallTo,
                                                           String withName)

Returns how the model should behave on the type.

Parameters:

param - The parameter in question of being reuse

inCallTo - The callee to query the REUSEness for

getExactness

public abstract IInstantiationBehavior.Exactness getExactness(com.ibm.wala.types.TypeName type,
                                                              com.ibm.wala.types.TypeName asParameterTo,
                                                              com.ibm.wala.types.MethodReference inCall,
                                                              String withName)

The Exactness depends on how the behavior to a type was determined. Currently it has no effect on the model but it may come in handy if you want to cascade classes for determining the IInstanciationBehavior.

getDafultBehavior

public abstract IInstantiationBehavior.InstanceBehavior getDafultBehavior()