FullStackToken (lisa-analyses 0.1b9 API)

java.lang.Object
- it.unive.lisa.interprocedural.context.FullStackToken

All Implemented Interfaces:

ContextSensitivityToken, it.unive.lisa.interprocedural.ScopeId
```
public class FullStackToken
extends java.lang.Object
implements ContextSensitivityToken
```
A context sensitive token representing an entire call chain, regardless of its length. This corresponds to having an unlimited KDepthToken, that will thus never merge results for of different calls due to matching contexts.

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(java.lang.Object obj)`
`static FullStackToken`	`getSingleton()`	Return an empty token.
`int`	`hashCode()`
`boolean`	`isStartingId()`
`ContextSensitivityToken`	`push(it.unive.lisa.program.cfg.statement.call.CFGCall c)`
`ContextSensitivityToken`	`startingId()`
`java.lang.String`	`toString()`

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

- Method Detail
  - getSingleton
```
public static FullStackToken getSingleton()
```
    Return an empty token.
    
    Returns:
    
    an empty token
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object
  - 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
  - startingId
```
public ContextSensitivityToken startingId()
```
    Specified by:
    
    startingId in interface ContextSensitivityToken
    
    Specified by:
    
    startingId in interface it.unive.lisa.interprocedural.ScopeId
  - isStartingId
```
public boolean isStartingId()
```
    Specified by:
    
    isStartingId in interface it.unive.lisa.interprocedural.ScopeId
  - push
```
public ContextSensitivityToken push(it.unive.lisa.program.cfg.statement.call.CFGCall c)
```
    Specified by:
    
    push in interface ContextSensitivityToken
    
    Specified by:
    
    push in interface it.unive.lisa.interprocedural.ScopeId