Class PointerParamValueNumIterator
java.lang.Object
com.ibm.wala.demandpa.util.PointerParamValueNumIterator
-
Constructor Details
-
PointerParamValueNumIterator
- Throws:
IllegalArgumentException
-
-
Method Details
-
hasNext
-
next
-
remove
- Specified by:
remove
in interfaceIterator<Integer>
- Throws:
UnsupportedOperationException
-