Uses of Interface
wyil.lang.Type.Reference

Packages that use Type.Reference

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.util

Uses of Type.Reference in wyc.builder

Methods in wyc.builder that return Type.Reference

Modifier and Type	Method and Description
Type.Reference	FlowTypeChecker.expandAsEffectiveReference(Expr src, WhileyFile.Context context)
Type.Reference	FlowTypeChecker.expandAsEffectiveReference(Type type, wybs.lang.SyntacticElement element, WhileyFile.Context context)

Uses of Type.Reference in wyc.lang

Fields in wyc.lang declared as Type.Reference

Modifier and Type	Field and Description
Type.Reference	Expr.Dereference.srcType
Type.Reference	Expr.New.type

Methods in wyc.lang that return Type.Reference

Modifier and Type	Method and Description
Type.Reference	Expr.New.result()

Uses of Type.Reference in wyil.util

Methods in wyil.util that return Type.Reference

Modifier and Type	Method and Description
Type.Reference	TypeSystem.expandAsReference(Type type) Assuming given type is an effective reference of some sort, expand to ensure reference structure is visible.