wytp.types

Interface TypeExtractor<T,S>

All Known Implementing Classes:

AbstractTypeExtractor, ReadableArrayExtractor, ReadableRecordExtractor, ReadableReferenceExtractor, TypeInvariantExtractor

public interface TypeExtractor<T,S>

Method Summary

Modifier and Type	Method and Description
T	extract(WyalFile.Type type, S supplementary) Attempt to extract a certain kind of type from an arbitrary type.

Method Detail

extract

T extract(WyalFile.Type type,
          S supplementary)
   throws wybs.lang.NameResolver.ResolutionError

Attempt to extract a certain kind of type from an arbitrary type. This is necessary in the presence of powerful type connectives such as union, intersection and negation. For example, given the type {int x}|{int x} we can extract the type {int x}.

Parameters:

type - The type for which information is to be extracted

supplementary - Supplementary information which may be used by the extractor.

Returns:

Throws:

wybs.lang.NameResolver.ResolutionError