Uses of Interface
wytp.types.TypeExtractor

Packages that use TypeExtractor

Package	Description
wytp.types.extractors
wytp.types.util

Uses of TypeExtractor in wytp.types.extractors

Classes in wytp.types.extractors that implement TypeExtractor

Modifier and Type	Class and Description
class	ReadableArrayExtractor Responsible for extracting a "readable array" from a given type.
class	ReadableRecordExtractor Responsible for extracting a "readable record" from a given type.
class	ReadableReferenceExtractor Responsible for extracting a "readable reference" from a given type.
class	TypeInvariantExtractor Responsible for extracting the invariant (if any) from a given type.

Uses of TypeExtractor in wytp.types.util

Classes in wytp.types.util that implement TypeExtractor

Modifier and Type	Class and Description
class	AbstractTypeExtractor<T extends WyalFile.Type> A generic foundation for "convential" type extractors.