Uses of Interface
wyil.lang.Bytecode.Expr

Packages that use Bytecode.Expr

Package	Description
wyil.lang	Provides core classes for representing WYIL modules and bytecodes.
wyil.util.interpreter

Uses of Bytecode.Expr in wyil.lang

Subinterfaces of Bytecode.Expr in wyil.lang

Modifier and Type	Interface and Description
static interface	Bytecode.StmtExpr A "statement expression" is a rather unusual beast.

Classes in wyil.lang that implement Bytecode.Expr

Modifier and Type	Class and Description
static class	Bytecode.Const A constant bytecode has the following layout:
static class	Bytecode.Convert A convert bytecode has the following layout:
static class	Bytecode.FieldLoad A field load bytecode has the following layout:
static class	Bytecode.IndirectInvoke An indirect invocation bytecode has the following layout:
static class	Bytecode.Invoke An indirect invocation bytecode has the following layout:
static class	Bytecode.Lambda A lambda bytecode has the following layout:
static class	Bytecode.Operator An operator bytecode has the following layout:
static class	Bytecode.Quantifier A quantifier bytecode has the following layout:
static class	Bytecode.VariableAccess A variable access bytecode represents a specific read of a given variable.

Methods in wyil.lang that return types with arguments of type Bytecode.Expr

Modifier and Type	Method and Description
List<SyntaxTree.Location<Bytecode.Expr>>	WyilFile.Type.getInvariant() Get the list of expressions that make up the invariant of this type.
List<SyntaxTree.Location<Bytecode.Expr>>	WyilFile.FunctionOrMethod.getPostcondition() Get the list of expressions that make up the postcondition of this function/method.
List<SyntaxTree.Location<Bytecode.Expr>>	WyilFile.FunctionOrMethodOrProperty.getPrecondition() Get the list of expressions that make up the precondition of this function/method.

Uses of Bytecode.Expr in wyil.util.interpreter

Method parameters in wyil.util.interpreter with type arguments of type Bytecode.Expr

Modifier and Type	Method and Description
void	Interpreter.checkInvariants(Constant[] frame, List<SyntaxTree.Location<Bytecode.Expr>> invariants) Evaluate zero or more conditional expressions, and check whether any is false.