gnu.expr
Class Special

java.lang.Object
  gnu.expr.Special

All Implemented Interfaces:

Printable, java.io.Externalizable, java.io.Serializable

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

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

See Also:

Serialized Form

Field Summary

static Special	dfault
static java.lang.Object	eof
static Special	key
static Special	optional
static Special	rest

Constructor Summary

Special()

Method Summary

int	hashCode()
static Special	make(java.lang.String name)
void	print(java.io.PrintWriter ps)
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

optional

public static Special optional

rest

public static Special rest

key

public static Special key

dfault

public static Special dfault

eof

public static java.lang.Object eof

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(java.io.PrintWriter ps)

Specified by:

print in interface 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