EMMA Coverage Report (generated Sat Dec 08 18:07:40 GMT 2007)
[all classes]

COVERAGE SUMMARY FOR PACKAGE [uk.co.zonetora.fj.typecheck]

nameclass, %method, %block, %line, %
uk.co.zonetora.fj.typecheck10%  (1/10)15%  (6/40)14%  (116/800)16%  (25.6/164)

COVERAGE BREAKDOWN BY SOURCE FILE

nameclass, %method, %block, %line, %
FJExceptions.java0%   (0/1)0%   (0/1)0%   (0/5)0%   (0/2)
FJPathCycleException.java0%   (0/1)0%   (0/1)0%   (0/10)0%   (0/2)
FJTypeCheckException.java0%   (0/1)0%   (0/2)0%   (0/8)0%   (0/4)
FJUnknownClassNameException.java0%   (0/1)0%   (0/1)0%   (0/10)0%   (0/2)
TypeCheck.java0%   (0/4)0%   (0/20)0%   (0/401)0%   (0/76)
TypeEnvironment.java0%   (0/1)0%   (0/3)0%   (0/26)0%   (0/7)
ClassTable.java100% (1/1)50%  (6/12)34%  (116/340)36%  (25.6/71)

[all classes]
EMMA 2.0.5312 (C) Vladimir Roubtsov