Class ObjectArrayMapping<T>
java.lang.Object
com.ibm.wala.util.collections.ObjectArrayMapping<T>
- All Implemented Interfaces:
OrdinalSetMapping<T>
,Iterable<T>
A bit set mapping based on an immutable object array. This is not terribly efficient, but is
useful for prototyping.
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionint
Add an Object to the set of mapped objects.int
getMappedIndex
(@Nullable Object o) getMappedObject
(int n) int
int
getSize()
boolean
iterator()
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
-
Constructor Details
-
ObjectArrayMapping
-
-
Method Details
-
getMappedObject
- Specified by:
getMappedObject
in interfaceOrdinalSetMapping<T>
- Returns:
- the object numbered n.
- Throws:
NoSuchElementException
-
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.
-
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
-
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.
- Throws:
UnimplementedError
-
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
-