| EMMA Coverage Report (generated Sat Dec 08 18:17:52 GMT 2007) |
|---|
| [all classes] |
| name | class, % | method, % | block, % | line, % |
|---|---|---|---|---|
| uk.co.zonetora.fj.typecheck | 60% (6/10) | 57% (23/40) | 55% (440/800) | 64% (105.6/164) |
| name | class, % | method, % | block, % | line, % |
|---|---|---|---|---|
| FJUnknownClassNameException.java | 0% (0/1) | 0% (0/1) | 0% (0/10) | 0% (0/2) |
| TypeCheck.java | 25% (1/4) | 30% (6/20) | 30% (122/401) | 40% (30/76) |
| FJTypeCheckException.java | 100% (1/1) | 50% (1/2) | 50% (4/8) | 50% (2/4) |
| TypeEnvironment.java | 100% (1/1) | 100% (3/3) | 81% (21/26) | 86% (6/7) |
| ClassTable.java | 100% (1/1) | 92% (11/12) | 82% (278/340) | 90% (63.6/71) |
| FJExceptions.java | 100% (1/1) | 100% (1/1) | 100% (5/5) | 100% (2/2) |
| FJPathCycleException.java | 100% (1/1) | 100% (1/1) | 100% (10/10) | 100% (2/2) |
| [all classes] |
| EMMA 2.0.5312 (C) Vladimir Roubtsov |