Uses of Interface
wyil.lang.Type.EffectiveRecord

Packages that use Type.EffectiveRecord

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

Uses of Type.EffectiveRecord in wyc.builder

Methods in wyc.builder that return Type.EffectiveRecord

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

Uses of Type.EffectiveRecord in wyc.lang

Fields in wyc.lang declared as Type.EffectiveRecord

Modifier and Type	Field and Description
Type.EffectiveRecord	Expr.FieldAccess.srcType

Uses of Type.EffectiveRecord in wyil.lang

Subinterfaces of Type.EffectiveRecord in wyil.lang

Modifier and Type	Interface and Description
static interface	Type.Record A record is made up of a number of fields, each of which has a unique name.

Methods in wyil.lang that return Type.EffectiveRecord

Modifier and Type	Method and Description
Type.EffectiveRecord	Type.EffectiveRecord.update(String field, Type type) Get an updated version of this record type after a given field has been assigned a given type.

Uses of Type.EffectiveRecord in wyil.util

Methods in wyil.util that return Type.EffectiveRecord

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