Package net.hydromatic.morel.ast

Class Shuttle

java.lang.Object

net.hydromatic.morel.ast.Shuttle

Direct Known Subclasses:

EnvShuttle, SuchThatShuttle

public class Shuttle
extends Object

Visits and transforms syntax trees.

Field Summary

Fields

Modifier and Type	Field	Description
protected final TypeSystem	typeSystem

Constructor Summary

Constructors

Constructor	Description
Shuttle(TypeSystem typeSystem)	Creates a Shuttle.

Method Summary

Modifier and Type	Method	Description
protected AstNode	visit(Ast.Aggregate aggregate)
protected Ast.Exp	visit(Ast.AnnotatedExp annotatedExp)
protected Ast.Pat	visit(Ast.AnnotatedPat annotatedPat)
protected Ast.Apply	visit(Ast.Apply apply)
protected Ast.Pat	visit(Ast.AsPat asPat)
protected Ast.Exp	visit(Ast.Case caseOf)
protected Ast.Type	visit(Ast.CompositeType compositeType)
protected AstNode	visit(Ast.Compute compute)
protected Ast.Con0Pat	visit(Ast.Con0Pat con0Pat)
protected Ast.ConPat	visit(Ast.ConPat conPat)
protected Ast.Current	visit(Ast.Current current)
protected Ast.DatatypeBind	visit(Ast.DatatypeBind datatypeBind)
protected Ast.DatatypeDecl	visit(Ast.DatatypeDecl datatypeDecl)
protected AstNode	visit(Ast.Distinct distinct)
protected AstNode	visit(Ast.Except except)
protected Ast.Exp	visit(Ast.Exists exists)
protected Ast.Fn	visit(Ast.Fn fn)
protected Ast.Exp	visit(Ast.Forall forall)
protected Ast.Exp	visit(Ast.From from)
protected Ast.FunBind	visit(Ast.FunBind funBind)
protected Ast.Type	visit(Ast.FunctionType functionType)
protected Ast.Decl	visit(Ast.FunDecl funDecl)
protected Ast.FunMatch	visit(Ast.FunMatch funMatch)
protected AstNode	visit(Ast.Group group)
protected Ast.Id	visit(Ast.Id id)
protected Ast.Pat	visit(Ast.IdPat idPat)
protected Ast.Exp	visit(Ast.If ifThenElse)
protected Ast.Exp	visit(Ast.InfixCall infixCall)
protected Ast.Pat	visit(Ast.InfixPat infixPat)
protected AstNode	visit(Ast.Intersect intersect)
protected AstNode	visit(Ast.Into into)
protected Ast.Let	visit(Ast.Let let)
protected Ast.ListExp	visit(Ast.ListExp list)
protected Ast.Pat	visit(Ast.ListPat listPat)
protected Ast.Exp	visit(Ast.Literal literal)
protected Ast.Pat	visit(Ast.LiteralPat literalPat)
protected Ast.Match	visit(Ast.Match match)
protected Ast.Type	visit(Ast.NamedType namedType)
protected AstNode	visit(Ast.Order order)
protected Ast.Ordinal	visit(Ast.Ordinal ordinal)
protected Ast.OverDecl	visit(Ast.OverDecl overDecl)
protected Ast.Exp	visit(Ast.PrefixCall prefixCall)
protected Ast.Exp	visit(Ast.Record record)
protected Ast.Pat	visit(Ast.RecordPat recordPat)
protected Ast.Exp	visit(Ast.RecordSelector recordSelector)
protected Ast.RecordType	visit(Ast.RecordType recordType)
protected AstNode	visit(Ast.Require require)
protected Ast.Scan	visit(Ast.Scan scan)
protected AstNode	visit(Ast.Skip skip)
protected AstNode	visit(Ast.Take take)
protected AstNode	visit(Ast.Through through)
protected Ast.Exp	visit(Ast.Tuple tuple)
protected Ast.Pat	visit(Ast.TuplePat tuplePat)
protected Ast.Type	visit(Ast.TupleType tupleType)
protected AstNode	visit(Ast.TyCon tyCon)
protected Ast.TyVar	visit(Ast.TyVar tyVar)
protected AstNode	visit(Ast.Union union)
protected AstNode	visit(Ast.Unorder unorder)
protected Ast.ValBind	visit(Ast.ValBind valBind)
protected Ast.ValDecl	visit(Ast.ValDecl valDecl)
protected AstNode	visit(Ast.Where where)
protected Ast.Pat	visit(Ast.WildcardPat wildcardPat)
protected AstNode	visit(Ast.Yield yield)
protected Core.Aggregate	visit(Core.Aggregate aggregate)
protected Core.Exp	visit(Core.Apply apply)
protected Core.AsPat	visit(Core.AsPat asPat)
protected Core.Exp	visit(Core.Case caseOf)
protected Core.Pat	visit(Core.Con0Pat con0Pat)
protected Core.Pat	visit(Core.ConPat conPat)
protected Core.DatatypeDecl	visit(Core.DatatypeDecl datatypeDecl)
protected Core.Except	visit(Core.Except except)
protected Core.Exp	visit(Core.Fn fn)
protected Core.Exp	visit(Core.From from)
protected Core.Group	visit(Core.Group group)
protected Core.Exp	visit(Core.Id id)
protected Core.IdPat	visit(Core.IdPat idPat)
protected Core.Intersect	visit(Core.Intersect intersect)
protected Core.Exp	visit(Core.Let let)
protected Core.Pat	visit(Core.ListPat listPat)
protected Core.Exp	visit(Core.Literal literal)
protected Core.Pat	visit(Core.LiteralPat literalPat)
protected Core.Exp	visit(Core.Local local)
protected Core.Match	visit(Core.Match match)
protected Core.NonRecValDecl	visit(Core.NonRecValDecl valDecl)
protected Core.Order	visit(Core.Order order)
protected Core.OverDecl	visit(Core.OverDecl overDecl)
protected Core.Pat	visit(Core.RecordPat recordPat)
protected Core.RecordSelector	visit(Core.RecordSelector recordSelector)
protected Core.RecValDecl	visit(Core.RecValDecl valDecl)
protected Core.Scan	visit(Core.Scan scan)
protected Core.Skip	visit(Core.Skip skip)
protected Core.Take	visit(Core.Take take)
protected Core.Exp	visit(Core.Tuple tuple)
protected Core.Pat	visit(Core.TuplePat tuplePat)
protected Core.Union	visit(Core.Union union)
protected Core.Unorder	visit(Core.Unorder unorder)
protected Core.Where	visit(Core.Where where)
protected Core.Pat	visit(Core.WildcardPat wildcardPat)
protected Core.Yield	visit(Core.Yield yield)
protected <E extends AstNode> List<E>	visitList(List<E> nodes)
protected <K, E extends AstNode> Map<K,E>	visitMap(Map<K,E> nodes)
protected <K, E extends AstNode> SortedMap<K,E>	visitSortedMap(SortedMap<K,E> nodes)

