Uses of Class
wyc.lang.WhileyFile.FunctionOrMethodOrProperty

Packages that use WhileyFile.FunctionOrMethodOrProperty

Package	Description
wyc.builder	Provides the classes responsible for actually translating WhileyFiles into WyilFiles.
wyc.io
wyc.lang	Provides core classes for the Abstract Syntax Tree (AST) used to represent Whiley source files.

Uses of WhileyFile.FunctionOrMethodOrProperty in wyc.builder

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

Modifier and Type	Method and Description
void	FlowTypeChecker.propagate(WhileyFile.FunctionOrMethodOrProperty d) Propagate and check types for a given function or method declaration.

Uses of WhileyFile.FunctionOrMethodOrProperty in wyc.io

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

Modifier and Type	Method and Description
void	WhileyFilePrinter.print(WhileyFile.FunctionOrMethodOrProperty fm)

Uses of WhileyFile.FunctionOrMethodOrProperty in wyc.lang

Subclasses of WhileyFile.FunctionOrMethodOrProperty in wyc.lang

Modifier and Type	Class and Description
class	WhileyFile.Function Represents a function declaration in a Whiley source file.
class	WhileyFile.Method Represents a method declaration in a Whiley source file.
class	WhileyFile.Property Represents a function declaration in a Whiley source file.