Branching (lisa-analyses 0.1 API)

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

```
public class Branching
extends TraceToken
```
A TraceToken representing the traversal of a if-then-else condition, associated with the branch taken.

Constructor Summary

Constructors
Constructor Description

Branching(it.unive.lisa.program.cfg.ProgramPoint pp, boolean trueBranch)
Builds the branching.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(java.lang.Object obj)`
`int`	`hashCode()`
`boolean`	`isTrueBranch()`	Yields whether the condition is traversed to reach the `true` branch or not.
`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
  - Branching
```
public Branching(it.unive.lisa.program.cfg.ProgramPoint pp,
                 boolean trueBranch)
```
    Builds the branching.
    
    Parameters:
    
    pp - the program point associated with the branching
    
    trueBranch - whether the condition is traversed to reach the true branch or not
- Method Detail
  - isTrueBranch
```
public boolean isTrueBranch()
```
    Yields whether the condition is traversed to reach the true branch or not.
    
    Returns:
    
    true if that condition holds
  - 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