org.dhallj.core.normalization

Class AlphaNormalize

java.lang.Object

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

org.dhallj.core.Visitor.Identity

org.dhallj.core.normalization.AlphaNormalize

All Implemented Interfaces:

Visitor<Expr>

public final class AlphaNormalize
extends Visitor.Identity

Performs alpha normalization.

Morally this is equivalent to the following (on non-underscore bindings):

 input.increment("_").substitute(name, 0, Expr.Constants.UNDERSCORE).decrement(name);
 

The implementation here is necessary to fit the visitor API.

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
AlphaNormalize()

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

AlphaNormalize

public AlphaNormalize()

Method Detail

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

bind

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

Specified by:

bind in interface Visitor<Expr>

Overrides:

bind in class Visitor.NoPrepareEvents<Expr>

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