wytp.types.util

Class StdTypeRewriter

java.lang.Object

wytp.types.util.AbstractTypeRewriter

wytp.types.util.StdTypeRewriter

All Implemented Interfaces:

TypeRewriter

public class StdTypeRewriter
extends AbstractTypeRewriter

A simple collection of rewrite rules that attempts to simplify types in relatively obvious ways.

Author:

David J. Pearce

Constructor Summary

Constructors

Constructor and Description
StdTypeRewriter()

Method Summary

Modifier and Type	Method and Description
protected WyalFile.Type	rewriteIntersection(WyalFile.Type.Intersection type)
protected WyalFile.Type	rewriteNegation(WyalFile.Type.Negation type)
protected WyalFile.Type	rewriteUnion(WyalFile.Type.Union type)

Methods inherited from class wytp.types.util.AbstractTypeRewriter

rewrite, rewrite, rewrite, rewriteArray, rewriteFunction, rewriteInvariant, rewriteMacro, rewriteNominal, rewritePrimitive, rewriteRecord, rewriteReference

Methods inherited from class java.lang.Object

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

Constructor Detail

StdTypeRewriter

public StdTypeRewriter()

Method Detail

rewriteNegation

protected WyalFile.Type rewriteNegation(WyalFile.Type.Negation type)

Overrides:

rewriteNegation in class AbstractTypeRewriter

rewriteUnion

protected WyalFile.Type rewriteUnion(WyalFile.Type.Union type)

Overrides:

rewriteUnion in class AbstractTypeRewriter

rewriteIntersection

protected WyalFile.Type rewriteIntersection(WyalFile.Type.Intersection type)

Overrides:

rewriteIntersection in class AbstractTypeRewriter