PLT Utilities Test Coverage (plt-20120304-r5436)

Clover coverage report - PLT Utilities Test Coverage (plt-20120304-r5436)

Coverage timestamp: Sat Mar 3 2012 22:01:56 CST

FRAMES NO FRAMES

file stats:	LOC:	84		Methods:	20
	NCLOC:	34		Classes:	1

Source file

Conditionals

Statements

Methods

TOTAL

EmptyRelation.java

1		/BEGIN_COPYRIGHT_BLOCK
2
3		PLT Utilities BSD License
4
5		Copyright (c) 2007-2010 JavaPLT group at Rice University
6		All rights reserved.
7
8		Developed by: Java Programming Languages Team
9		Rice University
10		http://www.cs.rice.edu/~javaplt/
11
12		Redistribution and use in source and binary forms, with or without modification, are permitted
13		provided that the following conditions are met:
14
15		- Redistributions of source code must retain the above copyright notice, this list of conditions
16		and the following disclaimer.
17		- Redistributions in binary form must reproduce the above copyright notice, this list of
18		conditions and the following disclaimer in the documentation and/or other materials provided
19		with the distribution.
20		- Neither the name of the JavaPLT group, Rice University, nor the names of the library's
21		contributors may be used to endorse or promote products derived from this software without
22		specific prior written permission.
23
24		THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR
25		IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
26		FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDERS AND
27		CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
28		DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
29		DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER
30		IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT
31		OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
32
33		END_COPYRIGHT_BLOCK/
34
35		package edu.rice.cs.plt.collect;
36
37		import java.util.Set;
38		import java.io.Serializable;
39		import edu.rice.cs.plt.tuple.Pair;
40
41		/** An immutable, empty, one-to-one relation. */
42		public final class EmptyRelation<T1, T2> extends EmptyCollection<Pair<T1, T2>>
43		implements OneToOneRelation<T1, T2>, Serializable {
44
45		public static final EmptyRelation<Object, Object> INSTANCE = new EmptyRelation<Object, Object>();
46
47	0	private EmptyRelation() {}
48
49	0	public boolean contains(T1 first, T2 second) { return false; }
50
51	0	public boolean add(T1 first, T2 second) { throw new UnsupportedOperationException(); }
52	0	public boolean remove(T1 first, T2 second) { throw new UnsupportedOperationException(); }
53
54	0	@SuppressWarnings("unchecked")
55	0	public OneToOneRelation<T2, T1> inverse() { return (EmptyRelation<T2, T1>) INSTANCE; }
56
57	0	public PredicateSet<T1> firstSet() { return EmptySet.make(); }
58	0	public boolean containsFirst(T1 first) { return false; }
59	0	public PredicateSet<T2> matchFirst(T1 first) { return EmptySet.make(); }
60	0	public PredicateSet<T2> excludeFirsts() { return EmptySet.make(); }
61
62	0	public PredicateSet<T2> secondSet() { return EmptySet.make(); }
63	0	public boolean containsSecond(T2 second) { return false; }
64	0	public PredicateSet<T1> matchSecond(T2 second) { return EmptySet.make(); }
65	0	public PredicateSet<T1> excludeSeconds() { return EmptySet.make(); }
66
67	0	public T2 value(T1 first) { return null; }
68	0	public T1 antecedent(T2 second) { return null; }
69	0	public LambdaMap<T1, T2> functionMap() { return EmptyMap.make(); }
70	0	public LambdaMap<T2, T1> injectionMap() { return EmptyMap.make(); }
71
72	0	public boolean equals(Object o) {
73	0	if (o instanceof Set<?>) { return ((Set<?>) o).isEmpty(); }
74	0	else { return false; }
75		}
76
77	0	public int hashCode() { return 0; }
78
79		/** Return a singleton, cast to the appropriate type. */
80	0	@SuppressWarnings("unchecked") public static <T1, T2> EmptyRelation<T1, T2> make() {
81	0	return (EmptyRelation<T1, T2>) INSTANCE;
82		}
83
84		}