A type for names of the same kind as this name
A more efficient version of concatenation
A more efficient version of concatenation
This name downcasted to a term name
This name downcasted to a type name
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's by corresponding operator symbols.
Replace $op_name's by corresponding operator symbols.
Replace operator symbols by corresponding $op_name's.
Replace operator symbols by corresponding $op_name's.
A fallback text representation, if the pattern matching in Printers does not have a case for this showable element
A fallback text representation, if the pattern matching in Printers does not have a case for this showable element
Create a new name of same kind as this one, in the given
basis, with len
characters taken from cs
starting at offset
.
Create new name of same kind as this name and with same
characters as given name
.
Create new name of same kind as this name and with same
characters as given name
.
Create new name of same kind as this name with characters from the given string
Create new name of same kind as this name with characters from the given string
Is this name a term name?
Is this name a type name?
The length of the names
(Changed in version 2.9.0) The behavior of scanRight
has changed. The previous behavior can be reproduced with scanRight.reverse.
The string representation of this showable element.
The string representation of this showable element.
The summarized string representation of this showable element.
The summarized string representation of this showable element. Recursion depth is limited to some smallish value. Default is Config.summarizeDepth.
The start index in the character array
This name converted to a term name
The text representation of this showable element.
This name converted to a type name
(Changed in version 2.9.0) transpose
throws an IllegalArgumentException
if collections are not uniformly sized.
Throws an UnsupportedOperationException
with the given method name.
Throws an UnsupportedOperationException
with the given method name.