Uses of Class
wyal.lang.WyalFile.Expr.VariableAccess

Packages that use WyalFile.Expr.VariableAccess

Package	Description
wyal.io
wyal.lang
wyal.util
wytp.types.util

Uses of WyalFile.Expr.VariableAccess in wyal.io

Methods in wyal.io with parameters of type WyalFile.Expr.VariableAccess

Modifier and Type	Method and Description
void	WyalFilePrinter.writeVariableAccess(WyalFile.Expr.VariableAccess expr)

Uses of WyalFile.Expr.VariableAccess in wyal.lang

Methods in wyal.lang that return WyalFile.Expr.VariableAccess

Modifier and Type	Method and Description
WyalFile.Expr.VariableAccess	WyalFile.Expr.VariableAccess.clone(wybs.lang.SyntacticItem[] operands)

Uses of WyalFile.Expr.VariableAccess in wyal.util

Methods in wyal.util with parameters of type WyalFile.Expr.VariableAccess

Modifier and Type	Method and Description
protected Object	Interpreter.evaluateVariable(WyalFile.Expr.VariableAccess expr, Interpreter.Environment environment)
Object	Interpreter.Environment.read(WyalFile.Expr.VariableAccess expr)

Uses of WyalFile.Expr.VariableAccess in wytp.types.util

Methods in wytp.types.util with parameters of type WyalFile.Expr.VariableAccess

Modifier and Type	Method and Description
protected WyalFile.Type	StdTypeInfererence.inferVariableAccess(TypeInferer.Environment environment, WyalFile.Expr.VariableAccess expr)