Package com.ibm.wala.ipa.modref

Class ModRefFieldAccess

java.lang.Object

com.ibm.wala.ipa.modref.ModRefFieldAccess

public final class ModRefFieldAccess
extends Object

Computes interprocedural field accesses for a given method.

Author:

Martin Seidel, Juergen Graf <juergen.graf@gmail.com>

Method Summary

Modifier and Type	Method	Description
static ModRefFieldAccess	compute(CallGraph cg)
Map<IClass,Set<IField>>	getMod(CGNode node)
Map<IClass,Set<IField>>	getRef(CGNode node)
Map<IClass,Set<IField>>	getTransitiveMod(CGNode node)
Map<IClass,Set<IField>>	getTransitiveRef(CGNode node)

Methods inherited from class java.lang.Object

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

Method Details

compute

public static ModRefFieldAccess compute(CallGraph cg)

getMod

public Map<IClass,Set<IField>> getMod(CGNode node)

getRef

public Map<IClass,Set<IField>> getRef(CGNode node)

getTransitiveMod

public Map<IClass,Set<IField>> getTransitiveMod(CGNode node)

getTransitiveRef

public Map<IClass,Set<IField>> getTransitiveRef(CGNode node)