EMMA Coverage Report

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

COVERAGE SUMMARY FOR SOURCE FILE [FieldAccess.java]

name	class, %	method, %	block, %	line, %
FieldAccess.java	0% (0/1)	0% (0/5)	0% (0/23)	0% (0/9)

name	class, %	method, %	block, %	line, %

class FieldAccess	0% (0/1)	0% (0/5)	0% (0/23)	0% (0/9)
FieldAccess (Term, FieldName): void		0% (0/1)	0% (0/9)	0% (0/4)
getAllReferencedClassNames (): Set		0% (0/1)	0% (0/4)	0% (0/1)
getFieldName (): FieldName		0% (0/1)	0% (0/3)	0% (0/1)
getPath (): Term		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.Set;
4
5	import uk.co.zonetora.fj.typecheck.TypeCheck;
6
7	public 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	}

EMMA 2.0.5312 (C) Vladimir Roubtsov