| EMMA Coverage Report (generated Sat Dec 08 18:10:55 GMT 2007) |
|---|
| [all classes] |
| name | class, % | method, % | block, % | line, % |
|---|---|---|---|---|
| uk.co.zonetora.fj.typecheck | 90% (9/10) | 88% (35/40) | 78% (622/800) | 82% (134.7/164) |
| name | class, % | method, % | block, % | line, % |
|---|---|---|---|---|
| FJUnknownClassNameException.java | 0% (0/1) | 0% (0/1) | 0% (0/10) | 0% (0/2) |
| FJTypeCheckException.java | 100% (1/1) | 50% (1/2) | 50% (4/8) | 50% (2/4) |
| TypeCheck.java | 100% (4/4) | 90% (18/20) | 73% (293/401) | 75% (57.1/76) |
| TypeEnvironment.java | 100% (1/1) | 100% (3/3) | 81% (21/26) | 86% (6/7) |
| ClassTable.java | 100% (1/1) | 92% (11/12) | 85% (289/340) | 92% (65.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 |