EMMA Coverage Report (generated Sat Dec 08 18:09:47 GMT 2007) |
---|
[all classes][uk.co.zonetora.fj.model] |
name | class, % | method, % | block, % | line, % |
---|---|---|---|---|
Variable.java | 0% (0/1) | 0% (0/4) | 0% (0/15) | 0% (0/7) |
name | class, % | method, % | block, % | line, % |
---|---|---|---|---|
class Variable | 0% (0/1) | 0% (0/4) | 0% (0/15) | 0% (0/7) |
Variable (ArgumentName): void | 0% (0/1) | 0% (0/6) | 0% (0/3) | |
getAllReferencedClassNames (): Set | 0% (0/1) | 0% (0/2) | 0% (0/1) | |
getArgumentName (): ArgumentName | 0% (0/1) | 0% (0/3) | 0% (0/1) | |
visit (TypeCheck): void | 0% (0/1) | 0% (0/4) | 0% (0/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 |