ContextSensitivityToken (lisa-analyses 0.1 API)

All Superinterfaces:

it.unive.lisa.interprocedural.ScopeId

All Known Implementing Classes:

ContextInsensitiveToken, FullStackToken, KDepthToken, LastCallToken
```
public interface ContextSensitivityToken
extends it.unive.lisa.interprocedural.ScopeId
```
A token for interprocedural analysis that tunes the level of context sensitivity. This works as a mask over the call stack, keeping track only of some of the calls appearing in it.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`ContextSensitivityToken`	`push(it.unive.lisa.program.cfg.statement.call.CFGCall c)`
`ContextSensitivityToken`	`startingId()`

Methods inherited from interface it.unive.lisa.interprocedural.ScopeId
isStartingId

- Method Detail
  - startingId
```
ContextSensitivityToken startingId()
```
    Specified by:
    
    startingId in interface it.unive.lisa.interprocedural.ScopeId
  - push
```
ContextSensitivityToken push(it.unive.lisa.program.cfg.statement.call.CFGCall c)
```
    Specified by:
    
    push in interface it.unive.lisa.interprocedural.ScopeId