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	abstractSpecial
static Special	dfault
static java.lang.Object	eof
static Special	key
static Special	optional
static Special	rest
static Special	undefined

Constructor Summary

Special()

Method Summary

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

key

public static final Special key

dfault

public static final Special dfault

abstractSpecial

public static final Special abstractSpecial

eof

public static final 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(Consumer out)

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