Uses of Class
wyc.lang.Expr.BinOp

Packages that use Expr.BinOp

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

Uses of Expr.BinOp in wyc.builder

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

Modifier and Type	Method and Description
wyc.builder.CodeGenerator.FlowResult	CodeGenerator.generateAndCondition(Expr.BinOp condition, wyc.builder.CodeGenerator.EnclosingScope scope) Translate a source-level conjunction into a sequence of WyIL bytecodes.
wyc.builder.CodeGenerator.FlowResult	CodeGenerator.generateIsCondition(Expr.BinOp condition, wyc.builder.CodeGenerator.EnclosingScope scope) Translate a source-level type test.
wyc.builder.CodeGenerator.FlowResult	CodeGenerator.generateOrCondition(Expr.BinOp condition, wyc.builder.CodeGenerator.EnclosingScope scope) Translate a source-level disjunction into a sequence of WyIL bytecodes.

Uses of Expr.BinOp in wyc.io

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

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