ContextSensitivityToken (lisa-core 0.1b7 API)

All Known Implementing Classes:

ContextInsensitiveToken, RecursionFreeToken, SingleScopeToken
```
public interface ContextSensitivityToken
```
A token for interprocedural analysis that tunes the level of context sensitivity.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`ContextSensitivityToken`	`empty()`	A token without any context sensitivity.
`ContextSensitivityToken`	`popToken()`	Creates a context sensitive token popping the scope on top of the stack.
`ContextSensitivityToken`	`pushToken(it.unive.lisa.analysis.ScopeToken c)`	Creates a context sensitive token with the given scope on the top of the stack.

- Method Detail
  - empty
```
ContextSensitivityToken empty()
```
    A token without any context sensitivity.
    
    Returns:
    
    an empty context sensitive token
  - pushToken
```
ContextSensitivityToken pushToken(it.unive.lisa.analysis.ScopeToken c)
```
    Creates a context sensitive token with the given scope on the top of the stack.
    
    Parameters:
    
    c - the ScopeToken to be pushed at the top of the context sensitive
    
    Returns:
    
    a token with the given scope on the top of the call stack
  - popToken
```
ContextSensitivityToken popToken()
```
    Creates a context sensitive token popping the scope on top of the stack.
    
    Returns:
    
    a token without the this token's top scope