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 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
protected Inliner	bind(List<Binding> bindingList)	Creates a shuttle the same as this but with overriding bindings.
protected EnvShuttle	bind(Binding binding)	Creates a shuttle the same as this but overriding a binding.
static Inliner	of(TypeSystem typeSystem, Environment env, Analyzer.Analysis analysis)	Creates an Inliner.
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

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

Methods inherited from class java.lang.Object

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

Field Detail

analysis

@Nullable
private final Analyzer.Analysis analysis

Constructor Detail

Inliner

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

Private constructor.

Method Detail

of

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

Creates an Inliner.

If analysis is null, no variables are inlined.

bind

protected EnvShuttle bind(Binding binding)

Description copied from class: EnvShuttle

Creates a shuttle the same as this but overriding a binding.

Specified by:

bind in class EnvShuttle

bind

protected Inliner bind(List<Binding> bindingList)

Description copied from class: EnvShuttle

Creates a shuttle the same as this but with overriding bindings.

Specified by:

bind 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