org.dhallj.core

Class Visitor.Identity

java.lang.Object

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

org.dhallj.core.Visitor.Identity

All Implemented Interfaces:

Visitor<Expr>

Direct Known Subclasses:

AlphaNormalize, Shift, Substitute

Enclosing interface:

Visitor<A>

public abstract static class Visitor.Identity
extends Visitor.NoPrepareEvents<Expr>

Represents an identity function.

This is a convenience class designed to help with implementations that only need to change a small number of cases.

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

Method Summary

Modifier and Type	Method and Description
Expr	onAnnotated(Expr base, Expr type)
Expr	onApplication(Expr base, java.util.List<Expr> args)
Expr	onAssert(Expr base)
Expr	onBuiltIn(Expr self, java.lang.String name)
Expr	onClasspathImport(java.nio.file.Path path, Expr.ImportMode mode, byte[] hash)
Expr	onDouble(Expr self, double value)
Expr	onEmptyList(Expr type)
Expr	onEnvImport(java.lang.String value, Expr.ImportMode mode, byte[] hash)
Expr	onFieldAccess(Expr base, java.lang.String fieldName)
Expr	onIdentifier(Expr self, java.lang.String name, long index)
Expr	onIf(Expr predicate, Expr thenValue, Expr elseValue)
Expr	onInteger(Expr self, java.math.BigInteger value)
Expr	onLambda(java.lang.String name, Expr type, Expr result)
Expr	onLet(java.util.List<Expr.LetBinding<Expr>> bindings, Expr body)
Expr	onLocalImport(java.nio.file.Path path, Expr.ImportMode mode, byte[] hash)
Expr	onMerge(Expr handlers, Expr union, Expr type)
Expr	onMissingImport(Expr.ImportMode mode, byte[] hash)
Expr	onNatural(Expr self, java.math.BigInteger value)
Expr	onNonEmptyList(java.util.List<Expr> values)
Expr	onNote(Expr base, Source source)
Expr	onOperatorApplication(Operator operator, Expr lhs, Expr rhs)
Expr	onPi(java.lang.String name, Expr type, Expr result)
Expr	onProjection(Expr base, java.lang.String[] fieldNames)
Expr	onProjectionByType(Expr base, Expr type)
Expr	onRecord(java.util.List<java.util.Map.Entry<java.lang.String,Expr>> fields)
Expr	onRecordType(java.util.List<java.util.Map.Entry<java.lang.String,Expr>> fields)
Expr	onRemoteImport(java.net.URI url, Expr using, Expr.ImportMode mode, byte[] hash)
Expr	onText(java.lang.String[] parts, java.util.List<Expr> interpolated)
Expr	onToMap(Expr base, Expr type)
Expr	onUnionType(java.util.List<java.util.Map.Entry<java.lang.String,Expr>> fields)
Expr	onWith(Expr base, java.lang.String[] path, Expr value)

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

bind, 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

Identity

public Identity()

Method Detail

onNote

public Expr onNote(Expr base,
                   Source source)

onNatural

public Expr onNatural(Expr self,
                      java.math.BigInteger value)

onInteger

public Expr onInteger(Expr self,
                      java.math.BigInteger value)

onDouble

public Expr onDouble(Expr self,
                     double value)

onBuiltIn

public Expr onBuiltIn(Expr self,
                      java.lang.String name)

onIdentifier

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

onLambda

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

onPi

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

onLet

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

onText

public Expr onText(java.lang.String[] parts,
                   java.util.List<Expr> interpolated)

onNonEmptyList

public Expr onNonEmptyList(java.util.List<Expr> values)

onEmptyList

public Expr onEmptyList(Expr type)

onRecord

public Expr onRecord(java.util.List<java.util.Map.Entry<java.lang.String,Expr>> fields)

onRecordType

public Expr onRecordType(java.util.List<java.util.Map.Entry<java.lang.String,Expr>> fields)

onUnionType

public Expr onUnionType(java.util.List<java.util.Map.Entry<java.lang.String,Expr>> fields)

onFieldAccess

public Expr onFieldAccess(Expr base,
                          java.lang.String fieldName)

onProjection

public Expr onProjection(Expr base,
                         java.lang.String[] fieldNames)

onProjectionByType

public Expr onProjectionByType(Expr base,
                               Expr type)

onApplication

public Expr onApplication(Expr base,
                          java.util.List<Expr> args)

onOperatorApplication

public Expr onOperatorApplication(Operator operator,
                                  Expr lhs,
                                  Expr rhs)

onIf

public Expr onIf(Expr predicate,
                 Expr thenValue,
                 Expr elseValue)

onAnnotated

public Expr onAnnotated(Expr base,
                        Expr type)

onAssert

public Expr onAssert(Expr base)

onMerge

public Expr onMerge(Expr handlers,
                    Expr union,
                    Expr type)

onToMap

public Expr onToMap(Expr base,
                    Expr type)

onWith

public Expr onWith(Expr base,
                   java.lang.String[] path,
                   Expr value)

onMissingImport

public Expr onMissingImport(Expr.ImportMode mode,
                            byte[] hash)

onEnvImport

public Expr onEnvImport(java.lang.String value,
                        Expr.ImportMode mode,
                        byte[] hash)

onLocalImport

public Expr onLocalImport(java.nio.file.Path path,
                          Expr.ImportMode mode,
                          byte[] hash)

onClasspathImport

public Expr onClasspathImport(java.nio.file.Path path,
                              Expr.ImportMode mode,
                              byte[] hash)

onRemoteImport

public Expr onRemoteImport(java.net.URI url,
                           Expr using,
                           Expr.ImportMode mode,
                           byte[] hash)