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

Packages that use WyalFile.Type.Reference

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

Uses of WyalFile.Type.Reference in wyal.lang

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

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

Uses of WyalFile.Type.Reference in wytp.types

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

Modifier and Type	Method and Description
WyalFile.Type.Reference	TypeSystem.extractReadableReference(WyalFile.Type type) Extract the readable reference type from a given type.

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

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

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

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

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

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

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

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

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

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

Modifier and Type	Method and Description
protected WyalFile.Type	AbstractTypeRewriter.rewriteReference(WyalFile.Type.Reference type)
protected AbstractTypeExtractor.Disjunct	AbstractTypeExtractor.toDisjunctiveNormalForm(WyalFile.Type.Reference type)