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:	74		Methods:	9
	NCLOC:	16		Classes:	1

Source file

Conditionals

Statements

Methods

TOTAL

Null.java

50%

55.6%

52.9%

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.tuple;
36
37		/**
38		* An empty tuple. There is only one accessible instance, the {@code INSTANCE} singleton, which has
39		* arbitrarily-chosen type argument {@code Void} ({@code Option<null>} would make more sense, but is
40		* not expressible). Clients needing a specific kind of {@code Null} can perform an unsafe cast on
41		* the singleton to produce the desired type (this is done in {@link Null#make}).
42		*/
43		public final class Null<T> extends Option<T> {
44
45		/** Forces access through the singleton */
46	9	private Null() {}
47
48		/** A singleton null tuple */
49		public static final Null<Void> INSTANCE = new Null<Void>();
50
51		/** Invokes {@code visitor.forNone()} */
52	1	public <Ret> Ret apply(OptionVisitor<? super T, ? extends Ret> visitor) {
53	1	return visitor.forNone();
54		}
55
56	806	public boolean isSome() { return false; }
57
58	1	public T unwrap() { throw new OptionUnwrapException(); }
59
60	1	public T unwrap(T forNone) { return forNone; }
61
62		/** Produces {@code "()"} */
63	0	public String toString() { return "()"; }
64
65		/** Defined in terms of identity (since the singleton is the only accessible instance) */
66	0	public boolean equals(Object o) { return this == o; }
67
68		/** Defined in terms of identity (since the singleton is the only accessible instance) */
69	0	protected int generateHashCode() { return System.identityHashCode(this); }
70
71		/** Return a singleton, cast to the appropriate type. */
72	0	@SuppressWarnings("unchecked")
73	0	public static <T> Null<T> make() { return (Null<T>) INSTANCE; }
74		}