KDepthToken (lisa-analyses 0.1 API)

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

All Implemented Interfaces:

ContextSensitivityToken, it.unive.lisa.interprocedural.ScopeId
```
public class KDepthToken
extends java.lang.Object
implements ContextSensitivityToken
```
A context sensitive token representing an entire call chain up to a fixed length k, specified in the singleton creation (getSingleton(int)).

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(java.lang.Object obj)`
`static KDepthToken`	`getSingleton(int k)`	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 KDepthToken getSingleton(int k)
```
    Return an empty token.
    
    Parameters:
    
    k - the maximum depth
    
    Returns:
    
    an empty token
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object
  - equals
```
public boolean equals(java.lang.Object obj)
```
    Overrides:
    
    equals in class java.lang.Object
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode 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