Uses of Class
wyal.util.Interpreter.Environment

Packages that use Interpreter.Environment

Package	Description
wyal.util

Uses of Interpreter.Environment in wyal.util

Methods in wyal.util that return Interpreter.Environment

Modifier and Type	Method and Description
Interpreter.Environment	Interpreter.Result.getEnvironment()

Methods in wyal.util that return types with arguments of type Interpreter.Environment

Modifier and Type	Method and Description
Iterable<Interpreter.Environment>	Interpreter.Environment.declare(wybs.util.AbstractCompilationUnit.Tuple<WyalFile.VariableDeclaration> variables)

Methods in wyal.util with parameters of type Interpreter.Environment

Modifier and Type	Method and Description
protected void	Interpreter.checkTypeInvariants(wybs.util.AbstractCompilationUnit.Tuple<WyalFile.VariableDeclaration> vars, Interpreter.Environment environment)
protected Object	Interpreter.evaluateAddition(WyalFile.Expr.Addition expr, Interpreter.Environment environment)
protected Object	Interpreter.evaluateArrayAccess(WyalFile.Expr.ArrayAccess expr, Interpreter.Environment environment)
protected Object	Interpreter.evaluateArrayGenerator(WyalFile.Expr.ArrayGenerator expr, Interpreter.Environment environment)
protected Object	Interpreter.evaluateArrayInitialiser(WyalFile.Expr.ArrayInitialiser expr, Interpreter.Environment environment)
protected Object	Interpreter.evaluateArrayLength(WyalFile.Expr.ArrayLength expr, Interpreter.Environment environment)
protected Object	Interpreter.evaluateArrayUpdate(WyalFile.Expr.ArrayUpdate expr, Interpreter.Environment environment)
protected Interpreter.Result	Interpreter.evaluateBlock(WyalFile.Stmt.Block block, Interpreter.Environment environment)
protected Interpreter.Result	Interpreter.evaluateCaseOf(WyalFile.Stmt.CaseOf stmt, Interpreter.Environment environment)
protected Object	Interpreter.evaluateConstant(WyalFile.Expr.Constant expr, Interpreter.Environment environment)
protected Object	Interpreter.evaluateDivision(WyalFile.Expr.Division expr, Interpreter.Environment environment)
protected boolean	Interpreter.evaluateEqual(WyalFile.Expr.Equal expr, Interpreter.Environment environment)
protected boolean	Interpreter.evaluateExistentialQuantifier(WyalFile.Expr.ExistentialQuantifier stmt, Interpreter.Environment environment)
protected Interpreter.Result	Interpreter.evaluateExists(WyalFile.Stmt.ExistentialQuantifier stmt, Interpreter.Environment environment)
protected Object	Interpreter.evaluateExpression(WyalFile.Expr expr, Interpreter.Environment environment)
protected Interpreter.Result	Interpreter.evaluateForAll(WyalFile.Stmt.UniversalQuantifier stmt, Interpreter.Environment environment)
protected boolean	Interpreter.evaluateGreaterThan(WyalFile.Expr.GreaterThan expr, Interpreter.Environment environment)
protected boolean	Interpreter.evaluateGreaterThanOrEqual(WyalFile.Expr.GreaterThanOrEqual expr, Interpreter.Environment environment)
protected Interpreter.Result	Interpreter.evaluateIfThen(WyalFile.Stmt.IfThen stmt, Interpreter.Environment environment)
protected Object	Interpreter.evaluateInvoke(WyalFile.Expr.Invoke expr, Interpreter.Environment environment)
protected Object	Interpreter.evaluateIs(WyalFile.Expr.Is expr, Interpreter.Environment environment)
protected boolean	Interpreter.evaluateLessThan(WyalFile.Expr.LessThan expr, Interpreter.Environment environment)
protected boolean	Interpreter.evaluateLessThanOrEqual(WyalFile.Expr.LessThanOrEqual expr, Interpreter.Environment environment)
protected boolean	Interpreter.evaluateLogicalAnd(WyalFile.Expr.LogicalAnd conjunct, Interpreter.Environment environment)
protected boolean	Interpreter.evaluateLogicalIff(WyalFile.Expr.LogicalIff expr, Interpreter.Environment environment)
protected boolean	Interpreter.evaluateLogicalImplication(WyalFile.Expr.LogicalImplication expr, Interpreter.Environment environment)
protected boolean	Interpreter.evaluateLogicalNot(WyalFile.Expr.LogicalNot expr, Interpreter.Environment environment)
protected boolean	Interpreter.evaluateLogicalOr(WyalFile.Expr.LogicalOr disjunct, Interpreter.Environment environment)
protected Object	Interpreter.evaluateMultiplication(WyalFile.Expr.Multiplication expr, Interpreter.Environment environment)
protected Object	Interpreter.evaluateNegation(WyalFile.Expr.Negation expr, Interpreter.Environment environment)
protected boolean	Interpreter.evaluateNotEqual(WyalFile.Expr.NotEqual expr, Interpreter.Environment environment)
protected Object	Interpreter.evaluateRecordAccess(WyalFile.Expr.RecordAccess expr, Interpreter.Environment environment)
protected Object	Interpreter.evaluateRecordInitialiser(WyalFile.Expr.RecordInitialiser expr, Interpreter.Environment environment)
protected Object	Interpreter.evaluateRecordUpdate(WyalFile.Expr.RecordUpdate expr, Interpreter.Environment environment)
protected Interpreter.Result	Interpreter.evaluateStatement(WyalFile.Stmt stmt, Interpreter.Environment environment)
protected Object	Interpreter.evaluateSubtraction(WyalFile.Expr.Subtraction expr, Interpreter.Environment environment)
protected boolean	Interpreter.evaluateUniversalQuantifier(WyalFile.Expr.UniversalQuantifier stmt, Interpreter.Environment environment)
protected Object	Interpreter.evaluateVariable(WyalFile.Expr.VariableAccess expr, Interpreter.Environment environment)

Constructors in wyal.util with parameters of type Interpreter.Environment

Constructor and Description
Result(Interpreter.Environment environment, boolean value)