joeq.Compiler.Quad
Class PointerExplorer

java.lang.Object
  joeq.Compiler.Quad.PointerExplorer

public class PointerExplorer
extends Object

Version:

$Id: PointerExplorer.java 2465 2006-06-07 23:03:17Z joewhaley $

Author:

John Whaley

Nested Class Summary

static class	PointerExplorer.InlineSet
static class	PointerExplorer.Specialization
static class	PointerExplorer.SpecializationParameter

Field Summary

static AndersenPointerAnalysis	apa
static Map	callGraph
static BufferedReader	in
static List	inlineCommands
static Map	methodToCallSites
static Set	rootSet
static Set	selectedCallSites
static Map	toInline

Constructor Summary

PointerExplorer()

Method Summary

static void	buildCloneCache(HashMap to_clone)
static void	doInlining()
static void	doInlining(Set inline)
static jq_Method	getMethod()
static jq_Method	getMethod(jq_Class klass, String name)
static jq_Method	getMethod(Set set)
static jq_Method	getMethod(String[] args, int start)
static void	main(String[] args)
static void	recalculateInliningCompleteness()
static Set[]	reorderInlineSites(Map toInline)
static void	selectCallSites(String desc, Iterator i, Iterator i2)
static SortedSet	sortByNumberOfTargets(Map callGraph)

Methods inherited from class java.lang.Object

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

Field Detail

in

public static final BufferedReader in

apa

public static AndersenPointerAnalysis apa

callGraph

public static Map callGraph

rootSet

public static Set rootSet

selectedCallSites

public static Set selectedCallSites

methodToCallSites

public static Map methodToCallSites

toInline

public static Map toInline

inlineCommands

public static List inlineCommands

Constructor Detail

PointerExplorer

public PointerExplorer()

Method Detail

getMethod

public static jq_Method getMethod(Set set)
                           throws IOException

Throws:

IOException

getMethod

public static jq_Method getMethod()
                           throws IOException

Throws:

IOException

getMethod

public static jq_Method getMethod(String[] args,
                                  int start)
                           throws IOException

Throws:

IOException

getMethod

public static jq_Method getMethod(jq_Class klass,
                                  String name)
                           throws IOException

Throws:

IOException

sortByNumberOfTargets

public static SortedSet sortByNumberOfTargets(Map callGraph)

selectCallSites

public static void selectCallSites(String desc,
                                   Iterator i,
                                   Iterator i2)
                            throws IOException

Throws:

IOException

recalculateInliningCompleteness

public static void recalculateInliningCompleteness()

doInlining

public static void doInlining(Set inline)

reorderInlineSites

public static Set[] reorderInlineSites(Map toInline)

doInlining

public static void doInlining()

buildCloneCache

public static void buildCloneCache(HashMap to_clone)

main

public static void main(String[] args)
                 throws IOException

Throws:

IOException