Package net.hydromatic.morel.compile

Class Inliner

java.lang.Object

net.hydromatic.morel.ast.Shuttle

net.hydromatic.morel.compile.EnvShuttle

net.hydromatic.morel.compile.Inliner

public class Inliner
extends EnvShuttle

Shuttle that inlines constant values.

Field Summary

Fields

Modifier and Type	Field	Description
private final Analyzer.Analysis	analysis

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	Inliner(TypeSystem typeSystem, Environment env, Analyzer.Analysis analysis)	Private constructor.

Method Summary

Modifier and Type	Method	Description
static Inliner	of(TypeSystem typeSystem, Environment env, Analyzer.Analysis analysis)	Creates an Inliner.
protected Inliner	push(Environment env)	Creates a shuttle the same as this but with a new environment.
protected Core.Exp	visit(Core.Apply apply)
Core.Exp	visit(Core.Id id)
Core.Exp	visit(Core.Let let)

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

bind, bind, 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, visitList, visitMap, visitSortedMap

Methods inherited from class java.lang.Object

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

Field Details

analysis

@Nullable
private final Analyzer.Analysis analysis

Constructor Details

Inliner

private Inliner(TypeSystem typeSystem,
 Environment env,
 Analyzer.Analysis analysis)

Private constructor.

Method Details

of

public static Inliner of(TypeSystem typeSystem,
 Environment env,
 @Nullable
 Analyzer.Analysis analysis)

Creates an Inliner.

If analysis is null, no variables are inlined.

push

protected Inliner 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

public Core.Exp visit(Core.Id id)

Overrides:

visit in class Shuttle

visit

protected Core.Exp visit(Core.Apply apply)

Overrides:

visit in class Shuttle

visit

public Core.Exp visit(Core.Let let)

Overrides:

visit in class EnvShuttle