EMMA Coverage Report (generated Sat Dec 08 18:13:49 GMT 2007)
[all classes][uk.co.zonetora.fj.typecheck]

COVERAGE SUMMARY FOR SOURCE FILE [FJUnknownClassNameException.java]

nameclass, %method, %block, %line, %
FJUnknownClassNameException.java0%   (0/1)0%   (0/1)0%   (0/10)0%   (0/2)

COVERAGE BREAKDOWN BY CLASS AND METHOD

nameclass, %method, %block, %line, %
     
class FJUnknownClassNameException0%   (0/1)0%   (0/1)0%   (0/10)0%   (0/2)
FJUnknownClassNameException (ClassName): void 0%   (0/1)0%   (0/10)0%   (0/2)

1package uk.co.zonetora.fj.typecheck;
2 
3import uk.co.zonetora.fj.model.ClassName;
4import uk.co.zonetora.fj.passes.FJException;
5 
6public class FJUnknownClassNameException extends FJException {
7 
8        private static final long serialVersionUID = 2033621077764702888L;
9 
10        public FJUnknownClassNameException(ClassName c) {
11                super("Unknown class name: " + c);
12        }
13 
14}

[all classes][uk.co.zonetora.fj.typecheck]
EMMA 2.0.5312 (C) Vladimir Roubtsov