Class PointerParamValueNumIterator

java.lang.Object
com.ibm.wala.demandpa.util.PointerParamValueNumIterator
All Implemented Interfaces:
Iterator<Integer>

public class PointerParamValueNumIterator extends Object implements Iterator<Integer>
Iterates over the value numbers of the pointer parameters of a method.
Author:
Manu Sridharan