org.dhallj.core.binary

Class Encode

java.lang.Object

org.dhallj.core.binary.Encode

All Implemented Interfaces:

Visitor<java.lang.Void>

public final class Encode
extends java.lang.Object
implements Visitor<java.lang.Void>

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
Encode(Writer writer)

Method Summary

Modifier and Type	Method and Description
void	bind(java.lang.String param, Expr type)
boolean	flattenToMapLists() Determines whether the driver flattens lists matching the toMap format into records before feeding them to the visitor.
java.lang.Void	onAnnotated(java.lang.Void base, java.lang.Void type)
java.lang.Void	onApplication(java.lang.Void base, java.util.List<java.lang.Void> args)
java.lang.Void	onAssert(java.lang.Void base)
java.lang.Void	onBuiltIn(Expr self, java.lang.String name)
java.lang.Void	onClasspathImport(java.nio.file.Path path, Expr.ImportMode mode, byte[] hash)
java.lang.Void	onDouble(Expr self, double value)
java.lang.Void	onEmptyList(java.lang.Void type)
java.lang.Void	onEnvImport(java.lang.String value, Expr.ImportMode mode, byte[] hash)
java.lang.Void	onFieldAccess(java.lang.Void base, java.lang.String fieldName)
java.lang.Void	onIdentifier(Expr self, java.lang.String name, long index)
java.lang.Void	onIf(java.lang.Void predicate, java.lang.Void thenValue, java.lang.Void elseValue)
java.lang.Void	onInteger(Expr self, java.math.BigInteger value)
java.lang.Void	onLambda(java.lang.String name, java.lang.Void type, java.lang.Void result)
java.lang.Void	onLet(java.util.List<Expr.LetBinding<java.lang.Void>> bindings, java.lang.Void body)
java.lang.Void	onLocalImport(java.nio.file.Path path, Expr.ImportMode mode, byte[] hash)
java.lang.Void	onMerge(java.lang.Void handlers, java.lang.Void union, java.lang.Void type)
java.lang.Void	onMissingImport(Expr.ImportMode mode, byte[] hash)
java.lang.Void	onNatural(Expr self, java.math.BigInteger value)
java.lang.Void	onNonEmptyList(java.util.List<java.lang.Void> values)
java.lang.Void	onNote(java.lang.Void base, Source source)
java.lang.Void	onOperatorApplication(Operator operator, java.lang.Void lhs, java.lang.Void rhs)
java.lang.Void	onPi(java.lang.String name, java.lang.Void type, java.lang.Void result)
java.lang.Void	onProjection(java.lang.Void base, java.lang.String[] fieldNames)
java.lang.Void	onProjectionByType(java.lang.Void base, java.lang.Void type)
java.lang.Void	onRecord(java.util.List<java.util.Map.Entry<java.lang.String,java.lang.Void>> fields)
java.lang.Void	onRecordType(java.util.List<java.util.Map.Entry<java.lang.String,java.lang.Void>> fields)
java.lang.Void	onRemoteImport(java.net.URI url, java.lang.Void using, Expr.ImportMode mode, byte[] hash)
java.lang.Void	onText(java.lang.String[] parts, java.util.List<java.lang.Void> interpolated)
java.lang.Void	onToMap(java.lang.Void base, java.lang.Void type)
java.lang.Void	onUnionType(java.util.List<java.util.Map.Entry<java.lang.String,java.lang.Void>> fields)
java.lang.Void	onWith(java.lang.Void base, java.lang.String[] path, java.lang.Void value)
boolean	prepareAnnotated(Expr type)
boolean	prepareApplication(Expr base, int size)
boolean	prepareAssert()
boolean	prepareEmptyList(Expr type)
boolean	prepareFieldAccess(Expr base, java.lang.String fieldName)
boolean	prepareIf()
boolean	prepareLambda(java.lang.String name, Expr type)
boolean	prepareLet(int size)
boolean	prepareLetBinding(java.lang.String name, Expr type)
boolean	prepareMerge(Expr type)
boolean	prepareNonEmptyList(int size)
boolean	prepareNonEmptyListElement(int index)
boolean	prepareOperatorApplication(Operator operator)
boolean	preparePi(java.lang.String name, Expr type)
boolean	prepareProjection(int size)
boolean	prepareProjectionByType()
boolean	prepareProjectionByType(Expr type)
boolean	prepareRecord(int size)
boolean	prepareRecordField(java.lang.String name, Expr type, int index)
boolean	prepareRecordType(int size)
boolean	prepareRecordTypeField(java.lang.String name, Expr type, int index)
boolean	prepareRemoteImport(java.net.URI url, Expr using, Expr.ImportMode mode, byte[] hash)
boolean	prepareText(int size)
boolean	prepareTextPart(java.lang.String part)
boolean	prepareToMap(Expr type)
boolean	prepareUnionType(int size)
boolean	prepareUnionTypeField(java.lang.String name, Expr type, int index)
boolean	prepareWith(java.lang.String[] path)
boolean	prepareWithValue(java.lang.String[] path)
boolean	sortFields() Determines whether the driver sorts fields by name before feeding them to the visitor.

