| EMMA Coverage Report (generated Sat Dec 08 18:30:31 GMT 2007) |
|---|
| [all classes][uk.co.zonetora.fj.model] |
| name | class, % | method, % | block, % | line, % |
|---|---|---|---|---|
| Variable.java | 100% (1/1) | 100% (4/4) | 100% (15/15) | 100% (7/7) |
| name | class, % | method, % | block, % | line, % |
|---|---|---|---|---|
| class Variable | 100% (1/1) | 100% (4/4) | 100% (15/15) | 100% (7/7) |
| Variable (ArgumentName): void | 100% (1/1) | 100% (6/6) | 100% (3/3) | |
| getAllReferencedClassNames (): Set | 100% (1/1) | 100% (2/2) | 100% (1/1) | |
| getArgumentName (): ArgumentName | 100% (1/1) | 100% (3/3) | 100% (1/1) | |
| visit (TypeCheck): void | 100% (1/1) | 100% (4/4) | 100% (2/2) |
| 1 | package uk.co.zonetora.fj.model; |
| 2 | |
| 3 | import java.util.Collections; |
| 4 | import java.util.Set; |
| 5 | |
| 6 | import uk.co.zonetora.fj.typecheck.TypeCheck; |
| 7 | |
| 8 | public class Variable implements Term { |
| 9 | |
| 10 | private final ArgumentName argName; |
| 11 | |
| 12 | public Variable(ArgumentName aname) { |
| 13 | this.argName = aname; |
| 14 | } |
| 15 | |
| 16 | @SuppressWarnings("unchecked") |
| 17 | public Set<ClassName> getAllReferencedClassNames() { |
| 18 | return Collections.EMPTY_SET; |
| 19 | } |
| 20 | |
| 21 | public void visit(TypeCheck check) { |
| 22 | check.appyRule(this); |
| 23 | } |
| 24 | |
| 25 | public ArgumentName getArgumentName() { |
| 26 | return this.argName; |
| 27 | } |
| 28 | |
| 29 | } |
| [all classes][uk.co.zonetora.fj.model] |
| EMMA 2.0.5312 (C) Vladimir Roubtsov |