public class Symbols
extends java.lang.Object
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.
|
public static final SimpleSymbol gentemp()
public static java.lang.String make(java.lang.String name)
name
- the print-name of the desired Symbolpublic static final java.lang.String intern(java.lang.String name)