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
Constructors -
Method Summary
Modifier and TypeMethodDescriptionintAdd an Object to the set of mapped objects.intgetMappedIndex(@Nullable Object o) getMappedObject(int n) intintgetSize()booleaniterator()stream()Stream over mapped objects.Methods inherited from class Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitMethods inherited from interface Iterable
forEach, spliterator
-
Constructor Details
-
ObjectArrayMapping
-
-
Method Details
-
getMappedObject
- Specified by:
getMappedObjectin interfaceOrdinalSetMapping<T>- Returns:
- the object numbered n.
- Throws:
NoSuchElementException
-
getMappedIndex
- Specified by:
getMappedIndexin interfaceOrdinalSetMapping<T>- Returns:
- the number of a given object, or -1 if the object is not currently in the range.
-
hasMappedIndex
- Specified by:
hasMappedIndexin interfaceOrdinalSetMapping<T>- Returns:
- whether the given object is mapped by this mapping
-
iterator
-
stream
Description copied from interface:OrdinalSetMappingStream over mapped objects.- Specified by:
streamin interfaceOrdinalSetMapping<T>- Returns:
- a stream over the mapped objects
-
add
Description copied from interface:OrdinalSetMappingAdd an Object to the set of mapped objects.- Specified by:
addin interfaceOrdinalSetMapping<T>- Returns:
- the integer to which the object is mapped.
- Throws:
UnimplementedError
-
getMaximumIndex
public int getMaximumIndex()- Specified by:
getMaximumIndexin interfaceOrdinalSetMapping<T>- Returns:
- the maximum integer mapped to an object
-
getSize
public int getSize()- Specified by:
getSizein interfaceOrdinalSetMapping<T>- Returns:
- the current size of the bijection
-