Uses of Interface
wyal.lang.NameResolver

Packages that use NameResolver

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

Uses of NameResolver in wyal.util

Classes in wyal.util that implement NameResolver

Modifier and Type	Class and Description
class	WyalFileResolver Responsible for resolving a name which occurs at some position in a WyalFile.

Uses of NameResolver in wytp.types.extractors

Constructors in wytp.types.extractors with parameters of type NameResolver

Constructor and Description
ReadableArrayExtractor(NameResolver resolver, TypeSystem typeSystem)
ReadableRecordExtractor(NameResolver resolver, TypeSystem typeSystem)
ReadableReferenceExtractor(NameResolver resolver, TypeSystem typeSystem)
TypeInvariantExtractor(NameResolver resolver)

Uses of NameResolver in wytp.types.subtyping

Fields in wytp.types.subtyping declared as NameResolver

Modifier and Type	Field and Description
protected NameResolver	CoerciveSubtypeOperator.resolver

Constructors in wytp.types.subtyping with parameters of type NameResolver

Constructor and Description
CoerciveSubtypeOperator(NameResolver resolver)

Uses of NameResolver in wytp.types.util

Fields in wytp.types.util declared as NameResolver

Modifier and Type	Field and Description
protected NameResolver	AbstractTypeExtractor.resolver

Constructors in wytp.types.util with parameters of type NameResolver

Constructor and Description
AbstractTypeExtractor(NameResolver resolver, TypeSystem typeSystem)