PointerParamValueNumIterator (API Reference for wala 1.3.9)

Skip navigation links

All Classes

Summary:
Nested |
Field |
Constr |
Method

Detail:
Field |
Constr |
Method

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.

- Constructor Summary
  
  Constructors
  Constructor and Description
  
  PointerParamValueNumIterator(CGNode node)
- Method Summary
  
  All Methods Instance Methods Concrete 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
  - Methods inherited from interface java.util.Iterator
    forEachRemaining

- 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

Skip navigation links

All Classes

Summary:
Nested |
Field |
Constr |
Method

Detail:
Field |
Constr |
Method