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

Packages that use WyalFile.Expr.RecordAccess

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

Uses of WyalFile.Expr.RecordAccess in wyal.io

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

Modifier and Type	Method and Description
void	WyalFilePrinter.writeRecordAccess(WyalFile.Expr.RecordAccess expr)

Uses of WyalFile.Expr.RecordAccess in wyal.lang

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

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

Uses of WyalFile.Expr.RecordAccess in wyal.util

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

Modifier and Type	Method and Description
protected Object	Interpreter.evaluateRecordAccess(WyalFile.Expr.RecordAccess expr, Interpreter.Environment environment)

Uses of WyalFile.Expr.RecordAccess in wytp.proof.rules

Methods in wytp.proof.rules with parameters of type WyalFile.Expr.RecordAccess

Modifier and Type	Method and Description
WyalFile.Expr	Simplification.simplifyRecordAccess(WyalFile.Expr.RecordAccess e)

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

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

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