EMMA Coverage Report (generated Tue May 03 17:02:00 CDT 2011)
[all classes][tuffy.infer.ds]

COVERAGE SUMMARY FOR SOURCE FILE [KeyBlock.java]

nameclass, %method, %block, %line, %
KeyBlock.java100% (1/1)50%  (2/4)33%  (18/55)40%  (4/10)

COVERAGE BREAKDOWN BY CLASS AND METHOD

nameclass, %method, %block, %line, %
     
class KeyBlock100% (1/1)50%  (2/4)33%  (18/55)40%  (4/10)
getBlockMates (GAtom): ArrayList 0%   (0/1)0%   (0/9)0%   (0/1)
pushGAtom (Integer, GAtom): void 0%   (0/1)0%   (0/28)0%   (0/5)
KeyBlock (): void 100% (1/1)100% (13/13)100% (3/3)
hasKey (GAtom): boolean 100% (1/1)100% (5/5)100% (1/1)

[source file 'tuffy/infer/ds/KeyBlock.java' not found in sourcepath]

[all classes][tuffy.infer.ds]
EMMA 2.0.5312 (C) Vladimir Roubtsov