LoopIteration (lisa-analyses 0.1 API)

java.lang.Object
- it.unive.lisa.analysis.traces.TraceToken
- - it.unive.lisa.analysis.traces.LoopIteration

```
public class LoopIteration
extends TraceToken
```
A TraceToken representing the traversal of a loop condition at the beginning of a specific iteration.

Constructor Summary

Constructors
Constructor Description

LoopIteration(it.unive.lisa.program.cfg.ProgramPoint pp, int iteration)
Builds the iteration.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(java.lang.Object obj)`
`int`	`getIteration()`	Yields the iteration number.
`int`	`hashCode()`
`java.lang.String`	`toString()`

Methods inherited from class it.unive.lisa.analysis.traces.TraceToken
getProgramPoint

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - LoopIteration
```
public LoopIteration(it.unive.lisa.program.cfg.ProgramPoint pp,
                     int iteration)
```
    Builds the iteration.
    
    Parameters:
    
    pp - the program point associated with the iteration
    
    iteration - the iteration number
- Method Detail
  - getIteration
```
public int getIteration()
```
    Yields the iteration number.
    
    Returns:
    
    the number
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class TraceToken
  - equals
```
public boolean equals(java.lang.Object obj)
```
    Overrides:
    
    equals in class TraceToken
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class TraceToken