Class OffsetOrdinalSetMapping<T>
java.lang.Object
com.ibm.wala.util.intset.OffsetOrdinalSetMapping<T>
- All Implemented Interfaces:
OrdinalSetMapping<T>
,Iterable<T>
An ordinal set mapping, backed a delegate, but adding an offset to each index.
-
Method Summary
Modifier and TypeMethodDescriptionint
Add an Object to the set of mapped objects.int
getMappedObject
(int n) int
int
getSize()
boolean
hasMappedIndex
(T o) iterator()
static <T> OffsetOrdinalSetMapping
<T> make
(int offset) static <T> OffsetOrdinalSetMapping
<T> make
(OrdinalSetMapping<T> delegate, int offset) stream()
Stream over mapped objects.Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
Method Details
-
getMaximumIndex
public int getMaximumIndex()- Specified by:
getMaximumIndex
in interfaceOrdinalSetMapping<T>
- Returns:
- the maximum integer mapped to an object
-
getSize
public int getSize()- Specified by:
getSize
in interfaceOrdinalSetMapping<T>
- Returns:
- the current size of the bijection
-
make
-
make
-
add
Description copied from interface:OrdinalSetMapping
Add an Object to the set of mapped objects.- Specified by:
add
in interfaceOrdinalSetMapping<T>
- Returns:
- the integer to which the object is mapped.
-
getMappedIndex
- Specified by:
getMappedIndex
in interfaceOrdinalSetMapping<T>
- Returns:
- the number of a given object, or -1 if the object is not currently in the range.
-
getMappedObject
- Specified by:
getMappedObject
in interfaceOrdinalSetMapping<T>
- Returns:
- the object numbered n.
- Throws:
NoSuchElementException
-
hasMappedIndex
- Specified by:
hasMappedIndex
in interfaceOrdinalSetMapping<T>
- Returns:
- whether the given object is mapped by this mapping
-
iterator
-
stream
Description copied from interface:OrdinalSetMapping
Stream over mapped objects.- Specified by:
stream
in interfaceOrdinalSetMapping<T>
- Returns:
- a stream over the mapped objects
-