public final class TypedSymbol<K>
extends java.lang.Object
implements java.io.Serializable
Symbol
,
Serialized FormCompatibility: Public
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getName()
Get the name for a symbol.
|
Symbol |
getRawSymbol()
Get the symbol.
|
java.lang.Class<K> |
getType()
Get the type for a typed symbol.
|
static <T> TypedSymbol<T> |
of(java.lang.Class<T> type,
java.lang.String name)
Get a unique symbol for name and type.
|
static <T> TypedSymbol<T> |
of(java.lang.Class<T> type,
Symbol sym) |
java.lang.String |
toString() |
SymbolValue<K> |
withValue(K val)
Create a value paired with this symbol.
|
public static <T> TypedSymbol<T> of(java.lang.Class<T> type, java.lang.String name)
type
- The type for the type-symbol pair.name
- The name for the type-symbol pair.public static <T> TypedSymbol<T> of(java.lang.Class<T> type, Symbol sym)
public java.lang.String getName()
public java.lang.Class<K> getType()
public Symbol getRawSymbol()
public SymbolValue<K> withValue(K val)
val
- The value.public java.lang.String toString()
toString
in class java.lang.Object