Methods inherited from class java.lang.Object

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

Field Details

typeSystem

protected final TypeSystem typeSystem

Constructor Details

Shuttle

public Shuttle(TypeSystem typeSystem)

Creates a Shuttle.

Method Details

visitList

protected <E extends AstNode> List<E> visitList(List<E> nodes)

visitMap

protected <K,
E extends AstNode> Map<K,E> visitMap(Map<K,E> nodes)

visitSortedMap

protected <K,
E extends AstNode> SortedMap<K,E> visitSortedMap(SortedMap<K,E> nodes)

visit

protected Ast.Exp visit(Ast.Literal literal)

visit

protected Ast.Id visit(Ast.Id id)

visit

protected Ast.Current visit(Ast.Current current)

visit

protected Ast.Ordinal visit(Ast.Ordinal ordinal)

visit

protected Ast.Exp visit(Ast.AnnotatedExp annotatedExp)

visit

protected Ast.Exp visit(Ast.If ifThenElse)

visit

protected Ast.Let visit(Ast.Let let)

visit

protected Ast.Exp visit(Ast.Case caseOf)

visit

protected Ast.Exp visit(Ast.InfixCall infixCall)

visit

protected Ast.Exp visit(Ast.PrefixCall prefixCall)

visit

protected Ast.Pat visit(Ast.IdPat idPat)

visit

protected Ast.Pat visit(Ast.LiteralPat literalPat)

visit

protected Ast.Pat visit(Ast.WildcardPat wildcardPat)

visit

protected Ast.Pat visit(Ast.InfixPat infixPat)

visit

protected Ast.Pat visit(Ast.TuplePat tuplePat)

visit

protected Ast.Pat visit(Ast.ListPat listPat)

visit

protected Ast.Pat visit(Ast.RecordPat recordPat)

visit

protected Ast.Pat visit(Ast.AnnotatedPat annotatedPat)

visit

protected Ast.Pat visit(Ast.AsPat asPat)

visit

protected Ast.ConPat visit(Ast.ConPat conPat)

visit

protected Ast.Con0Pat visit(Ast.Con0Pat con0Pat)

visit

protected Ast.Exp visit(Ast.Tuple tuple)

visit

protected Ast.ListExp visit(Ast.ListExp list)

visit

protected Ast.Exp visit(Ast.Record record)

visit

protected Ast.Fn visit(Ast.Fn fn)

visit

protected Ast.Apply visit(Ast.Apply apply)

visit

protected Ast.Exp visit(Ast.RecordSelector recordSelector)

