EMMA Coverage Report (generated Sat Dec 08 18:30:31 GMT 2007)
[all classes][uk.co.zonetora.fj.model]

COVERAGE SUMMARY FOR SOURCE FILE [FieldAccess.java]

nameclass, %method, %block, %line, %
FieldAccess.java100% (1/1)100% (5/5)100% (23/23)100% (9/9)

COVERAGE BREAKDOWN BY CLASS AND METHOD

nameclass, %method, %block, %line, %
     
class FieldAccess100% (1/1)100% (5/5)100% (23/23)100% (9/9)
FieldAccess (Term, FieldName): void 100% (1/1)100% (9/9)100% (4/4)
getAllReferencedClassNames (): Set 100% (1/1)100% (4/4)100% (1/1)
getFieldName (): FieldName 100% (1/1)100% (3/3)100% (1/1)
getPath (): Term 100% (1/1)100% (3/3)100% (1/1)
visit (TypeCheck): void 100% (1/1)100% (4/4)100% (2/2)

1package uk.co.zonetora.fj.model;
2 
3import java.util.Set;
4 
5import uk.co.zonetora.fj.typecheck.TypeCheck;
6 
7public class FieldAccess implements Term {
8 
9        private Term path;
10        private FieldName field;
11        
12        public FieldAccess(Term path, FieldName field) {
13                this.path = path;
14                this.field = field;
15        }
16 
17        public Set<ClassName> getAllReferencedClassNames() {
18                return path.getAllReferencedClassNames();
19        }
20 
21    public void visit(TypeCheck check) {
22        check.appyRule(this);
23    }
24 
25    public Term getPath() {
26        return this.path;
27    }
28 
29    public FieldName getFieldName() {
30        return this.field;
31    }
32}

[all classes][uk.co.zonetora.fj.model]
EMMA 2.0.5312 (C) Vladimir Roubtsov