Uses of Class
wyc.lang.Expr.UnOp

Packages that use Expr.UnOp

Package	Description
wyc.builder	Provides the classes responsible for actually translating WhileyFiles into WyilFiles.
wyc.io

Uses of Expr.UnOp in wyc.builder

Methods in wyc.builder with parameters of type Expr.UnOp

Modifier and Type	Method and Description
wyc.builder.CodeGenerator.FlowResult	CodeGenerator.generateNotCondition(Expr.UnOp condition, wyc.builder.CodeGenerator.EnclosingScope scope)

Uses of Expr.UnOp in wyc.io

Methods in wyc.io with parameters of type Expr.UnOp

Modifier and Type	Method and Description
void	WhileyFilePrinter.print(Expr.UnOp e)