Uses of Class
wyc.lang.WhileyFile.Constant

Packages that use WhileyFile.Constant

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

Uses of WhileyFile.Constant in wyc.builder

Methods in wyc.builder with parameters of type WhileyFile.Constant

Modifier and Type	Method and Description
void	FlowTypeChecker.propagate(WhileyFile.Constant cd) Propagate and check types for a given constant declaration.

Uses of WhileyFile.Constant in wyc.io

Methods in wyc.io with parameters of type WhileyFile.Constant

Modifier and Type	Method and Description
void	WhileyFilePrinter.print(WhileyFile.Constant decl)