Uses of Interface
wyil.lang.Type.Property

Packages that use Type.Property

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

Methods in wyc.builder that return Type.Property

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

Uses of Type.Property in wyc.lang

Fields in wyc.lang declared as Type.Property

Modifier and Type	Field and Description
Type.Property	Expr.PropertyCall.propertyType
Type.Property	WhileyFile.Property.resolvedType

Methods in wyc.lang that return Type.Property

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

Uses of Type.Property in wyil.lang

Classes in wyil.lang that implement Type.Property

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

Constructors in wyil.lang with parameters of type Type.Property

Constructor and Description
Property(WyilFile parent, Collection<Modifier> modifiers, String name, Type.Property type, wybs.lang.Attribute... attributes)