TraceToken (lisa-analyses 0.1 API)

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

Direct Known Subclasses:

Branching, LoopIteration, LoopSummary
```
public abstract class TraceToken
extends java.lang.Object
```
A token of an ExecutionTrace, tracking the traversal of a condition represented by a ProgramPoint.

Constructor Summary

Constructors
Modifier Constructor Description

protected TraceToken(it.unive.lisa.program.cfg.ProgramPoint pp)
Builds a token associated with the given program point.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(java.lang.Object obj)`
`it.unive.lisa.program.cfg.ProgramPoint`	`getProgramPoint()`	Yields the program point associated with this token.
`int`	`hashCode()`
`java.lang.String`	`toString()`

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

- Constructor Detail
  - TraceToken
```
protected TraceToken(it.unive.lisa.program.cfg.ProgramPoint pp)
```
    Builds a token associated with the given program point.
    
    Parameters:
    
    pp - the program point
- Method Detail
  - getProgramPoint
```
public it.unive.lisa.program.cfg.ProgramPoint getProgramPoint()
```
    Yields the program point associated with this token.
    
    Returns:
    
    the program point
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class java.lang.Object
  - equals
```
public boolean equals(java.lang.Object obj)
```
    Overrides:
    
    equals in class java.lang.Object
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object