wyal.util

Class Interpreter.Environment

java.lang.Object

wyal.util.Interpreter.Environment

Enclosing class:

Interpreter

public static class Interpreter.Environment
extends Object

Constructor Summary

Constructors

Constructor and Description
Environment(Domain domain)

Method Summary

Modifier and Type	Method and Description
Iterable<Interpreter.Environment>	declare(wybs.util.AbstractCompilationUnit.Tuple<WyalFile.VariableDeclaration> variables)
Object	read(WyalFile.Expr.VariableAccess expr)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Environment

public Environment(Domain domain)

Method Detail

read

public Object read(WyalFile.Expr.VariableAccess expr)

declare

public Iterable<Interpreter.Environment> declare(wybs.util.AbstractCompilationUnit.Tuple<WyalFile.VariableDeclaration> variables)

toString

public String toString()

Overrides:

toString in class Object