wyal.io

Class WyalFileParser.EnclosingScope

java.lang.Object

wyal.io.WyalFileParser.EnclosingScope

Enclosing class:

WyalFileParser

public static final class WyalFileParser.EnclosingScope
extends Object

Captures all useful information about the scope in which a statement or expression is being translated. For example, it determines which WyIL register all visible variables and parameters map to. Furthermore, it determines where break and continue statements will jump to.

Author:

David J. Pearce

Constructor Summary

Constructors

Constructor and Description
EnclosingScope(WyalFile parent)

Method Summary

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.

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

EnclosingScope

public EnclosingScope(WyalFile parent)

Method Detail

isDeclaredVariable

public boolean isDeclaredVariable(String name)

Check whether a given name corresponds to a declared local variable or not.

Parameters:

name -

Returns:

getVariableDeclaration

public WyalFile.VariableDeclaration getVariableDeclaration(String name)

Get the declaration index corresponding to a given local variable

Parameters:

name -

Returns:

declareInScope

public void declareInScope(WyalFile.VariableDeclaration decl)

Declare a new variable in the enclosing scope.

Parameters:

declartion - Index of declaration "Location"

clone

public WyalFileParser.EnclosingScope clone()

Create a new clone scope. This is a subscope where new variables can be declared and, furthermore, it corresponds to a new block in the underlying forest.

Overrides:

clone in class Object

Returns: