org.dhallj.core.normalization

Class Substitute

java.lang.Object

org.dhallj.core.Visitor.NoPrepareEvents<Expr>

org.dhallj.core.Visitor.Identity

org.dhallj.core.normalization.Substitute

All Implemented Interfaces:

Visitor<Expr>

public final class Substitute
extends Visitor.Identity

Substitutes an expression for all instances of a variable in another expression.

Note that this visitor maintains internal state and instances should not be reused.

Nested Class Summary

Nested classes/interfaces inherited from interface org.dhallj.core.Visitor

Visitor.Constant<A>, Visitor.Identity, Visitor.NoPrepareEvents<A>, Visitor.Property

Constructor Summary

Constructors

Constructor and Description
Substitute(java.lang.String name, Expr replacement)

Method Summary

Modifier and Type	Method and Description
void	bind(java.lang.String name, Expr type)
Expr	onIdentifier(Expr self, java.lang.String name, long index)
Expr	onLambda(java.lang.String name, Expr type, Expr result)
Expr	onLet(java.util.List<Expr.LetBinding<Expr>> bindings, Expr body)
Expr	onPi(java.lang.String name, Expr type, Expr result)

Methods inherited from class org.dhallj.core.Visitor.Identity

onAnnotated, onApplication, onAssert, onBuiltIn, onClasspathImport, onDouble, onEmptyList, onEnvImport, onFieldAccess, onIf, onInteger, onLocalImport, onMerge, onMissingImport, onNatural, onNonEmptyList, onNote, onOperatorApplication, onProjection, onProjectionByType, onRecord, onRecordType, onRemoteImport, onText, onToMap, onUnionType, onWith

Methods inherited from class org.dhallj.core.Visitor.NoPrepareEvents

flattenToMapLists, prepareAnnotated, prepareApplication, prepareAssert, prepareEmptyList, prepareFieldAccess, prepareIf, prepareLambda, prepareLet, prepareLetBinding, prepareMerge, prepareNonEmptyList, prepareNonEmptyListElement, prepareOperatorApplication, preparePi, prepareProjection, prepareProjectionByType, prepareProjectionByType, prepareRecord, prepareRecordField, prepareRecordType, prepareRecordTypeField, prepareRemoteImport, prepareText, prepareTextPart, prepareToMap, prepareUnionType, prepareUnionTypeField, prepareWith, prepareWithValue, sortFields

Methods inherited from class java.lang.Object

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

Constructor Detail

Substitute

public Substitute(java.lang.String name,
                  Expr replacement)

Method Detail

bind

public void bind(java.lang.String name,
                 Expr type)

Specified by:

bind in interface Visitor<Expr>

Overrides:

bind in class Visitor.NoPrepareEvents<Expr>

onIdentifier

public Expr onIdentifier(Expr self,
                         java.lang.String name,
                         long index)

Specified by:

onIdentifier in interface Visitor<Expr>

Overrides:

onIdentifier in class Visitor.Identity

onLambda

public Expr onLambda(java.lang.String name,
                     Expr type,
                     Expr result)

Specified by:

onLambda in interface Visitor<Expr>

Overrides:

onLambda in class Visitor.Identity

onPi

public Expr onPi(java.lang.String name,
                 Expr type,
                 Expr result)

Specified by:

onPi in interface Visitor<Expr>

Overrides:

onPi in class Visitor.Identity

onLet

public Expr onLet(java.util.List<Expr.LetBinding<Expr>> bindings,
                  Expr body)

Specified by:

onLet in interface Visitor<Expr>

Overrides:

onLet in class Visitor.Identity