EDU.purdue.cs.bloat.inline

Class CallGraph

java.lang.Object

EDU.purdue.cs.bloat.inline.CallGraph

public class CallGraph
extends java.lang.Object

Grants access to certain information about a Java program. At least one root method must be specified. From these root methods, the call graph and information such as the classes that are instantiated during the Java program is computed.

The construction of the call graph is in the spirit of the "Program Virtual-call Graph" presented in [Bacon97]. However, certain changes have been made to tailor it to BLOAT and Java and to make the overall representation smaller.

Rapid type analysis is integrated into the construction of the call graph. A virtual method is not examined until we know that its declaring class has been instantiated.

Some classes are created internally by the VM and are missed by our analysis. So, we maintain a set of "pre-live" classes. We consider all of their constructors to be live.

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	DEBUG
static boolean	USE1_2
static boolean	USEPRELIVE

Constructor Summary

Constructors

Constructor and Description
CallGraph(InlineContext context, java.util.Set roots) Constructor.

Method Summary

Methods

Modifier and Type	Method and Description
static void	addPreLive(java.lang.String name) Adds (the name of) a class to the set of classes that are considered to be "pre-live"
java.util.Set	liveClasses() Returns the set of classes (Types) that are instantiated in the program.
java.util.Set	liveMethods() Returns the set of methods (MemberRefs) that the construction algorithm has deemed to be live.
void	print(java.io.PrintWriter out, boolean printLeaves) Prints a textual prepresentation of the CallGraph to a PrintWriter.
void	printSummary(java.io.PrintWriter out) Prints a summary of the call graph.
static boolean	removePreLive(java.lang.String name) Removes a class from the set of "pre-live" classes
java.util.Set	resolvesTo(MemberRef method) Returns the methods (MemberRefs) to which a given method could resolve.
java.util.Set	resolvesTo(MemberRef method, java.util.Set rTypes) Returns the methods (MemberRefs) to which a given method could resolve given that the receiver is in a certain set of types.
java.util.Set	roots() Returns the root methods (MemberRefs) of the call graph.

Methods inherited from class java.lang.Object

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

Field Detail

DEBUG

public static boolean DEBUG

USEPRELIVE

public static boolean USEPRELIVE

USE1_2

public static boolean USE1_2

Constructor Detail

CallGraph

public CallGraph(InlineContext context,
         java.util.Set roots)

Constructor.

Parameters:

context - InlineContext used to examine classes and methods.

roots - The methods (represented as MemberRefs) considered to the roots (that is, the "main" methods) of the call graph. Presumably, only static methods or constructors can be root methods.

Method Detail

addPreLive

public static void addPreLive(java.lang.String name)

Adds (the name of) a class to the set of classes that are considered to be "pre-live"

removePreLive

public static boolean removePreLive(java.lang.String name)

Removes a class from the set of "pre-live" classes

Returns:

true if the class was "pre-live"

resolvesTo

public java.util.Set resolvesTo(MemberRef method)

Returns the methods (MemberRefs) to which a given method could resolve. Only live methods are taken into account. The methods are sorted such that overriding methods appear before overriden methods.

resolvesTo

public java.util.Set resolvesTo(MemberRef method,
                       java.util.Set rTypes)

Returns the methods (MemberRefs) to which a given method could resolve given that the receiver is in a certain set of types. Only live methods are taken into account. The methods are sorted such that overriding methods appear before overriden methods.

liveMethods

public java.util.Set liveMethods()

Returns the set of methods (MemberRefs) that the construction algorithm has deemed to be live.

roots

public java.util.Set roots()

Returns the root methods (MemberRefs) of the call graph.

liveClasses

public java.util.Set liveClasses()

Returns the set of classes (Types) that are instantiated in the program.

print

public void print(java.io.PrintWriter out,
         boolean printLeaves)

Prints a textual prepresentation of the CallGraph to a PrintWriter.

Parameters:

out - To where we print

printLeaves - If true, leaf methods (methods that do not call any other methods) are printed

printSummary

public void printSummary(java.io.PrintWriter out)

Prints a summary of the call graph. Including the classes that are live and which methods are blocked.