com.ibm.wala.demandpa.util
Class PointerParamValueNumIterator

java.lang.Object
  com.ibm.wala.demandpa.util.PointerParamValueNumIterator

All Implemented Interfaces:

java.util.Iterator<java.lang.Integer>

public class PointerParamValueNumIterator
extends java.lang.Object
implements java.util.Iterator<java.lang.Integer>

Iterates over the value numbers of the pointer parameters of a method.

Constructor Summary

PointerParamValueNumIterator(CGNode node)

Method Summary

boolean	hasNext()
java.lang.Integer	next()
void	remove()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PointerParamValueNumIterator

public PointerParamValueNumIterator(CGNode node)
                             throws java.lang.IllegalArgumentException

Throws:

java.lang.IllegalArgumentException

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator<java.lang.Integer>

next

public java.lang.Integer next()

Specified by:

next in interface java.util.Iterator<java.lang.Integer>

remove

public void remove()
            throws java.lang.UnsupportedOperationException

Specified by:

remove in interface java.util.Iterator<java.lang.Integer>

Throws:

java.lang.UnsupportedOperationException