org.dhallj.core

Class Visitor.Constant<A>

java.lang.Object

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

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

All Implemented Interfaces:

Visitor<A>

Direct Known Subclasses:

JsonConverter, Visitor.Property

Enclosing interface:

Visitor<A>

public static class Visitor.Constant<A>
extends Visitor.NoPrepareEvents<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.Visitor

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

Constructor Summary

Constructors

Constructor and Description
Constant(A value)

Method Summary

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

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

Constant

public Constant(A value)

Method Detail

getReturnValue

protected A getReturnValue()

bind

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

Specified by:

bind in interface Visitor<A>

Overrides:

bind in class Visitor.NoPrepareEvents<A>

onNote

public A onNote(A base,
                Source source)

onNatural

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

onInteger

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

onDouble

public A onDouble(Expr self,
                  double value)

onBuiltIn

public A onBuiltIn(Expr self,
                   java.lang.String value)

onIdentifier

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

onLambda

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

onPi

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

onLet

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

onText

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

onNonEmptyList

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

onEmptyList

public A onEmptyList(A type)

onRecord

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

onRecordType

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

onUnionType

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

onFieldAccess

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

onProjection

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

onProjectionByType

public A onProjectionByType(A base,
                            A type)

onApplication

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

onOperatorApplication

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

onIf

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

onAnnotated

public A onAnnotated(A base,
                     A type)

onAssert

public A onAssert(A base)

onMerge

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

onToMap

public A onToMap(A base,
                 A type)

onWith

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

onMissingImport

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

onEnvImport

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

onLocalImport

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

onClasspathImport

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

onRemoteImport

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