org.dhallj.core.normalization

Class Shift

java.lang.Object

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

org.dhallj.core.Visitor.Identity

org.dhallj.core.normalization.Shift

All Implemented Interfaces:

Visitor<Expr>

public final class Shift
extends Visitor.Identity

Shifts all instances of a variable.

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
Shift(boolean isIncrement, java.lang.String name)

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

Shift

public Shift(boolean isIncrement,
             java.lang.String name)

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