harpoon.Analysis.PointerAnalysis
Class Debug

java.lang.Object
  harpoon.Analysis.PointerAnalysis.Debug

All Implemented Interfaces:

Serializable

public abstract class Debug
extends Object
implements Serializable

Debug

Version:

$Id: Debug.java,v 1.13 2005/12/01 07:54:08 salcianu Exp $

Author:

Alexandru SALCIANU <salcianu@retezat.lcs.mit.edu>

See Also:

Serialized Form

Constructor Summary

Debug()

Method Summary

static boolean	isThatOne(HMethod hm, String cls, String mthd) Checks whether the method hm is the method named mthd from the class named cls.
static String	sccToString(jpaul.Graphs.SCComponent<MetaMethod> scc, MetaCallGraph mcg) Pretty print debug function for SCC's of MetaMethods.
static void	show_lbb_scc(MetaMethod mm, jpaul.Graphs.TopSortedCompDiGraph<LightBasicBlock> ts_sccs)
static void	show_lbb(LightBasicBlock lbb)
static Object[]	sortedCollection(Collection col) Returns a sorted array containing all the objects from set.
static Object[]	sortedSet(Set set)
static String	stringImg(Collection col) Provides a string representation of a set; the elements of the set appear in increasing lexicographic order.
static String	stringImg(Object[] v)

Methods inherited from class java.lang.Object

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

Constructor Detail

Debug

public Debug()

Method Detail

sortedCollection

public static Object[] sortedCollection(Collection col)

Returns a sorted array containing all the objects from set. Increasing lexicographic order of the string representation of the objects is used.

sortedSet

public static Object[] sortedSet(Set set)

stringImg

public static String stringImg(Collection col)

Provides a string representation of a set; the elements of the set appear in increasing lexicographic order. set1.equals(set2) <==> stringImg(set1).equals(stringImg(set2)).

stringImg

public static String stringImg(Object[] v)

show_lbb

public static void show_lbb(LightBasicBlock lbb)

show_lbb_scc

public static void show_lbb_scc(MetaMethod mm,
                                jpaul.Graphs.TopSortedCompDiGraph<LightBasicBlock> ts_sccs)

isThatOne

public static boolean isThatOne(HMethod hm,
                                String cls,
                                String mthd)

Checks whether the method hm is the method named mthd from the class named cls.

sccToString

public static String sccToString(jpaul.Graphs.SCComponent<MetaMethod> scc,
                                 MetaCallGraph mcg)

Pretty print debug function for SCC's of MetaMethods.