| EMMA Coverage Report (generated Mon Dec 10 12:01:41 GMT 2007) |
|---|
| [all classes][uk.co.zonetora.fj.typecheck] |
| name | class, % | method, % | block, % | line, % |
|---|---|---|---|---|
| FJPathCycleException.java | 100% (1/1) | 100% (1/1) | 100% (10/10) | 100% (2/2) |
| name | class, % | method, % | block, % | line, % |
|---|---|---|---|---|
| class FJPathCycleException | 100% (1/1) | 100% (1/1) | 100% (10/10) | 100% (2/2) |
| FJPathCycleException (Set): void | 100% (1/1) | 100% (10/10) | 100% (2/2) |
| 1 | package uk.co.zonetora.fj.typecheck; |
| 2 | |
| 3 | import java.util.Set; |
| 4 | |
| 5 | import uk.co.zonetora.fj.model.ClassName; |
| 6 | import uk.co.zonetora.fj.passes.FJException; |
| 7 | |
| 8 | public 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 |