| EMMA Coverage Report (generated Sat Dec 08 18:13:49 GMT 2007) | 
|---|
| [all classes][uk.co.zonetora.fj.typecheck] | 
| name | class, % | method, % | block, % | line, % | 
|---|---|---|---|---|
| FJExceptions.java | 100% (1/1) | 100% (1/1) | 100% (5/5) | 100% (2/2) | 
| name | class, % | method, % | block, % | line, % | 
|---|---|---|---|---|
| class FJExceptions | 100% (1/1) | 100% (1/1) | 100% (5/5) | 100% (2/2) | 
| FJExceptions (List): void | 100% (1/1) | 100% (5/5) | 100% (2/2) | 
| 1 | package uk.co.zonetora.fj.typecheck; | 
| 2 | |
| 3 | import java.util.List; | 
| 4 | |
| 5 | import uk.co.zonetora.fj.passes.FJException; | 
| 6 | |
| 7 | public class FJExceptions extends FJException { | 
| 8 | |
| 9 | private static final long serialVersionUID = 7705202817447949895L; | 
| 10 | |
| 11 | public FJExceptions(List<? extends FJException> cs) { | 
| 12 | super(cs.toString()); | 
| 13 | } | 
| 14 | |
| 15 | } | 
| [all classes][uk.co.zonetora.fj.typecheck] | 
| EMMA 2.0.5312 (C) Vladimir Roubtsov |