org.dhallj.core

Class ExternalVisitor.Constant<A>

java.lang.Object

org.dhallj.core.ExternalVisitor.Constant<A>

All Implemented Interfaces:

ExternalVisitor<A>

Enclosing interface:

ExternalVisitor<A>

public static class ExternalVisitor.Constant<A>
extends java.lang.Object
implements ExternalVisitor<A>

Represents a function from a Dhall expression that always returns the same value.

This is a convenience class designed to help with implementations that have a default value for most cases.

Note that by default the implementation sees through note layers.

Nested Class Summary

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

ExternalVisitor.Constant<A>

Constructor Summary

Constructors

Constructor and Description
Constant(A value)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

Constant

public Constant(A value)

Method Detail

getReturnValue

protected A getReturnValue()

onNote

public A onNote(Expr base,
                Source source)

Specified by:

onNote in interface ExternalVisitor<A>

onNatural

public A onNatural(java.math.BigInteger value)

Specified by:

onNatural in interface ExternalVisitor<A>

onInteger

public A onInteger(java.math.BigInteger value)

Specified by:

onInteger in interface ExternalVisitor<A>

onDouble

public A onDouble(double value)

Specified by:

onDouble in interface ExternalVisitor<A>

onBuiltIn

public A onBuiltIn(java.lang.String name)

Specified by:

onBuiltIn in interface ExternalVisitor<A>

onIdentifier

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

Specified by:

onIdentifier in interface ExternalVisitor<A>

onLambda

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

Specified by:

onLambda in interface ExternalVisitor<A>

onPi

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

Specified by:

onPi in interface ExternalVisitor<A>

onLet

public A onLet(java.lang.String name,
               Expr type,
               Expr value,
               Expr body)

Specified by:

onLet in interface ExternalVisitor<A>

onText

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

Specified by:

onText in interface ExternalVisitor<A>

onNonEmptyList

public A onNonEmptyList(java.lang.Iterable<Expr> values,
                        int size)

Specified by:

onNonEmptyList in interface ExternalVisitor<A>

onEmptyList

public A onEmptyList(Expr tpe)

Specified by:

onEmptyList in interface ExternalVisitor<A>

onRecord

public A onRecord(java.lang.Iterable<java.util.Map.Entry<java.lang.String,Expr>> fields,
                  int size)

Specified by:

onRecord in interface ExternalVisitor<A>

onRecordType

public A onRecordType(java.lang.Iterable<java.util.Map.Entry<java.lang.String,Expr>> fields,
                      int size)

Specified by:

onRecordType in interface ExternalVisitor<A>

onUnionType

public A onUnionType(java.lang.Iterable<java.util.Map.Entry<java.lang.String,Expr>> fields,
                     int size)

Specified by:

onUnionType in interface ExternalVisitor<A>

onFieldAccess

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

Specified by:

onFieldAccess in interface ExternalVisitor<A>

onProjection

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

Specified by:

onProjection in interface ExternalVisitor<A>

onProjectionByType

public A onProjectionByType(Expr base,
                            Expr tpe)

Specified by:

onProjectionByType in interface ExternalVisitor<A>

onApplication

public A onApplication(Expr base,
                       Expr arg)

Specified by:

onApplication in interface ExternalVisitor<A>

onOperatorApplication

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

Specified by:

onOperatorApplication in interface ExternalVisitor<A>

onIf

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

Specified by:

onIf in interface ExternalVisitor<A>

onAnnotated

public A onAnnotated(Expr base,
                     Expr tpe)

Specified by:

onAnnotated in interface ExternalVisitor<A>

onAssert

public A onAssert(Expr base)

Specified by:

onAssert in interface ExternalVisitor<A>

onMerge

public A onMerge(Expr handlers,
                 Expr union,
                 Expr tpe)

Specified by:

onMerge in interface ExternalVisitor<A>

onToMap

public A onToMap(Expr base,
                 Expr type)

Specified by:

onToMap in interface ExternalVisitor<A>

onWith

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

Specified by:

onWith in interface ExternalVisitor<A>

onMissingImport

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

Specified by:

onMissingImport in interface ExternalVisitor<A>

onEnvImport

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

Specified by:

onEnvImport in interface ExternalVisitor<A>

onLocalImport

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

Specified by:

onLocalImport in interface ExternalVisitor<A>

onClasspathImport

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

Specified by:

onClasspathImport in interface ExternalVisitor<A>

onRemoteImport

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

Specified by:

onRemoteImport in interface ExternalVisitor<A>