joeq.Compiler.Quad
Class CHACallGraph

java.lang.Object
  java.util.AbstractMap
      jwutil.collections.UnmodifiableMultiMap
          joeq.Compiler.Quad.CallGraph
              joeq.Compiler.Quad.CHACallGraph

All Implemented Interfaces:

Map, jwutil.collections.BinaryRelation, jwutil.collections.MultiMap, jwutil.graphs.Graph

Direct Known Subclasses:

RootedCHACallGraph

public class CHACallGraph
extends CallGraph

A simple call graph implementation based on class-hierarchy analysis with optional rapid type analysis.

Version:

$Id: CHACallGraph.java 2264 2005-05-19 00:18:05Z joewhaley $

Author:

John Whaley

Nested Class Summary

Nested classes/interfaces inherited from class joeq.Compiler.Quad.CallGraph

CallGraph.CallGraphCSNavigator, CallGraph.CallGraphMap, CallGraph.CallGraphMethodNavigator, CallGraph.CallSiteMap, CallGraph.CallTargetMap

Nested classes/interfaces inherited from interface java.util.Map

Map.Entry<K,V>

Field Summary

protected Set	classes
static CHACallGraph	INSTANCE

Fields inherited from class jwutil.collections.UnmodifiableMultiMap

DEFAULT_HISTOGRAM_SIZE

Constructor Summary

protected	CHACallGraph()
	CHACallGraph(Set classes) Construct a call graph assuming only the given types are used by the program, i.e.

Method Summary

Collection	getRoots() Returns the collection of root methods for this call graph.
Collection	getTargetMethods(Object context, ProgramLocation callSite) Returns the possible target methods of the given call site under the given context.
void	setRoots(Collection roots) Sets up the root methods to be the given set.

Methods inherited from class joeq.Compiler.Quad.CallGraph

calculateCallerRelation, calculateEdgeRelation, calculateReachableMethods, contains, entrySet, findDepths, getAllCallSites, getAllMethods, getCallees, getCallees, getCallerMethods, getCallers, getCallGraphMap, getCallSiteMap, getCallSiteNavigator, getCallSites, getCallSites, getCallSites0, getCallSites0, getCallSites1, getMethodNavigator, getNavigator, getTargetMethod, getTargetMethods, getValues, makeCallGraph, numberOfTargetMethods, numberOfTargetMethods, toString

Methods inherited from class jwutil.collections.UnmodifiableMultiMap

add, addAll, addAll, clear, computeHistogram, computeHistogram, entrySetHelper, proxy, put, putAll, remove, remove, removeAll, retainAll

Methods inherited from class java.util.AbstractMap

clone, containsKey, containsValue, equals, get, hashCode, isEmpty, keySet, size, values

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface jwutil.collections.MultiMap

get, size

Methods inherited from interface java.util.Map

containsKey, containsValue, equals, hashCode, isEmpty, keySet, values

Field Detail

INSTANCE

public static final CHACallGraph INSTANCE

classes

protected final Set classes

Constructor Detail

CHACallGraph

public CHACallGraph(Set classes)

Construct a call graph assuming only the given types are used by the program, i.e. rapid type analysis.

Parameters:

classes - set of types from which to build the call graph

CHACallGraph

protected CHACallGraph()

Method Detail

getTargetMethods

public Collection getTargetMethods(Object context,
                                   ProgramLocation callSite)

Description copied from class: CallGraph

Returns the possible target methods of the given call site under the given context. The interpretation of the context object is specific to the type of call graph.

Specified by:

getTargetMethods in class CallGraph

Returns:

Collection of jq_Methods that are the possible targets

See Also:

CallGraph.getTargetMethods(java.lang.Object, joeq.Compiler.Analysis.IPA.ProgramLocation)

getRoots

public Collection getRoots()

Description copied from class: CallGraph

Returns the collection of root methods for this call graph.

Specified by:

getRoots in interface jwutil.graphs.Graph

Specified by:

getRoots in class CallGraph

setRoots

public void setRoots(Collection roots)

Description copied from class: CallGraph

Sets up the root methods to be the given set. Later call graph queries use the value that you pass in here. Implementing this method is optional -- it is only necessary if you use methods that require a root set, like getReachableMethods().

Specified by:

setRoots in class CallGraph

Parameters:

roots - collection of root methods