wytp.types.extractors

Class ReadableReferenceExtractor

java.lang.Object

wytp.types.util.AbstractTypeExtractor<WyalFile.Type.Reference>

wytp.types.extractors.ReadableReferenceExtractor

All Implemented Interfaces:

TypeExtractor<WyalFile.Type.Reference,Object>

public class ReadableReferenceExtractor
extends AbstractTypeExtractor<WyalFile.Type.Reference>

Responsible for extracting a "readable reference" from a given type. This is relatively straightforward. For example, &int is extracted as &int. However, (&int)|(&bool) is not extracted as as &(int|bool). It remains unclear whether this can be expanded to support for flexible readable array types.

Not all types have a readable reference type and, furthermore, care must be exercised for those that do. For example, (&int)|int does not have a readable reference type.

Author:

David J. Pearce

Nested Class Summary

Nested classes/interfaces inherited from class wytp.types.util.AbstractTypeExtractor

AbstractTypeExtractor.Conjunct, AbstractTypeExtractor.Disjunct, AbstractTypeExtractor.Signed

Field Summary

Fields inherited from class wytp.types.util.AbstractTypeExtractor

resolver, typeSystem

Constructor Summary

Constructors

Constructor and Description
ReadableReferenceExtractor(wybs.lang.NameResolver resolver, TypeSystem typeSystem)

Method Summary

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

Methods inherited from class wytp.types.util.AbstractTypeExtractor

construct, construct, extract, intersectionHelper, isVoid, toDisjunctiveNormalForm, toDisjunctiveNormalForm, toDisjunctiveNormalForm, toDisjunctiveNormalForm, toDisjunctiveNormalForm, toDisjunctiveNormalForm, toDisjunctiveNormalForm, toDisjunctiveNormalForm, toDisjunctiveNormalForm, toDisjunctiveNormalForm, unionHelper

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ReadableReferenceExtractor

public ReadableReferenceExtractor(wybs.lang.NameResolver resolver,
                                  TypeSystem typeSystem)

Method Detail

construct

protected WyalFile.Type.Reference construct(WyalFile.Type.Atom type)

Specified by:

construct in class AbstractTypeExtractor<WyalFile.Type.Reference>

union

protected WyalFile.Type.Reference union(WyalFile.Type.Reference lhs,
                                        WyalFile.Type.Reference rhs)

Specified by:

union in class AbstractTypeExtractor<WyalFile.Type.Reference>

subtract

protected WyalFile.Type.Reference subtract(WyalFile.Type.Reference lhs,
                                           WyalFile.Type.Reference rhs)

Specified by:

subtract in class AbstractTypeExtractor<WyalFile.Type.Reference>

intersect

protected WyalFile.Type.Reference intersect(WyalFile.Type.Reference lhs,
                                            WyalFile.Type.Reference rhs)

Specified by:

intersect in class AbstractTypeExtractor<WyalFile.Type.Reference>