Package com.ibm.wala.demandpa.util
Class PointerParamValueNumIterator
- java.lang.Object
-
- com.ibm.wala.demandpa.util.PointerParamValueNumIterator
-
-
Constructor Summary
Constructors Constructor Description PointerParamValueNumIterator(CGNode node)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
hasNext()
Integer
next()
void
remove()
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface java.util.Iterator
forEachRemaining
-
-
-
-
Constructor Detail
-
PointerParamValueNumIterator
public PointerParamValueNumIterator(CGNode node) throws IllegalArgumentException
- Throws:
IllegalArgumentException
-
-
Method Detail
-
remove
public void remove() throws UnsupportedOperationException
- Specified by:
remove
in interfaceIterator<Integer>
- Throws:
UnsupportedOperationException
-
-