Java Language Levels Test Coverage (javalanglevels-20120305-r5436)

Clover coverage report - Java Language Levels Test Coverage (javalanglevels-20120305-r5436)

Coverage timestamp: Sun Mar 4 2012 22:02:46 CST

FRAMES NO FRAMES

file stats:	LOC:	60		Methods:	6
	NCLOC:	41		Classes:	1

Source file

Conditionals

Statements

Methods

TOTAL

TypeDefBase.java

50%

76.2%

100%

73%

1		package edu.rice.cs.javalanglevels.tree;
2
3		import edu.rice.cs.javalanglevels.SourceInfo;
4
5		/**
6		* Class TypeDefBase, a component of the JExpressionIF composite hierarchy.
7		* Note: null is not allowed as a value for any field.
8		* @version Generated automatically by ASTGen at Sun Mar 04 22:01:28 CST 2012
9		*/
10		public abstract class TypeDefBase extends JExpression {
11		private final ModifiersAndVisibility _mav;
12		private final Word _name;
13		private final TypeParameter[] _typeParameters;
14		private final ReferenceType[] _interfaces;
15		private final BracedBody _body;
16
17		/**
18		* Constructs a TypeDefBase.
19		* @throws java.lang.IllegalArgumentException If any parameter to the constructor is null.
20		*/
21	280	public TypeDefBase(SourceInfo in_sourceInfo, ModifiersAndVisibility in_mav, Word in_name, TypeParameter[] in_typeParameters, ReferenceType[] in_interfaces, BracedBody in_body) {
22	280	super(in_sourceInfo);
23
24	280	if (in_mav == null) {
25	0	throw new java.lang.IllegalArgumentException("Parameter 'mav' to the TypeDefBase constructor was null. This class may not have null field values.");
26		}
27	280	_mav = in_mav;
28
29	280	if (in_name == null) {
30	0	throw new java.lang.IllegalArgumentException("Parameter 'name' to the TypeDefBase constructor was null. This class may not have null field values.");
31		}
32	280	_name = in_name;
33
34	280	if (in_typeParameters == null) {
35	0	throw new java.lang.IllegalArgumentException("Parameter 'typeParameters' to the TypeDefBase constructor was null. This class may not have null field values.");
36		}
37	280	_typeParameters = in_typeParameters;
38
39	280	if (in_interfaces == null) {
40	0	throw new java.lang.IllegalArgumentException("Parameter 'interfaces' to the TypeDefBase constructor was null. This class may not have null field values.");
41		}
42	280	_interfaces = in_interfaces;
43
44	280	if (in_body == null) {
45	0	throw new java.lang.IllegalArgumentException("Parameter 'body' to the TypeDefBase constructor was null. This class may not have null field values.");
46		}
47	280	_body = in_body;
48		}
49
50	940	public ModifiersAndVisibility getMav() { return _mav; }
51	2195	public Word getName() { return _name; }
52	644	public TypeParameter[] getTypeParameters() { return _typeParameters; }
53	900	public ReferenceType[] getInterfaces() { return _interfaces; }
54	695	public BracedBody getBody() { return _body; }
55
56		public abstract <RetType> RetType visit(JExpressionIFVisitor<RetType> visitor);
57		public abstract void visit(JExpressionIFVisitor_void visitor);
58		public abstract void outputHelp(TabPrintWriter writer);
59		protected abstract int generateHashCode();
60		}