| EMMA Coverage Report (generated Sat Dec 08 18:13:49 GMT 2007) |
|---|
| [all classes] |
| name | class, % | method, % | block, % | line, % |
|---|---|---|---|---|
| uk.co.zonetora.fj.typecheck | 50% (5/10) | 55% (22/40) | 56% (449/800) | 64% (105.7/164) |
| name | class, % | method, % | block, % | line, % |
|---|---|---|---|---|
| FJTypeCheckException.java | 0% (0/1) | 0% (0/2) | 0% (0/8) | 0% (0/4) |
| FJUnknownClassNameException.java | 0% (0/1) | 0% (0/1) | 0% (0/10) | 0% (0/2) |
| TypeCheck.java | 25% (1/4) | 30% (6/20) | 29% (117/401) | 38% (29/76) |
| TypeEnvironment.java | 100% (1/1) | 100% (3/3) | 81% (21/26) | 86% (6/7) |
| ClassTable.java | 100% (1/1) | 92% (11/12) | 87% (296/340) | 94% (66.7/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 |