public interface LongSizedDataStructure
Modifier and Type | Method and Description |
---|---|
default int |
intSize()
Returns
LongSizedDataStructure.size() cast to an int, if this can be done without losing precision. |
default int |
intSize(String operation)
Returns
LongSizedDataStructure.size() cast to an int, if this can be done without losing precision. |
static int |
intSize(String operation,
long size)
Returns the size argument cast to an int, if this can be done without losing precision.
|
long |
size()
The size of this data structure.
|
long size()
default int intSize()
Returns LongSizedDataStructure.size()
cast to an int, if this can be done without losing precision. Otherwise,
throws SizeException
.
LongSizedDataStructure.size()
, cast to an intSizeException
- If LongSizedDataStructure.size()
cannot be cast without precision lossdefault int intSize(@NotNull String operation)
Returns LongSizedDataStructure.size()
cast to an int, if this can be done without losing precision. Otherwise,
throws SizeException
.
operation
- A description of the operation that requires an int sizeLongSizedDataStructure.size()
, cast to an intSizeException
- If LongSizedDataStructure.size()
cannot be cast without precision lossstatic int intSize(@NotNull String operation, long size)
SizeException
.operation
- A description of the operation that requires an int sizesize
- The sizeSizeException
- If size cannot be cast without precision loss