com.ibm.wala.demandpa.util

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

Constructor Summary

Constructors

Constructor and Description
PointerParamValueNumIterator(CGNode node)

Method Summary

Methods

Modifier and Type	Method and 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

Constructor Detail

PointerParamValueNumIterator

public PointerParamValueNumIterator(CGNode node)
                             throws IllegalArgumentException

Throws:

IllegalArgumentException

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface Iterator<Integer>

next

public Integer next()

Specified by:

next in interface Iterator<Integer>

remove

public void remove()
            throws UnsupportedOperationException

Specified by:

remove in interface Iterator<Integer>

Throws:

UnsupportedOperationException