|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--harpoon.Analysis.PointerAnalysis.Debug
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 |
public Debug()
Method Detail |
public static Object[] sortedCollection(Collection col)
set
. Increasing lexicographic order of the
string representation of the objects is used.
public static Object[] sortedSet(Set set)
public static String stringImg(Collection col)
set1.equals(set2) <==> stringImg(set1).equals(stringImg(set2)).
public static String stringImg(Object[] v)
public static void show_split(Relation split)
public static void show_lbb(LightBasicBlock lbb)
public static void show_lbb_scc(SCComponent scc)
public static String doubleRep(double d, int decimals)
public static String doubleRep(double d, int digits, int decimals)
public static String get_perct(double a, double total)
public static String getLine(HCodeElement q)
source_file:line_number
.
public static String code2str(HCodeElement q)
source_file:line_number instruction
.
public static boolean isThatOne(HMethod hm, String cls, String mthd)
hm
is the method named
mthd
from the class named cls
.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |