public class Symbols
extends java.lang.Object

• Method Summary

  All Methods

  Modifier and Type	Method and Description
  static SimpleSymbol	gentemp () Generate a new (interned) symbol with a unique name.
  static java.lang.String	intern (java.lang.String name)
  static java.lang.String	make (java.lang.String name) Create or find a Symbol with a given name.

  • Methods inherited from class java.lang.Object

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

• Method Detail

  • gentemp

    public static final SimpleSymbol gentemp()

    Generate a new (interned) symbol with a unique name.

    Returns:

    the new symbol

  • make

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

    Create or find a Symbol with a given name.

    Parameters:

    name - the print-name of the desired Symbol

    Returns:

    a Symbol with the given name, newly created iff none such exist

  • intern

    public static final java.lang.String intern(java.lang.String name)