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

Packages that use WyalFile.Expr.RecordInitialiser

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

Uses of WyalFile.Expr.RecordInitialiser in wyal.io

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

Modifier and Type	Method and Description
void	WyalFilePrinter.writeRecordInitialiser(WyalFile.Expr.RecordInitialiser expr)

Uses of WyalFile.Expr.RecordInitialiser in wyal.lang

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

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

Uses of WyalFile.Expr.RecordInitialiser in wyal.util

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

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

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

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

Modifier and Type	Method and Description
WyalFile.Expr	Simplification.simplifyRecordInitialiser(WyalFile.Expr.RecordInitialiser e)

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

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

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