wytp.types.util

Class AbstractTypeRewriter

java.lang.Object

wytp.types.util.AbstractTypeRewriter

All Implemented Interfaces:

TypeRewriter

Direct Known Subclasses:

StdTypeRewriter

public class AbstractTypeRewriter
extends Object
implements TypeRewriter

Constructor Summary

Constructors

Constructor and Description
AbstractTypeRewriter()

Method Summary

Modifier and Type	Method and Description
protected wybs.util.AbstractCompilationUnit.Tuple<WyalFile.Type>	rewrite(wybs.util.AbstractCompilationUnit.Tuple<WyalFile.Type> tuple)
WyalFile.Type	rewrite(WyalFile.Type type) Apply the rewrite rules to the given type producing a potentially updated type.
protected WyalFile.Type[]	rewrite(WyalFile.Type[] types)
protected WyalFile.Type	rewriteArray(WyalFile.Type.Array type)
protected WyalFile.Type	rewriteFunction(WyalFile.Type.Function type)
protected WyalFile.Type	rewriteIntersection(WyalFile.Type.Intersection utype)
protected WyalFile.Type	rewriteInvariant(WyalFile.Type.Invariant type)
protected WyalFile.Type	rewriteMacro(WyalFile.Type.Property type)
protected WyalFile.Type	rewriteNegation(WyalFile.Type.Negation type)
protected WyalFile.Type	rewriteNominal(WyalFile.Type.Nominal type)
protected WyalFile.Type	rewritePrimitive(WyalFile.Type.Primitive type)
protected WyalFile.Type	rewriteRecord(WyalFile.Type.Record type)
protected WyalFile.Type	rewriteReference(WyalFile.Type.Reference type)
protected WyalFile.Type	rewriteUnion(WyalFile.Type.Union utype)

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractTypeRewriter

public AbstractTypeRewriter()

Method Detail

rewrite

public WyalFile.Type rewrite(WyalFile.Type type)

Description copied from interface: TypeRewriter

Apply the rewrite rules to the given type producing a potentially updated type. If no rewrites are applied, then the original Type object should be returned intact.

Specified by:

rewrite in interface TypeRewriter

Parameters:

type - The type to be rewritten

Returns:

rewritePrimitive

protected WyalFile.Type rewritePrimitive(WyalFile.Type.Primitive type)

rewriteNominal

protected WyalFile.Type rewriteNominal(WyalFile.Type.Nominal type)

rewriteArray

protected WyalFile.Type rewriteArray(WyalFile.Type.Array type)

rewriteReference

protected WyalFile.Type rewriteReference(WyalFile.Type.Reference type)

rewriteRecord

protected WyalFile.Type rewriteRecord(WyalFile.Type.Record type)

rewriteFunction

protected WyalFile.Type rewriteFunction(WyalFile.Type.Function type)

rewriteMacro

protected WyalFile.Type rewriteMacro(WyalFile.Type.Property type)

rewriteInvariant

protected WyalFile.Type rewriteInvariant(WyalFile.Type.Invariant type)

rewriteNegation

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

rewriteUnion

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

rewriteIntersection

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

rewrite

protected wybs.util.AbstractCompilationUnit.Tuple<WyalFile.Type> rewrite(wybs.util.AbstractCompilationUnit.Tuple<WyalFile.Type> tuple)

rewrite

protected WyalFile.Type[] rewrite(WyalFile.Type[] types)