ContextInsensitiveToken (lisa-analyses 0.1b9 API)

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

All Implemented Interfaces:

ContextSensitivityToken, it.unive.lisa.interprocedural.ScopeId
```
public class ContextInsensitiveToken
extends java.lang.Object
implements ContextSensitivityToken
```
A context sensitive token that is always the same (aka, do not track any information about the call stack). All results for a given cfg will be lubbed together regardless of the call site. This corresponds to having a KDepthToken with k = 0.

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(java.lang.Object obj)`
`static ContextInsensitiveToken`	`getSingleton()`	Return an instance of the class.
`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
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object
  - getSingleton
```
public static ContextInsensitiveToken getSingleton()
```
    Return an instance of the class.
    
    Returns:
    
    an instance of the class
  - 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