public static final class WyalFileParser.EnclosingScope extends Object
| Constructor and Description |
|---|
EnclosingScope(WyalFile parent) |
| Modifier and Type | Method and Description |
|---|---|
WyalFileParser.EnclosingScope |
clone()
Create a new clone scope.
|
void |
declareInScope(WyalFile.VariableDeclaration decl)
Declare a new variable in the enclosing scope.
|
WyalFile.VariableDeclaration |
getVariableDeclaration(String name)
Get the declaration index corresponding to a given local variable
|
boolean |
isDeclaredVariable(String name)
Check whether a given name corresponds to a declared local variable
or not.
|
public EnclosingScope(WyalFile parent)
public boolean isDeclaredVariable(String name)
name - public WyalFile.VariableDeclaration getVariableDeclaration(String name)
name - public void declareInScope(WyalFile.VariableDeclaration decl)
declartion - Index of declaration "Location"public WyalFileParser.EnclosingScope clone()
Copyright © 2017. All rights reserved.