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

Packages that use WyalFile.Expr.Cast

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

Uses of WyalFile.Expr.Cast in wyal.io

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

Modifier and Type	Method and Description
void	WyalFilePrinter.writeCast(WyalFile.Expr.Cast expr)

Uses of WyalFile.Expr.Cast in wyal.lang

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

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

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

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

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