Uses of Class
wyal.lang.WyalFile.Type.Array

Packages that use WyalFile.Type.Array

Package	Description
wyal.lang
wytp.types
wytp.types.extractors
wytp.types.subtyping
wytp.types.util

Uses of WyalFile.Type.Array in wyal.lang

Methods in wyal.lang that return WyalFile.Type.Array

Modifier and Type	Method and Description
WyalFile.Type.Array	WyalFile.Type.Array.clone(wybs.lang.SyntacticItem[] operands)

Uses of WyalFile.Type.Array in wytp.types

Methods in wytp.types that return WyalFile.Type.Array

Modifier and Type	Method and Description
WyalFile.Type.Array	TypeSystem.extractReadableArray(WyalFile.Type type) Extract the readable array type from a given type.

Uses of WyalFile.Type.Array in wytp.types.extractors

Methods in wytp.types.extractors that return WyalFile.Type.Array

Modifier and Type	Method and Description
protected WyalFile.Type.Array	ReadableArrayExtractor.construct(WyalFile.Type.Atom type)
protected WyalFile.Type.Array	ReadableArrayExtractor.intersect(WyalFile.Type.Array lhs, WyalFile.Type.Array rhs)
protected WyalFile.Type.Array	ReadableArrayExtractor.subtract(WyalFile.Type.Array lhs, WyalFile.Type.Array rhs)
protected WyalFile.Type.Array	ReadableArrayExtractor.union(WyalFile.Type.Array lhs, WyalFile.Type.Array rhs)

Methods in wytp.types.extractors with parameters of type WyalFile.Type.Array

Modifier and Type	Method and Description
protected WyalFile.Type.Array	ReadableArrayExtractor.intersect(WyalFile.Type.Array lhs, WyalFile.Type.Array rhs)
protected WyalFile.Type.Array	ReadableArrayExtractor.subtract(WyalFile.Type.Array lhs, WyalFile.Type.Array rhs)
protected WyalFile.Type.Array	ReadableArrayExtractor.union(WyalFile.Type.Array lhs, WyalFile.Type.Array rhs)

Uses of WyalFile.Type.Array in wytp.types.subtyping

Method parameters in wytp.types.subtyping with type arguments of type WyalFile.Type.Array

Modifier and Type	Method and Description
protected boolean	CoerciveSubtypeOperator.isVoidArray(CoerciveSubtypeOperator.Atom<WyalFile.Type.Array> lhs, CoerciveSubtypeOperator.Atom<WyalFile.Type.Array> rhs, wytp.types.subtyping.CoerciveSubtypeOperator.Assumptions assumptions) Determine whether the intersection of two array types is void or not.
protected boolean	CoerciveSubtypeOperator.isVoidArray(CoerciveSubtypeOperator.Atom<WyalFile.Type.Array> lhs, CoerciveSubtypeOperator.Atom<WyalFile.Type.Array> rhs, wytp.types.subtyping.CoerciveSubtypeOperator.Assumptions assumptions) Determine whether the intersection of two array types is void or not.

Uses of WyalFile.Type.Array in wytp.types.util

Methods in wytp.types.util with parameters of type WyalFile.Type.Array

Modifier and Type	Method and Description
protected WyalFile.Type	AbstractTypeRewriter.rewriteArray(WyalFile.Type.Array type)
protected AbstractTypeExtractor.Disjunct	AbstractTypeExtractor.toDisjunctiveNormalForm(WyalFile.Type.Array type)