Class ContextUtil

java.lang.Object

com.ibm.wala.ipa.callgraph.ContextUtil

public class ContextUtil
extends Object

misc utilities for dealing with contexts

Constructor Summary

Constructors

Constructor	Description
ContextUtil()

Method Summary

Modifier and Type	Method	Description
static IClass	getConcreteClassFromContext(Context c)

Methods inherited from class java.lang.Object

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

Constructor Details

ContextUtil

public ContextUtil()

Method Details

getConcreteClassFromContext

public static IClass getConcreteClassFromContext(Context c)

Parameters:

c - a context

Returns:

If this is an object-sensitive context that identifies a unique class for the receiver object, then return the unique class. Else, return null.

Throws:

IllegalArgumentException - if c is null