All Implemented Interfaces:

EnvironmentKey, java.io.Externalizable, java.io.Serializable, java.lang.Comparable

public class SimpleSymbol
extends Symbol 

See Also:

Serialized Form

• Field Summary

  • Fields inherited from class gnu.mapping.Symbol

    FUNCTION, name, PLIST

• Constructor Summary

  Constructors

  Constructor and Description
  SimpleSymbol ()
  SimpleSymbol (java.lang.String key)

• Method Summary

  All Methods

  Modifier and Type	Method and Description
  void	readExternal (java.io.ObjectInput in)
  java.lang.Object	readResolve ()
  void	writeExternal (java.io.ObjectOutput out)

  • Methods inherited from class gnu.mapping.Symbol

    compareTo, equals, equals, getKeyProperty, getKeySymbol, getLocalName, getLocalPart, getName, getNamespace, getNamespaceURI, getPrefix, hasEmptyNamespace, hashCode, hasUnknownNamespace, make, make, makeUninterned, makeUninterned, makeWithUnknownNamespace, matches, matches, parse, setNamespace, toString, toString, valueOf, valueOf, valueOf

  • Methods inherited from class java.lang.Object

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

• Constructor Detail

  • SimpleSymbol

    public SimpleSymbol()

  • SimpleSymbol

    public SimpleSymbol(java.lang.String key)

• Method Detail

  • writeExternal

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

    Specified by:

    writeExternal in interface java.io.Externalizable

    Overrides:

    writeExternal in class Symbol

    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

    Overrides:

    readExternal in class Symbol

    Throws:

    java.io.IOException

    java.lang.ClassNotFoundException

  • readResolve

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

    Overrides:

    readResolve in class Symbol

    Throws:

    java.io.ObjectStreamException