Uses of Class
wyil.util.AbstractBytecode

Packages that use AbstractBytecode

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

Uses of AbstractBytecode in wyil.lang

Subclasses of AbstractBytecode in wyil.lang

Modifier and Type	Class and Description
static class	Bytecode.AliasDeclaration An alias declaration bytecode has the following form:
static class	Bytecode.Assert An assert bytecode has the following layout:
static class	Bytecode.AssertOrAssume An abstract class representing either an assert or assume bytecode.
static class	Bytecode.Assign An assignment bytecode has the following layout:
static class	Bytecode.Assume An assume bytecode has the following layout:
static class	Bytecode.Block
static class	Bytecode.Break A break bytecode has the following layout:
static class	Bytecode.Const A constant bytecode has the following layout:
static class	Bytecode.Continue A continue bytecode has the following layout:
static class	Bytecode.Convert A convert bytecode has the following layout:
static class	Bytecode.Debug A debug bytecode has the following layout:
static class	Bytecode.DoWhile A Do While bytecode has the same format as the underlying loop bytecode.
static class	Bytecode.Fail A panic bytecode has the following layout:
static class	Bytecode.FieldLoad A field load bytecode has the following layout:
static class	Bytecode.If An if bytecode has one of the the following layouts:
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.Loop A loop bytecode has the following layout:
static class	Bytecode.NamedBlock
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.Return A return bytecode has the following layout:
static class	Bytecode.Skip A skip bytecode has the following layout:
static class	Bytecode.Switch A switch bytecode has the following layout:
static class	Bytecode.VariableAccess A variable access bytecode represents a specific read of a given variable.
static class	Bytecode.VariableDeclaration A variable declaration bytecode has one of the following two layouts:
static class	Bytecode.While A While bytecode has the same format as the underlying loop bytecode.