Uses of Class
wyil.lang.Bytecode.AssertOrAssume

Packages that use Bytecode.AssertOrAssume

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

Uses of Bytecode.AssertOrAssume in wyil.lang

Subclasses of Bytecode.AssertOrAssume in wyil.lang

Modifier and Type	Class and Description
static class	Bytecode.Assert An assert bytecode has the following layout:
static class	Bytecode.Assume An assume bytecode has the following layout: