gnu.expr
public class Symbols extends Object
Method Summary | |
---|---|
static String | gentemp()
Generate a new (interned) symbol with a unique name. |
static String | intern(String name) |
static String | make(String name)
Create or find a Symbol with a given name. |
static void | print(String name, Consumer out) |
Returns: the new symbol
Parameters: name the print-name of the desired Symbol
Returns: a Symbol with the given name, newly created iff none such exist