com.ibm.wala.ipa.modref

Class ModRefFieldAccess

java.lang.Object

com.ibm.wala.ipa.modref.ModRefFieldAccess

public final class ModRefFieldAccess
extends java.lang.Object

Computes interprocedural field accesses for a given method.

Method Summary

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

Methods inherited from class java.lang.Object

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

Method Detail

compute

public static ModRefFieldAccess compute(CallGraph cg)

getMod

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

getRef

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

getTransitiveMod

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

getTransitiveRef

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