gnu.expr

Class Special

java.lang.Object

gnu.expr.Special

All Implemented Interfaces:

gnu.kawa.format.Printable, java.io.Externalizable, java.io.Serializable

public class Special
extends java.lang.Object
implements gnu.kawa.format.Printable, java.io.Externalizable

A class of special one-of-a-kind builtin values.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static Special	abstractSpecial
static Special	dfault
static java.lang.Object	eof
static Special	ifk
static Special	key
static Special	nativeSpecial
static Special	optional
static java.lang.RuntimeException	reachedUnexpected
static Special	rest
static Special	undefined

Constructor Summary

Constructors

Constructor and Description
Special()

Method Summary

Modifier and Type	Method and Description
int	hashCode()
static Special	make(java.lang.String name)
void	print(Consumer out)
void	readExternal(java.io.ObjectInput in)
java.lang.Object	readResolve()
java.lang.String	toString()
void	writeExternal(java.io.ObjectOutput out)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

undefined

public static final Special undefined

optional

public static final Special optional

rest

public static final Special rest

ifk

public static final Special ifk

key

public static final Special key

dfault

public static final Special dfault

abstractSpecial

public static final Special abstractSpecial

nativeSpecial

public static final Special nativeSpecial

eof

public static final java.lang.Object eof

reachedUnexpected

public static final java.lang.RuntimeException reachedUnexpected

Constructor Detail

Special

public Special()

Method Detail

make

public static Special make(java.lang.String name)

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public final java.lang.String toString()

Overrides:

toString in class java.lang.Object

print

public void print(Consumer out)

Specified by:

print in interface gnu.kawa.format.Printable

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Specified by:

writeExternal in interface java.io.Externalizable

Throws:

java.io.IOException

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Specified by:

readExternal in interface java.io.Externalizable

Throws:

java.io.IOException

java.lang.ClassNotFoundException

readResolve

public java.lang.Object readResolve()
                             throws java.io.ObjectStreamException

Throws:

java.io.ObjectStreamException