Package net.hydromatic.morel.compile

Class Replacer

java.lang.Object

net.hydromatic.morel.ast.Shuttle

net.hydromatic.morel.compile.EnvShuttle

net.hydromatic.morel.compile.Replacer

public class Replacer
extends EnvShuttle

Replaces identifiers with other identifiers.

Field Summary

Fields

Modifier and Type	Field	Description
private final Map<Core.Id,Core.Id>	substitution

Fields inherited from class net.hydromatic.morel.compile.EnvShuttle

env

Fields inherited from class net.hydromatic.morel.ast.Shuttle

typeSystem

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Replacer(TypeSystem typeSystem, Environment env, Map<Core.Id,Core.Id> substitution)

Method Summary

Modifier and Type	Method	Description
protected Replacer	push(Environment env)	Creates a shuttle the same as this but with a new environment.
(package private) static Core.Exp	substitute(TypeSystem typeSystem, Map<Core.Id,Core.Id> substitution, Core.Exp exp)
protected Core.Exp	visit(Core.Id id)

Methods inherited from class net.hydromatic.morel.compile.EnvShuttle

bind, bind, visit, visit, visit, visit, visit, visit

Methods inherited from class net.hydromatic.morel.ast.Shuttle

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visitList, visitMap, visitSortedMap

Methods inherited from class java.lang.Object

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

Field Details

substitution

private final Map<Core.Id,Core.Id> substitution

Constructor Details

Replacer

private Replacer(TypeSystem typeSystem,
 Environment env,
 Map<Core.Id,Core.Id> substitution)

Method Details

substitute

static Core.Exp substitute(TypeSystem typeSystem,
 Map<Core.Id,Core.Id> substitution,
 Core.Exp exp)

push

protected Replacer push(Environment env)

Description copied from class: EnvShuttle

Creates a shuttle the same as this but with a new environment.

Specified by:

push in class EnvShuttle

visit

protected Core.Exp visit(Core.Id id)

Overrides:

visit in class Shuttle