visit

protected Ast.Match visit(Ast.Match match)

visit

protected Ast.Type visit(Ast.NamedType namedType)

visit

protected Ast.TyVar visit(Ast.TyVar tyVar)

visit

protected Ast.OverDecl visit(Ast.OverDecl overDecl)

visit

protected Ast.Decl visit(Ast.FunDecl funDecl)

visit

protected Ast.FunBind visit(Ast.FunBind funBind)

visit

protected Ast.FunMatch visit(Ast.FunMatch funMatch)

visit

protected Ast.ValDecl visit(Ast.ValDecl valDecl)

visit

protected Ast.ValBind visit(Ast.ValBind valBind)

visit

protected Ast.Exp visit(Ast.From from)

visit

protected Ast.Exp visit(Ast.Exists exists)

visit

protected Ast.Exp visit(Ast.Forall forall)

visit

protected AstNode visit(Ast.Order order)

visit

protected Ast.Scan visit(Ast.Scan scan)

visit

protected AstNode visit(Ast.Where where)

visit

protected AstNode visit(Ast.Distinct distinct)

visit

protected AstNode visit(Ast.Require require)

visit

protected AstNode visit(Ast.Skip skip)

visit

protected AstNode visit(Ast.Take take)

visit

protected AstNode visit(Ast.Except except)

visit

protected AstNode visit(Ast.Intersect intersect)

visit

protected AstNode visit(Ast.Union union)

visit

protected AstNode visit(Ast.Unorder unorder)

visit

protected AstNode visit(Ast.Yield yield)

visit

protected AstNode visit(Ast.Into into)

visit

protected AstNode visit(Ast.Through through)

visit

protected AstNode visit(Ast.Compute compute)

visit

protected AstNode visit(Ast.Group group)

visit

protected AstNode visit(Ast.Aggregate aggregate)

visit

protected Ast.DatatypeDecl visit(Ast.DatatypeDecl datatypeDecl)

visit

protected Ast.DatatypeBind visit(Ast.DatatypeBind datatypeBind)

visit

protected AstNode visit(Ast.TyCon tyCon)

visit

protected Ast.RecordType visit(Ast.RecordType recordType)

visit

protected Ast.Type visit(Ast.TupleType tupleType)

visit

protected Ast.Type visit(Ast.FunctionType functionType)

visit

protected Ast.Type visit(Ast.CompositeType compositeType)

visit

protected Core.Exp visit(Core.Apply apply)

visit

protected Core.Exp visit(Core.Id id)

visit

protected Core.RecordSelector visit(Core.RecordSelector recordSelector)

visit

protected Core.Exp visit(Core.Literal literal)

visit

protected Core.Exp visit(Core.Tuple tuple)

visit

protected Core.Exp visit(Core.Let let)

visit

protected Core.Exp visit(Core.Local local)

visit

protected Core.DatatypeDecl visit(Core.DatatypeDecl datatypeDecl)

visit

protected Core.NonRecValDecl visit(Core.NonRecValDecl valDecl)

visit

protected Core.RecValDecl visit(Core.RecValDecl valDecl)

visit

protected Core.IdPat visit(Core.IdPat idPat)

visit

protected Core.AsPat visit(Core.AsPat asPat)

visit

protected Core.Pat visit(Core.LiteralPat literalPat)

visit

protected Core.Pat visit(Core.WildcardPat wildcardPat)

visit

protected Core.Pat visit(Core.ConPat conPat)

visit

protected Core.Pat visit(Core.Con0Pat con0Pat)

visit

protected Core.Pat visit(Core.TuplePat tuplePat)

visit

protected Core.Pat visit(Core.ListPat listPat)

visit

protected Core.Pat visit(Core.RecordPat recordPat)

visit

protected Core.Exp visit(Core.Fn fn)

visit

protected Core.Exp visit(Core.Case caseOf)

visit

protected Core.Match visit(Core.Match match)

visit

protected Core.Exp visit(Core.From from)

visit

protected Core.Scan visit(Core.Scan scan)

visit

protected Core.Where visit(Core.Where where)

visit

protected Core.Skip visit(Core.Skip skip)

visit

protected Core.Take visit(Core.Take take)

visit

protected Core.Except visit(Core.Except except)

visit

protected Core.Intersect visit(Core.Intersect intersect)

visit

protected Core.Union visit(Core.Union union)

visit

protected Core.Group visit(Core.Group group)

visit

protected Core.Aggregate visit(Core.Aggregate aggregate)

visit

protected Core.Order visit(Core.Order order)

visit

protected Core.Yield visit(Core.Yield yield)

visit

protected Core.Unorder visit(Core.Unorder unorder)

visit

protected Core.OverDecl visit(Core.OverDecl overDecl)