1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95 | package Torello.Java.Additional;
import Torello.Java.UnreachableError;
/**
* Contains a <B>{@code static}</B> reference to a <B STYLE='color:red'>singleton</B>-instance of
* {@code Ret0}.
*/
public class Ret0
extends RetN
implements java.io.Serializable
{
/** <EMBED CLASS='external-html' DATA-FILE-ID=SVUID> */
protected static final long serialVersionUID = 1;
/** This is the singleton instance of this class. */
public static final Ret0 R0 = new Ret0();
/** Constructs this object */
private Ret0() { }
// Super-class uses this for toString, equals, and hashCode
// There is an optimization, so if this is requested multiple times, it is saved in a
// transient field.
final Object[] asArrayInternal()
{
throw new UnsupportedOperationException
("Instances of Ret0 do not have any internal fields.");
}
/**
* Returns {@code '0'}, indicating how many fields are declared by this class.
* @return As an instance of {@code Ret0}, this method returns {@code '0'};
*/
public int n() { return 0; }
/**
* This method may not be invoked, or it will throw an exception.
* @throws UnsupportedOperationException This class only <I>one <B>singleton</B> instance.</I>
*/
public final Ret0 clone()
{
throw new UnsupportedOperationException
("The singleton instance of Ret0 cannot be cloned.");
}
/**
* Produces the {@code Ret0} singleton-instance {@code 'toString'}
* @return The Java Literal-String {@code "Ret0 Singleton Instance"}
*/
@Override
public final String toString()
{ return "Ret0 Singleton Instance"; }
/**
* There is only one, singleton, instance of {@code Ret0}, so reference-equality is the only
* equality-test.
*
* @return {@code TRUE} if and only if {@code 'other'} is this class' singleton instance of
* {@code Ret0}
*/
@Override
public final boolean equals(Object other)
{ return this == other; }
/**
* Returns the hash-code for the singleton-instance of {@code Ret0}
* @return A nice round-number, 55 to be exact.
*/
@Override
public final int hashCode()
{ return 55; }
/**
* This method is guaranteed to throw an {@code IndexOutOfBoundsExceptin}. There aren't any
* fields that can be retrieved from the {@code Tuple0} Singleton-Instance.
*
* @param i ignored parameter
* @return Does not return anything. Always throws IOOBEX.
* @throws IndexOutOfBoundsException Always throws.
*/
public Object get(int i)
{
// Always throws Out Of Bounds Exception, Cannot get from Tuple0
CHECK_GET(i);
// The above method should always throw IOOOBEX, this line quiets javac
throw new UnreachableError();
}
public Tuple0 toModifiable()
{ return Tuple0.T0; }
}
|