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.2 2002/02/25 20:58:39 cananian Exp $
Author:
Alexandru SALCIANU <salcianu@retezat.lcs.mit.edu>
See Also:
Serialized Form

Constructor Summary
Debug()
           
 
Method Summary
static String code2str(HCodeElement q)
          Returns the string representation of the code instruction q in the formay: source_file:line_number instruction.
static String doubleRep(double d, int decimals)
          Returns the string representation of the double d, with a certain number of decimals.
static String doubleRep(double d, int digits, int decimals)
          Returns the string representation of the double d, with a certain number of decimals.
static String get_perct(double a, double total)
          Returns a string representing the proportion a/total (in percents).
static String getLine(HCodeElement q)
          Returns the line of the instruction q in the format source_file:line_number.
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 void show_lbb_scc(SCComponent scc)
           
static void show_lbb(LightBasicBlock lbb)
           
static void show_split(Relation split)
          Displays a split relation (see the MetaCallGraph stuff).
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_split

public static void show_split(Relation split)
Displays a split relation (see the MetaCallGraph stuff).


show_lbb

public static void show_lbb(LightBasicBlock lbb)

show_lbb_scc

public static void show_lbb_scc(SCComponent scc)

doubleRep

public static String doubleRep(double d,
                               int decimals)
Returns the string representation of the double d, with a certain number of decimals. Let me know if you know something better.


doubleRep

public static String doubleRep(double d,
                               int digits,
                               int decimals)
Returns the string representation of the double d, with a certain number of decimals. Let me know if you know something better.


get_perct

public static String get_perct(double a,
                               double total)
Returns a string representing the proportion a/total (in percents).


getLine

public static String getLine(HCodeElement q)
Returns the line of the instruction q in the format source_file:line_number.


code2str

public static String code2str(HCodeElement q)
Returns the string representation of the code instruction q in the formay: source_file:line_number instruction.


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.