ScopeToken (lisa 0.1b1 API)

java.lang.Object
- it.unive.lisa.analysis.ScopeToken

```
public class ScopeToken
extends java.lang.Object
```
A token that can be used for pushing and popping scopes on local variables through SemanticDomain.pushScope(ScopeToken) and SemanticDomain.popScope(ScopeToken). The token is identified by a CodeElement.

Constructor Summary

Constructors
Constructor Description

ScopeToken(CodeElement scoper)
Builds a new scope, referring to the given code element.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(java.lang.Object obj)`
`CodeElement`	`getScoper()`	Yields the element that this scope refers to.
`int`	`hashCode()`
`java.lang.String`	`toString()`

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

- Constructor Detail
  - ScopeToken
```
public ScopeToken(CodeElement scoper)
```
    Builds a new scope, referring to the given code element.
    
    Parameters:
    
    scoper - the code element
- Method Detail
  - getScoper
```
public CodeElement getScoper()
```
    Yields the element that this scope refers to.
    
    Returns:
    
    the code element
  - 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
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object