Replaces all occurrences of $op_names in this name by corresponding operator symbols.
Replaces all occurrences of $op_names in this name by corresponding operator symbols.
Example: foo_$plus$eq
becomes foo_+=
The decoded name, still represented as a name.
Replaces all occurrences of operator symbols in this name by corresponding $op_names.
Replaces all occurrences of operator symbols in this name by corresponding $op_names.
Example: foo_+=
becomes foo_$plus$eq
.
The encoded name, still represented as a name.
Checks wether the name is a term name
Checks wether the name is a type name
Returns a term name that wraps the same string as this
Returns a type name that wraps the same string as this
Returns string formatted according to given format
string.
Returns string formatted according to given format
string.
Format strings are as for String.format
(@see java.lang.String.format).
The API of Name instances.