Uses of Interface
wyil.lang.Type.EffectiveArray

Packages that use Type.EffectiveArray

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

Methods in wyc.builder that return Type.EffectiveArray

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

Uses of Type.EffectiveArray in wyc.lang

Fields in wyc.lang declared as Type.EffectiveArray

Modifier and Type	Field and Description
Type.EffectiveArray	Expr.IndexOf.srcType

Uses of Type.EffectiveArray in wyil.lang

Subinterfaces of Type.EffectiveArray in wyil.lang

Modifier and Type	Interface and Description
static interface	Type.Array An array type describes array values whose elements are subtypes of the element type.

Methods in wyil.lang that return Type.EffectiveArray

Modifier and Type	Method and Description
Type.EffectiveArray	Type.EffectiveArray.update(Type element) Determine a new type for this array after an assignment to a given element.

Uses of Type.EffectiveArray in wyil.util

Methods in wyil.util that return Type.EffectiveArray

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