Uses of Interface
wyil.lang.Type.Method

Packages that use Type.Method

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.Method in wyc.builder

Methods in wyc.builder that return Type.Method

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

Uses of Type.Method in wyc.lang

Fields in wyc.lang declared as Type.Method

Modifier and Type	Field and Description
Type.Method	Expr.MethodCall.methodType
Type.Method	Expr.IndirectMethodCall.methodType
Type.Method	WhileyFile.Method.resolvedType

Methods in wyc.lang that return Type.Method

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

Uses of Type.Method in wyil.lang

Classes in wyil.lang that implement Type.Method

Modifier and Type	Class and Description
static class	Type.Impl.Method