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

Packages that use WyalFile.Type.Record

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

Uses of WyalFile.Type.Record in wyal.lang

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

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

Uses of WyalFile.Type.Record in wytp.types

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

Modifier and Type	Method and Description
WyalFile.Type.Record	TypeSystem.extractReadableRecord(WyalFile.Type type) For a given type, extract its effective record type.

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

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

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

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

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

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

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

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

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

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

Modifier and Type	Method and Description
protected WyalFile.Type	AbstractTypeRewriter.rewriteRecord(WyalFile.Type.Record type)
protected AbstractTypeExtractor.Disjunct	AbstractTypeExtractor.toDisjunctiveNormalForm(WyalFile.Type.Record type)