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

Class MicroModel

java.lang.Object

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

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

All Implemented Interfaces:

com.ibm.wala.ipa.cha.IClassHierarchyDweller

public class MicroModel
extends AndroidModel

Model for single Target Class.

Is used by the IntentContextInterpreter if a Intent can be resolved internally.

Since:

2013-10-12

Field Summary

Fields

Modifier and Type	Field and Description
com.ibm.wala.util.strings.Atom	name
com.ibm.wala.util.strings.Atom	target

Fields inherited from class com.ibm.wala.dalvik.ipa.callgraph.androidModel.AndroidModel

body, built, cache, cha, doBoot, klass, model, mRef, options, scope

Constructor Summary

Constructors

Constructor and Description
MicroModel(com.ibm.wala.ipa.cha.IClassHierarchy cha, com.ibm.wala.ipa.callgraph.AnalysisOptions options, com.ibm.wala.ipa.callgraph.IAnalysisCacheView cache, com.ibm.wala.util.strings.Atom target)

Method Summary

Modifier and Type	Method and Description
com.ibm.wala.ipa.summaries.SummarizedMethod	getMethod() Building the SummarizedMethod is delayed upon the first class to this method.
com.ibm.wala.util.strings.Atom	getName()
protected boolean	selectEntryPoint(AndroidEntryPoint ep) Restrict the model to Activities.

Methods inherited from class com.ibm.wala.dalvik.ipa.callgraph.androidModel.AndroidModel

build, build, getClassHierarchy, getDeclaringClass, getDescriptor, getMethodAs, getMethodEncap, getReturnType, isStatic, toString

Methods inherited from class java.lang.Object

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

Field Detail

name

public final com.ibm.wala.util.strings.Atom name

target

public final com.ibm.wala.util.strings.Atom target

Constructor Detail

MicroModel

public MicroModel(com.ibm.wala.ipa.cha.IClassHierarchy cha,
                  com.ibm.wala.ipa.callgraph.AnalysisOptions options,
                  com.ibm.wala.ipa.callgraph.IAnalysisCacheView cache,
                  com.ibm.wala.util.strings.Atom target)

Method Detail

selectEntryPoint

protected boolean selectEntryPoint(AndroidEntryPoint ep)

Restrict the model to Activities.

Overridden by models to restraint Entrypoints.

For each entrypoint this method is queried if it should be part of the model.

Overrides:

selectEntryPoint in class AndroidModel

Parameters:

ep - The EntryPoint in question

Returns:

if the given EntryPoint shall be part of the model

getName

public com.ibm.wala.util.strings.Atom getName()

Overrides:

getName in class AndroidModel

getMethod

public com.ibm.wala.ipa.summaries.SummarizedMethod getMethod()
                                                      throws com.ibm.wala.util.CancelException

Description copied from class: AndroidModel

Building the SummarizedMethod is delayed upon the first class to this method.

Overrides:

getMethod in class AndroidModel

Returns:

the method for this model as generated by build()

Throws:

com.ibm.wala.util.CancelException