Package net.hydromatic.morel.eval

package net.hydromatic.morel.eval

Evaluates expressions.

Related Packages

Package	Description
net.hydromatic.morel	Standard ML interpreter, implemented in Java.
net.hydromatic.morel.ast	Abstract syntax tree.
net.hydromatic.morel.compile	Validates programs (represented as AstNode), deduces their type, and compiles them into code that can be evaluated.
net.hydromatic.morel.foreign	Provides access to external data sources.
net.hydromatic.morel.type	Type system.
net.hydromatic.morel.util	Utilities.

Class	Description
Applicable	A compiled expression that can be evaluated by applying to an argument.
Applicable2<R,A0,A1>	Applicable whose argument is a 3-tuple.
Applicable3<R,A0,A1,A2>	Applicable whose argument is a 3-tuple.
ApplicableImpl	Abstract implementation of Applicable that describes itself with a constant name.
Closure	Value that is sufficient for a function to bind its argument and evaluate its body.
Closure.EvalEnvHolder	Callback for Closure.bindRecurse(Core.Pat, Object, BiConsumer) that modifies an environment.
Code	A compiled expression, that can be evaluated.
Codes	Helpers for Code.
Codes.AndAlsoCode	Code that implements Codes.andAlso(Code, Code).
Codes.ApplyCode	Applies an Applicable to a Code.
Codes.ApplyCode2	Applies an Applicable2 to two Code arguments.
Codes.ApplyCode3	Applies an Applicable3 to three Code arguments.
Codes.ApplyCodeCode	Applies a Code to a Code.
Codes.BaseRowSink	Abstract implementation for row sinks that have one successor.
Codes.BuiltInExn	Definitions of Morel built-in exceptions.
Codes.CharPredicate	Implementation of Applicable that has a single char argument.
Codes.CollectRowSink	Implementation of Codes.RowSink that the last step of a from writes into.
Codes.Comparer	Implementation of Codes.RELATIONAL_COMPARE.
Codes.ConstantCode	Code that implements a constant.
Codes.ExceptAllRowSink	Implementation of Codes.RowSink for non-distinct except step.
Codes.ExceptDistinctRowSink	Implementation of Codes.RowSink for a distinct except step.
Codes.FirstRowSink	First row sink in the chain.
Codes.FromCode	Code that evaluates a query.
Codes.GetCode	Code that retrieves the value of a variable from the environment.
Codes.GetTupleCode	Code that retrieves, as a tuple, the value of several variables from the environment.
Codes.GroupRowSink	Implementation of Codes.RowSink for a group step.
Codes.IntDiv	Implements Codes.INT_DIV and Codes.OP_DIV.
Codes.InteractUse	Implements BuiltIn.INTERACT_USE.
Codes.IntersectAllRowSink	Implementation of Codes.RowSink for a non-distinct intersect step.
Codes.IntersectDistinctRowSink	Implementation of Codes.RowSink for a distinct intersect step.
Codes.IntMod	Implements Codes.INT_MOD and Codes.OP_MOD.
Codes.Let1Code	Code that implements Codes.let(List, Code) with one argument.
Codes.LetCode	Code that implements Codes.let(List, Code) with multiple arguments.
Codes.ListHd	Implements BuiltIn.LIST_HD.
Codes.ListLast	Implements BuiltIn.LIST_LAST.
Codes.ListNth	Implements BuiltIn.LIST_NTH and BuiltIn.VECTOR_SUB.
Codes.ListTabulate	Implements BuiltIn.LIST_TABULATE.
Codes.ListTake	Implements BuiltIn.LIST_TAKE.
Codes.ListTl	Implements BuiltIn.LIST_TL.
Codes.MorelRuntimeException	Java exception that wraps an exception thrown by the Morel runtime.
Codes.OptionValOf	Implements BuiltIn.OPTION_VAL_OF.
Codes.OrderRowSink	Implementation of Codes.RowSink for an order step.
Codes.OrdinalGetCode	Implementation of Code that evaluates the current row ordinal.
Codes.OrdinalIncCode	Implementation of Code that increments the current row ordinal then calls another Code.
Codes.OrElseCode	Code that implements Codes.orElse(Code, Code).
Codes.Positioned	An Applicable whose position can be changed.
Codes.PositionedApplicableImpl	Implementation of both Applicable and Codes.Positioned.
Codes.RealCheckFloat	Implements BuiltIn.REAL_CHECK_FLOAT.
Codes.RealCompare	Implements BuiltIn.REAL_COMPARE.
Codes.RealSign	Implements BuiltIn.REAL_COMPARE.
Codes.RelationalOnly	Implements BuiltIn.RELATIONAL_ONLY.
Codes.RowSink	Accepts rows produced by a supplier as part of a from step.
Codes.ScanRowSink	Implementation of Codes.RowSink for a join step.
Codes.SetRowSink	Implementation of Codes.RowSink for an except, intersect, or union step.
Codes.SkipRowSink	Implementation of Codes.RowSink for a skip step.
Codes.StringConcat	Implements BuiltIn.STRING_CONCAT.
Codes.StringConcatWith	Implements BuiltIn.STRING_CONCAT_WITH.
Codes.StringExtract	Implements BuiltIn.STRING_SUB.
Codes.StringSub	Implements BuiltIn.STRING_SUB.
Codes.StringSubstring	Implements BuiltIn.STRING_SUBSTRING.
Codes.TakeRowSink	Implementation of Codes.RowSink for a take step.
Codes.TupleCode	A code that evaluates expressions and creates a tuple with the results.
Codes.Typed	An Applicable whose type may be specified.
Codes.UnionRowSink	Implementation of Codes.RowSink for a union step.
Codes.VectorUpdate	Implements BuiltIn.VECTOR_UPDATE.
Codes.WhereRowSink	Implementation of Codes.RowSink for a where step.
Codes.WrapRelList	A Code that evaluates a Code and if the result is a RelList, wraps it in a different kind of list.
Codes.YieldRowSink	Implementation of Codes.RowSink for a yield step.
CodeVisitor	Implementation of Describer that just traverses the tree.
Comparators
Comparators.ComparatorBuilder	Contains shared state while building comparators for various types.
Comparators.Dummy	Sentinel value.
Describable	Can be visited by a Describer.
Describer	Describes a plan (tree of Code or Applicable objects).
Describer.Detail	Provided as a callback while describing a node.
DescriberImpl	Implementation of Describer.
EvalEnv	Evaluation environment.
EvalEnvs	Helpers for EvalEnv.
EvalEnvs.ArraySubEvalEnv	Similar to MutableEvalEnv but binds several names.
EvalEnvs.ListSubEvalEnv	Similar to MutableEvalEnv but binds several names.
EvalEnvs.MapEvalEnv	Evaluation environment that reads from a map.
EvalEnvs.MutableArraySubEvalEnv	Similar to MutableEvalEnv but binds several names; extends EvalEnvs.ArraySubEvalEnv adding mutability.
EvalEnvs.MutableListSubEvalEnv	Similar to MutableEvalEnv but binds several names; extends EvalEnvs.ListSubEvalEnv adding mutability.
EvalEnvs.MutablePatSubEvalEnv	Evaluation environment that binds several slots based on a pattern.
EvalEnvs.MutableSubEvalEnv	Similar to EvalEnvs.SubEvalEnv but mutable.
EvalEnvs.PatSubEvalEnv	Immutable copy of EvalEnvs.MutablePatSubEvalEnv.
EvalEnvs.SubEvalEnv	Evaluation environment that inherits from a parent environment and adds one binding.
File	Directory in the file system.
Files	Implementations of File.
Files.AbstractFile	Abstract implementation of File.
Files.DataFile	File that is not a directory, and can be parsed into a set of records.
Files.Directory	File that is a directory.
Files.FileType	Describes a type of file that can be read by this reader.
Files.UnknownChildFile
Files.UnknownFile	File that we have not yet categorized.
MutableEvalEnv	An evaluation environment whose last entry is mutable.
Prop	Property.
Prop.Output	Allowed values for Prop.OUTPUT property.
Session	Session environment.
Session.Shell	Callback to implement "use" command.
Session.Shells	Various implementations of Session.Shell.
Unit	A placeholder value for the "unit" type.