Methods inherited from class java.lang.Object

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

Constructor Detail

Encode

public Encode(Writer writer)

Method Detail

sortFields

public boolean sortFields()

Description copied from interface: Visitor

Determines whether the driver sorts fields by name before feeding them to the visitor.

Specified by:

sortFields in interface Visitor<java.lang.Void>

flattenToMapLists

public boolean flattenToMapLists()

Description copied from interface: Visitor

Determines whether the driver flattens lists matching the toMap format into records before feeding them to the visitor.

Specified by:

flattenToMapLists in interface Visitor<java.lang.Void>

onNote

public java.lang.Void onNote(java.lang.Void base,
                             Source source)

Specified by:

onNote in interface Visitor<java.lang.Void>

onNatural

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

Specified by:

onNatural in interface Visitor<java.lang.Void>

onInteger

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

Specified by:

onInteger in interface Visitor<java.lang.Void>

onDouble

public java.lang.Void onDouble(Expr self,
                               double value)

Specified by:

onDouble in interface Visitor<java.lang.Void>

onBuiltIn

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

Specified by:

onBuiltIn in interface Visitor<java.lang.Void>

onIdentifier

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

Specified by:

onIdentifier in interface Visitor<java.lang.Void>

bind

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

Specified by:

bind in interface Visitor<java.lang.Void>

prepareLambda

public boolean prepareLambda(java.lang.String name,
                             Expr type)

Specified by:

prepareLambda in interface Visitor<java.lang.Void>

onLambda

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

Specified by:

onLambda in interface Visitor<java.lang.Void>

preparePi

public boolean preparePi(java.lang.String name,
                         Expr type)

Specified by:

preparePi in interface Visitor<java.lang.Void>

onPi

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

Specified by:

onPi in interface Visitor<java.lang.Void>

prepareLet

public boolean prepareLet(int size)

Specified by:

prepareLet in interface Visitor<java.lang.Void>

prepareLetBinding

public boolean prepareLetBinding(java.lang.String name,
                                 Expr type)

Specified by:

prepareLetBinding in interface Visitor<java.lang.Void>

onLet

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

Specified by:

onLet in interface Visitor<java.lang.Void>

prepareText

public boolean prepareText(int size)

Specified by:

prepareText in interface Visitor<java.lang.Void>

prepareTextPart

public boolean prepareTextPart(java.lang.String part)

Specified by:

prepareTextPart in interface Visitor<java.lang.Void>

onText

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

Specified by:

onText in interface Visitor<java.lang.Void>

prepareNonEmptyList

public boolean prepareNonEmptyList(int size)

Specified by:

prepareNonEmptyList in interface Visitor<java.lang.Void>

prepareNonEmptyListElement

public boolean prepareNonEmptyListElement(int index)

Specified by:

prepareNonEmptyListElement in interface Visitor<java.lang.Void>

onNonEmptyList

public java.lang.Void onNonEmptyList(java.util.List<java.lang.Void> values)

Specified by:

onNonEmptyList in interface Visitor<java.lang.Void>

prepareEmptyList

public boolean prepareEmptyList(Expr type)

Specified by:

prepareEmptyList in interface Visitor<java.lang.Void>

onEmptyList

public java.lang.Void onEmptyList(java.lang.Void type)

Specified by:

onEmptyList in interface Visitor<java.lang.Void>

prepareRecord

public boolean prepareRecord(int size)

Specified by:

prepareRecord in interface Visitor<java.lang.Void>

prepareRecordField

public boolean prepareRecordField(java.lang.String name,
                                  Expr type,
                                  int index)

Specified by:

prepareRecordField in interface Visitor<java.lang.Void>

onRecord

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

Specified by:

onRecord in interface Visitor<java.lang.Void>

prepareRecordType

public boolean prepareRecordType(int size)

Specified by:

prepareRecordType in interface Visitor<java.lang.Void>

prepareRecordTypeField

public boolean prepareRecordTypeField(java.lang.String name,
                                      Expr type,
                                      int index)

Specified by:

prepareRecordTypeField in interface Visitor<java.lang.Void>

onRecordType

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

Specified by:

