next name in the same hash bucket
Return the subname with characters from start to end-1.
return the i'th Char of this name
return the i'th Char of this name
Copy bytes of this name to buffer cs, starting at position offset
.
Write to UTF8 representation of this name to given character array.
Write to UTF8 representation of this name to given character array.
Start copying to index to'. Return index of next free byte in array.
Array must have enough remaining space for all bytes
(i.e. maximally 3*length bytes).
Replace $op_name by corresponding operator symbol.
Replace operator symbols by corresponding $op_name.
does this name end with suffix just before given end index?
does this name end with suffix?
return the hash value of this name
return the hash value of this name
return the index of the last occurrence of string s in this name from start, -1 if not found.
return the index of the last occurrence of string s in this name from start, -1 if not found.
the string
...
the index of the last occurrence of s
return the index of the last occurrence of char c in this name from start, -1 if not found.
return the index of the last occurrence of char c in this name from start, -1 if not found.
the character
...
the index of the last occurrence of c
return the index of last occurrence of char c in this name, -1 if not found.
return the index of last occurrence of char c in this name, -1 if not found.
the character
the index of the last occurrence of c
return the length of this name
return the index of the first occurrence of nonempty string s in this name from start, length if not found.
return the index of the first occurrence of nonempty string s in this name from start, length if not found.
the string
...
the index of the first occurrence of s
return the index of the first occurrence of character c in this name from start, length if not found.
return the index of the first occurrence of character c in this name from start, length if not found.
the character
...
the index of the first occurrence of c
return the index of first occurrence of char c in this name, length if not found
return the index of first occurrence of char c in this name, length if not found
Replace all occurrences of from
by to
in
name; result is always a term name.
Index into name table
Some thoroughly self-explanatory convenience functions.
Some thoroughly self-explanatory convenience functions. They assume that what they're being asked to do is known to be valid.
does this name start with prefix at given start index?
does this name start with prefix?
return the ascii representation of this name
return the string representation of this name
return the string representation of this name
The name class.