Uses of Interface
wyil.lang.Type.Function

Packages that use Type.Function

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

Uses of Type.Function in wyc.builder

Methods in wyc.builder that return Type.Function

Modifier and Type	Method and Description
Type.Function	FlowTypeChecker.resolveAsType(wyal.lang.WyalFile.Type.Function t, WhileyFile.Context context)

Uses of Type.Function in wyc.lang

Fields in wyc.lang declared as Type.Function

Modifier and Type	Field and Description
Type.Function	Expr.FunctionCall.functionType
Type.Function	Expr.IndirectFunctionCall.functionType
Type.Function	WhileyFile.Function.resolvedType

Methods in wyc.lang that return Type.Function

Modifier and Type	Method and Description
Type.Function	WhileyFile.Function.resolvedType()
Type.Function	Expr.FunctionCall.type()

Uses of Type.Function in wyil.lang

Classes in wyil.lang that implement Type.Function

Modifier and Type	Class and Description
static class	Type.Impl.Function A function type, consisting of a list of zero or more parameters and a return type.