onRecordType in interface Visitor<java.lang.Void>

prepareUnionType

public boolean prepareUnionType(int size)

Specified by:

prepareUnionType in interface Visitor<java.lang.Void>

prepareUnionTypeField

public boolean prepareUnionTypeField(java.lang.String name,
                                     Expr type,
                                     int index)

Specified by:

prepareUnionTypeField in interface Visitor<java.lang.Void>

onUnionType

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

Specified by:

onUnionType in interface Visitor<java.lang.Void>

prepareFieldAccess

public boolean prepareFieldAccess(Expr base,
                                  java.lang.String fieldName)

Specified by:

prepareFieldAccess in interface Visitor<java.lang.Void>

onFieldAccess

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

Specified by:

onFieldAccess in interface Visitor<java.lang.Void>

prepareProjection

public boolean prepareProjection(int size)

Specified by:

prepareProjection in interface Visitor<java.lang.Void>

onProjection

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

Specified by:

onProjection in interface Visitor<java.lang.Void>

prepareProjectionByType

public boolean prepareProjectionByType()

Specified by:

prepareProjectionByType in interface Visitor<java.lang.Void>

prepareProjectionByType

public boolean prepareProjectionByType(Expr type)

Specified by:

prepareProjectionByType in interface Visitor<java.lang.Void>

onProjectionByType

public java.lang.Void onProjectionByType(java.lang.Void base,
                                         java.lang.Void type)

Specified by:

onProjectionByType in interface Visitor<java.lang.Void>

prepareApplication

public boolean prepareApplication(Expr base,
                                  int size)

Specified by:

prepareApplication in interface Visitor<java.lang.Void>

onApplication

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

Specified by:

onApplication in interface Visitor<java.lang.Void>

prepareOperatorApplication

public boolean prepareOperatorApplication(Operator operator)

Specified by:

prepareOperatorApplication in interface Visitor<java.lang.Void>

onOperatorApplication

public java.lang.Void onOperatorApplication(Operator operator,
                                            java.lang.Void lhs,
                                            java.lang.Void rhs)

Specified by:

onOperatorApplication in interface Visitor<java.lang.Void>

prepareIf

public boolean prepareIf()

Specified by:

prepareIf in interface Visitor<java.lang.Void>

onIf

public java.lang.Void onIf(java.lang.Void predicate,
                           java.lang.Void thenValue,
                           java.lang.Void elseValue)

Specified by:

onIf in interface Visitor<java.lang.Void>

prepareAnnotated

public boolean prepareAnnotated(Expr type)

Specified by:

prepareAnnotated in interface Visitor<java.lang.Void>

onAnnotated

public java.lang.Void onAnnotated(java.lang.Void base,
                                  java.lang.Void type)

Specified by:

onAnnotated in interface Visitor<java.lang.Void>

prepareAssert

public boolean prepareAssert()

Specified by:

prepareAssert in interface Visitor<java.lang.Void>

onAssert

public java.lang.Void onAssert(java.lang.Void base)

Specified by:

onAssert in interface Visitor<java.lang.Void>

prepareMerge

public boolean prepareMerge(Expr type)

Specified by:

prepareMerge in interface Visitor<java.lang.Void>

onMerge

public java.lang.Void onMerge(java.lang.Void handlers,
                              java.lang.Void union,
                              java.lang.Void type)

Specified by:

onMerge in interface Visitor<java.lang.Void>

prepareToMap

public boolean prepareToMap(Expr type)

Specified by:

prepareToMap in interface Visitor<java.lang.Void>

onToMap

public java.lang.Void onToMap(java.lang.Void base,
                              java.lang.Void type)

Specified by:

onToMap in interface Visitor<java.lang.Void>

prepareWith

public boolean prepareWith(java.lang.String[] path)

Specified by:

prepareWith in interface Visitor<java.lang.Void>

prepareWithValue

public boolean prepareWithValue(java.lang.String[] path)

Specified by:

prepareWithValue in interface Visitor<java.lang.Void>

onWith

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

Specified by:

onWith in interface Visitor<java.lang.Void>

onMissingImport

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

Specified by:

onMissingImport in interface Visitor<java.lang.Void>

onEnvImport

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

Specified by:

onEnvImport in interface Visitor<java.lang.Void>

onLocalImport

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

Specified by:

onLocalImport in interface Visitor<java.lang.Void>

onClasspathImport

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

Specified by:

onClasspathImport in interface Visitor<java.lang.Void>

prepareRemoteImport

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

Specified by:

prepareRemoteImport in interface Visitor<java.lang.Void>

onRemoteImport

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

Specified by:

onRemoteImport in interface Visitor<java.lang.Void>