Uses of Package
wyil.util

Packages that use wyil.util

Package	Description
wyc.builder	Provides the classes responsible for actually translating WhileyFiles into WyilFiles.
wyil.lang	Provides core classes for representing WYIL modules and bytecodes.
wyil.util
wyil.util.interpreter

Classes in wyil.util used by wyc.builder

Class and Description
TypeSystem The type system is responsible for managing the relationship between nominal types and their underlying types.

Classes in wyil.util used by wyil.lang

Class and Description
AbstractBytecode

Classes in wyil.util used by wyil.util

Class and Description
TypeSystem.FunctionOrMethodState

Classes in wyil.util used by wyil.util.interpreter

Class and Description
TypeSystem The type system is responsible for managing the relationship between nominal types and their underlying types.