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

COVERAGE SUMMARY FOR SOURCE FILE [FJPathCycleException.java]

nameclass, %method, %block, %line, %
FJPathCycleException.java100% (1/1)100% (1/1)100% (10/10)100% (2/2)

COVERAGE BREAKDOWN BY CLASS AND METHOD

nameclass, %method, %block, %line, %
     
class FJPathCycleException100% (1/1)100% (1/1)100% (10/10)100% (2/2)
FJPathCycleException (Set): void 100% (1/1)100% (10/10)100% (2/2)

1package uk.co.zonetora.fj.typecheck;
2 
3import java.util.Set;
4 
5import uk.co.zonetora.fj.model.ClassName;
6import uk.co.zonetora.fj.passes.FJException;
7 
8public class FJPathCycleException extends FJException {
9 
10        private static final long serialVersionUID = 1L;
11 
12        public FJPathCycleException(Set<ClassName> cyclicPath) {
13                super("Cycle in path: " + cyclicPath);
14                
15        }
16 
17}

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