Package net.hydromatic.morel.eval

Class Codes

java.lang.Object

net.hydromatic.morel.eval.Codes

public abstract class Codes
extends Object

Helpers for Code.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static class	Codes.AndAlsoCode	Code that implements andAlso(Code, Code).
private static class	Codes.ApplyCode	Applies an Applicable to a Code.
private static class	Codes.ApplyCode2	Applies an Applicable2 to two Code arguments.
private static class	Codes.ApplyCode3	Applies an Applicable3 to three Code arguments.
(package private) static class	Codes.ApplyCodeCode	Applies a Code to a Code.
(package private) static class	Codes.BaseRowSink	Abstract implementation for row sinks that have one successor.
static enum	Codes.BuiltInExn	Definitions of Morel built-in exceptions.
private static class	Codes.CharPredicate	Implementation of Applicable that has a single char argument.
private static class	Codes.CollectRowSink	Implementation of Codes.RowSink that the last step of a from writes into.
(package private) static class	Codes.Comparer	Implementation of RELATIONAL_COMPARE.
private static class	Codes.ConstantCode	Code that implements a constant.
(package private) static class	Codes.ExceptAllRowSink	Implementation of Codes.RowSink for non-distinct except step.
(package private) static class	Codes.ExceptDistinctRowSink	Implementation of Codes.RowSink for a distinct except step.
private static class	Codes.FirstRowSink	First row sink in the chain.
(package private) static class	Codes.FromCode	Code that evaluates a query.
private static class	Codes.GetCode	Code that retrieves the value of a variable from the environment.
private static class	Codes.GetTupleCode	Code that retrieves, as a tuple, the value of several variables from the environment.
private static class	Codes.GroupRowSink	Implementation of Codes.RowSink for a group step.
private static class	Codes.IntDiv	Implements INT_DIV and OP_DIV.
private static class	Codes.InteractUse	Implements BuiltIn.INTERACT_USE.
(package private) static class	Codes.IntersectAllRowSink	Implementation of Codes.RowSink for a non-distinct intersect step.
(package private) static class	Codes.IntersectDistinctRowSink	Implementation of Codes.RowSink for a distinct intersect step.
private static class	Codes.IntMod	Implements INT_MOD and OP_MOD.
private static class	Codes.Let1Code	Code that implements let(List, Code) with one argument.
private static class	Codes.LetCode	Code that implements let(List, Code) with multiple arguments.
private static class	Codes.ListHd	Implements BuiltIn.LIST_HD.
private static class	Codes.ListLast	Implements BuiltIn.LIST_LAST.
private static class	Codes.ListNth	Implements BuiltIn.LIST_NTH and BuiltIn.VECTOR_SUB.
private static class	Codes.ListTabulate	Implements BuiltIn.LIST_TABULATE.
private static class	Codes.ListTake	Implements BuiltIn.LIST_TAKE.
private static class	Codes.ListTl	Implements BuiltIn.LIST_TL.
static class	Codes.MorelRuntimeException	Java exception that wraps an exception thrown by the Morel runtime.
private static class	Codes.OptionValOf	Implements BuiltIn.OPTION_VAL_OF.
(package private) static class	Codes.OrderRowSink	Implementation of Codes.RowSink for an order step.
private static class	Codes.OrdinalGetCode	Implementation of Code that evaluates the current row ordinal.
private static class	Codes.OrdinalIncCode	Implementation of Code that increments the current row ordinal then calls another Code.
private static class	Codes.OrElseCode	Code that implements orElse(Code, Code).
static interface	Codes.Positioned	An Applicable whose position can be changed.
private static class	Codes.PositionedApplicableImpl	Implementation of both Applicable and Codes.Positioned.
private static class	Codes.RealCheckFloat	Implements BuiltIn.REAL_CHECK_FLOAT.
private static class	Codes.RealCompare	Implements BuiltIn.REAL_COMPARE.
private static class	Codes.RealSign	Implements BuiltIn.REAL_COMPARE.
private static class	Codes.RelationalOnly	Implements BuiltIn.RELATIONAL_ONLY.
static interface	Codes.RowSink	Accepts rows produced by a supplier as part of a from step.
(package private) static class	Codes.ScanRowSink	Implementation of Codes.RowSink for a join step.
(package private) static class	Codes.SetRowSink	Implementation of Codes.RowSink for an except, intersect, or union step.
(package private) static class	Codes.SkipRowSink	Implementation of Codes.RowSink for a skip step.
private static class	Codes.StringConcat	Implements BuiltIn.STRING_CONCAT.
private static class	Codes.StringConcatWith	Implements BuiltIn.STRING_CONCAT_WITH.
private static class	Codes.StringExtract	Implements BuiltIn.STRING_SUB.
private static class	Codes.StringSub	Implements BuiltIn.STRING_SUB.
private static class	Codes.StringSubstring	Implements BuiltIn.STRING_SUBSTRING.
(package private) static class	Codes.TakeRowSink	Implementation of Codes.RowSink for a take step.
static class	Codes.TupleCode	A code that evaluates expressions and creates a tuple with the results.
static interface	Codes.Typed	An Applicable whose type may be specified.
(package private) static class	Codes.UnionRowSink	Implementation of Codes.RowSink for a union step.
private static class	Codes.VectorUpdate	Implements BuiltIn.VECTOR_UPDATE.
(package private) static class	Codes.WhereRowSink	Implementation of Codes.RowSink for a where step.
(package private) static class	Codes.WrapRelList	A Code that evaluates a Code and if the result is a RelList, wraps it in a different kind of list.
private static class	Codes.YieldRowSink	Implementation of Codes.RowSink for a yield step.

Field Summary

Fields

Modifier and Type	Field	Description
private static final Applicable	ABS	An applicable that returns the absolute value of an int.
private static final Applicable	BAG_ALL
private static final Applicable	BAG_APP
private static final Applicable	BAG_AT
private static final Applicable	BAG_CONCAT
private static final Applicable	BAG_DROP
private static final Applicable	BAG_EXISTS
private static final Applicable	BAG_FILTER
private static final Applicable	BAG_FIND
private static final Applicable	BAG_FOLD
private static final Applicable	BAG_FROM_LIST
private static final Applicable	BAG_GET_ITEM
private static final Applicable	BAG_HD
private static final Applicable	BAG_LENGTH
private static final Applicable	BAG_MAP
private static final Applicable	BAG_MAP_PARTIAL
private static final Applicable	BAG_NTH
private static final Applicable	BAG_NULL
private static final Applicable	BAG_PARTITION
private static final Applicable	BAG_TABULATE
private static final Applicable	BAG_TAKE
private static final Applicable	BAG_TL
private static final Applicable	BAG_TO_LIST
static final Map<Applicable,BuiltIn>	BUILT_IN_MAP
static final com.google.common.collect.ImmutableMap<BuiltIn,Object>	BUILT_IN_VALUES
private static final Applicable	CHAR_CHR
private static final Applicable	CHAR_COMPARE
private static final Applicable	CHAR_CONTAINS
private static final Applicable	CHAR_FROM_CSTRING
private static final Applicable	CHAR_FROM_STRING
private static final Applicable	CHAR_IS_ALPHA
private static final Applicable	CHAR_IS_ALPHA_NUM
private static final Applicable	CHAR_IS_ASCII
private static final Applicable	CHAR_IS_CNTRL
private static final Applicable	CHAR_IS_DIGIT
private static final Applicable	CHAR_IS_GRAPH
private static final Applicable	CHAR_IS_HEX_DIGIT
private static final Applicable	CHAR_IS_LOWER
private static final Applicable	CHAR_IS_PRINT
private static final Applicable	CHAR_IS_PUNCT
private static final Applicable	CHAR_IS_SPACE
private static final Applicable	CHAR_IS_UPPER
private static final Character	CHAR_MAX_CHAR
private static final Integer	CHAR_MAX_ORD
private static final Character	CHAR_MIN_CHAR
private static final Applicable	CHAR_NOT_CONTAINS
private static final Applicable	CHAR_OP_GE
private static final Applicable	CHAR_OP_GT
private static final Applicable	CHAR_OP_LE
private static final Applicable	CHAR_OP_LT
private static final Applicable	CHAR_ORD
private static final Applicable	CHAR_PRED
private static final Applicable	CHAR_SUCC
private static final Applicable	CHAR_TO_CSTRING
private static final Applicable	CHAR_TO_LOWER
private static final Applicable	CHAR_TO_STRING
private static final Applicable	CHAR_TO_UPPER
private static final EvalEnv	EMPTY_ENV
(package private) static final Pattern	FLOAT_PATTERN	Pattern for floating point numbers (after '~' has been converted to '-')
private static final Function<Float,String>	FLOAT_TO_STRING	Converts a float to a String per the JDK.
private static final Applicable	GENERAL_OP_O
private static final Applicable	IGNORE
private static final Applicable	INT_ABS
private static final Applicable	INT_COMPARE
private static final Applicable	INT_DIV
private static final Applicable	INT_FROM_INT
private static final Applicable	INT_FROM_LARGE
private static final Applicable	INT_FROM_STRING
private static final Applicable	INT_MAX
private static final List	INT_MAX_INT
private static final Applicable	INT_MIN
private static final List	INT_MIN_INT
private static final Applicable	INT_MOD
(package private) static final Pattern	INT_PATTERN	Pattern for integers (after '~' has been converted to '-'). ".", ".e", ".e-", ".e5", "e7", "2.", ".5", "2.e5" are invalid; "-2", "5" are valid.
private static final List	INT_PRECISION
private static final Applicable	INT_QUOT
private static final Applicable	INT_REM
private static final Applicable	INT_SAME_SIGN
private static final Applicable	INT_SIGN
private static final Applicable	INT_TO_INT
private static final Applicable	INT_TO_LARGE
private static final Applicable	INT_TO_STRING
private static final Applicable	INTERACT_USE
private static final Applicable	INTERACT_USE_SILENTLY
private static final Applicable	LIST_ALL
private static final Applicable	LIST_APP
private static final Applicable	LIST_AT
private static final Applicable	LIST_COLLATE
private static final Applicable	LIST_CONCAT
private static final Applicable	LIST_DROP
private static final Applicable	LIST_EXCEPT
private static final Applicable	LIST_EXISTS
private static final Applicable	LIST_FILTER
private static final Applicable	LIST_FIND
private static final Applicable	LIST_FOLDL
private static final Applicable	LIST_FOLDR
private static final Applicable	LIST_GET_ITEM
private static final Applicable	LIST_HD
private static final Applicable	LIST_INTERSECT
private static final Applicable	LIST_LAST
private static final Applicable	LIST_LENGTH
private static final Applicable	LIST_MAP
private static final Applicable	LIST_MAP_PARTIAL
private static final Applicable	LIST_MAPI
private static final Applicable	LIST_NTH
private static final Applicable	LIST_NULL
private static final Applicable	LIST_PARTITION
private static final Applicable	LIST_REV
private static final Applicable	LIST_REV_APPEND
private static final Applicable	LIST_TABULATE
private static final Applicable	LIST_TAKE
private static final Applicable	LIST_TL
private static final Applicable	MATH_ACOS
private static final Applicable	MATH_ASIN
private static final Applicable	MATH_ATAN
private static final Applicable	MATH_ATAN2
private static final Applicable	MATH_COS
private static final Applicable	MATH_COSH
private static final float	MATH_E
private static final Applicable	MATH_EXP
private static final Applicable	MATH_LN
private static final Applicable	MATH_LOG10
private static final float	MATH_PI
private static final Applicable	MATH_POW
private static final Applicable	MATH_SIN
private static final Applicable	MATH_SINH
private static final Applicable	MATH_SQRT
private static final Applicable	MATH_TAN
private static final Applicable	MATH_TANH
static final float	NEGATIVE_NAN	A special value that represents Standard ML "~NaN".
private static final Applicable	NOT	An applicable that negates a boolean value.
private static final Applicable	OP_CARET
private static final Applicable	OP_CONS
private static final Applicable	OP_DIV
private static final Macro	OP_DIVIDE
private static final Applicable	OP_ELEM
private static final Applicable	OP_EQ
private static final Applicable	OP_GE
private static final Applicable	OP_GT
private static final Applicable	OP_LE
private static final Applicable	OP_LT
private static final Macro	OP_MINUS
private static final Applicable	OP_MOD
private static final Applicable	OP_NE
private static final Macro	OP_NEGATE
private static final Applicable	OP_NOT_ELEM
private static final Macro	OP_PLUS
private static final Macro	OP_TIMES
private static final Applicable	OPTION_APP
private static final Applicable	OPTION_COMPOSE
private static final Applicable	OPTION_COMPOSE_PARTIAL
private static final Applicable	OPTION_FILTER
private static final Applicable	OPTION_GET_OPT
private static final Applicable	OPTION_IS_SOME
private static final Applicable	OPTION_JOIN
private static final Applicable	OPTION_MAP
private static final Applicable	OPTION_MAP_PARTIAL
private static final List	OPTION_NONE	Value of BuiltIn.Constructor.OPTION_NONE.
private static final Applicable	OPTION_VAL_OF
private static final List	ORDER_EQUAL
private static final List	ORDER_GREATER
private static final List	ORDER_LESS
private static final Applicable	REAL_ABS
private static final Applicable	REAL_CEIL
private static final Applicable	REAL_CHECK_FLOAT
private static final Applicable	REAL_COMPARE
private static final Applicable	REAL_COPY_SIGN
private static final Applicable	REAL_FLOOR
private static final Applicable	REAL_FROM_INT
private static final Applicable	REAL_FROM_MAN_EXP
private static final Applicable	REAL_FROM_STRING
private static final Applicable	REAL_IS_FINITE
private static final Applicable	REAL_IS_NAN
private static final Applicable	REAL_IS_NORMAL
private static final Applicable	REAL_MAX
private static final float	REAL_MAX_FINITE
private static final Applicable	REAL_MIN
private static final float	REAL_MIN_NORMAL_POS
private static final float	REAL_MIN_POS
private static final float	REAL_NEG_INF
private static final float	REAL_POS_INF
private static final int	REAL_PRECISION
private static final int	REAL_RADIX
private static final Applicable	REAL_REAL_CEIL
private static final Applicable	REAL_REAL_FLOOR
private static final Applicable	REAL_REAL_MOD
private static final Applicable	REAL_REAL_ROUND
private static final Applicable	REAL_REAL_TRUNC
private static final Applicable	REAL_REM
private static final Applicable	REAL_ROUND
private static final Applicable	REAL_SAME_SIGN
private static final Applicable	REAL_SIGN
private static final Applicable	REAL_SIGN_BIT
private static final Applicable	REAL_SPLIT
private static final Applicable	REAL_TO_MAN_EXP
private static final Applicable	REAL_TO_STRING
private static final Applicable	REAL_TRUNC
private static final Applicable	REAL_UNORDERED
private static final Applicable	RELATIONAL_COMPARE
private static final Applicable	RELATIONAL_COUNT
private static final Applicable	RELATIONAL_EMPTY
private static final Applicable	RELATIONAL_ITERATE
private static final Applicable	RELATIONAL_MAX
private static final Applicable	RELATIONAL_MIN
private static final Applicable	RELATIONAL_NON_EMPTY
private static final Applicable	RELATIONAL_ONLY
private static final Macro	RELATIONAL_SUM
private static final Applicable	STRING_COLLATE
private static final Applicable	STRING_COMPARE
private static final Applicable	STRING_CONCAT
private static final Applicable	STRING_CONCAT_WITH
private static final Applicable	STRING_EXPLODE
private static final Applicable	STRING_EXTRACT
private static final Applicable	STRING_FIELDS
private static final Applicable	STRING_IMPLODE
private static final Applicable	STRING_IS_PREFIX
private static final Applicable	STRING_IS_SUBSTRING
private static final Applicable	STRING_IS_SUFFIX
private static final Applicable	STRING_MAP
private static final Integer	STRING_MAX_SIZE
private static final Applicable	STRING_OP_CARET
private static final Applicable	STRING_OP_GE
private static final Applicable	STRING_OP_GT
private static final Applicable	STRING_OP_LE
private static final Applicable	STRING_OP_LT
private static final Applicable	STRING_SIZE
private static final Applicable	STRING_STR
private static final Applicable	STRING_SUB
private static final Applicable	STRING_SUBSTRING
private static final Applicable	STRING_TOKENS
private static final Applicable	STRING_TRANSLATE
private static final Applicable	SYS_CLEAR_ENV
private static final Applicable	SYS_PLAN
private static final Applicable	SYS_SET
private static final Applicable	SYS_SHOW
private static final Applicable	SYS_SHOW_ALL
private static final Applicable	SYS_UNSET
private static final Applicable	VECTOR_ALL
private static final Applicable	VECTOR_APP
private static final Applicable	VECTOR_APPI
private static final Applicable	VECTOR_COLLATE
private static final Applicable	VECTOR_CONCAT
private static final Applicable	VECTOR_EXISTS
private static final Applicable	VECTOR_FIND
private static final Applicable	VECTOR_FINDI
private static final Applicable	VECTOR_FOLDL
private static final Applicable	VECTOR_FOLDLI
private static final Applicable	VECTOR_FOLDR
private static final Applicable	VECTOR_FOLDRI
private static final Applicable	VECTOR_FROM_LIST
private static final Applicable	VECTOR_LENGTH
private static final Applicable	VECTOR_MAP
private static final Applicable	VECTOR_MAPI
private static final int	VECTOR_MAX_LEN
private static final Applicable	VECTOR_SUB
private static final Applicable	VECTOR_TABULATE
private static final Applicable	VECTOR_UPDATE
private static final Applicable	Z_DIVIDE_INT	Implements OP_DIVIDE for type int.
private static final Applicable	Z_DIVIDE_REAL	Implements OP_DIVIDE for type real.
private static final Applicable	Z_EXTENT
private static final Applicable	Z_LIST
private static final Applicable	Z_MINUS_INT	Implements OP_MINUS for type int.
private static final Applicable	Z_MINUS_REAL	Implements OP_MINUS for type real.
private static final Applicable	Z_NEGATE_INT	Implements OP_NEGATE for type int.
private static final Applicable	Z_NEGATE_REAL	Implements OP_NEGATE for type real.
private static final Applicable	Z_PLUS_INT	Implements OP_PLUS for type int.
private static final Applicable	Z_PLUS_REAL	Implements OP_PLUS for type real.
private static final Applicable	Z_SUM_INT	Implements RELATIONAL_SUM for type int list.
private static final Applicable	Z_SUM_REAL	Implements RELATIONAL_SUM for type real list.
private static final Applicable	Z_TIMES_INT	Implements OP_TIMES for type int.
private static final Applicable	Z_TIMES_REAL	Implements OP_TIMES for type real.

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Codes()

Method Summary

Modifier and Type	Method	Description
static Applicable	aggregate(Environment env0, Code aggregateCode, List<String> names, @Nullable Code argumentCode)
private static ApplicableImpl	all(BuiltIn builtIn)
static Code	andAlso(Code code0, Code code1)	Returns a Code that evaluates "andalso".
static StringBuilder	appendFloat(StringBuilder buf, float f)
static Code	apply(Applicable fnValue, Code argCode)	Generates the code for applying a function value to an argument.
static Code	apply(Code fnCode, Code argCode)	Generates the code for applying a function (or function value) to an argument.
static Code	apply2(Applicable2 fnValue, Code argCode0, Code argCode1)	Generates the code for applying a function value to two arguments.
static Code	apply3(Applicable3 fnValue, Code argCode0, Code argCode1, Code argCode2)	Generates the code for applying a function value to three arguments.
private static ApplicableImpl	charContains(String s, boolean negate)	Implement CHAR_CONTAINS and CHAR_NOT_CONTAINS.
private static ApplicableImpl	collate(BuiltIn builtIn)
private static Applicable	collate(Applicable comparator)
static Codes.RowSink	collectRowSink(Code code)	Creates a Codes.RowSink to collect the results of a from expression.
static Code	constant(Object value)	Returns a Code that evaluates to the same value in all environments.
static String	describe(Code code)	Describes a Code.
private static ApplicableImpl	empty(BuiltIn builtIn)
static EvalEnv	emptyEnv()	Creates an empty evaluation environment.
static EvalEnv	emptyEnvWith(Session session, Environment env)	Creates an evaluation environment that contains the bound values from a compilation environment.
static Environment	env(TypeSystem typeSystem, Environment environment)	Creates a compilation environment.
static Codes.RowSink	exceptRowSink(boolean distinct, com.google.common.collect.ImmutableList<Code> codes, com.google.common.collect.ImmutableList<String> names, Codes.RowSink rowSink)	Creates a Codes.RowSink for an except step.
private static ApplicableImpl	exists(BuiltIn builtIn)
private static Applicable	fieldsTokens(BuiltIn builtIn)
private static Applicable	fieldsTokens2(BuiltIn builtIn, Applicable applicable)
private static ApplicableImpl	find(BuiltIn builtIn)
private static Applicable	find(Applicable f)
static Codes.RowSink	firstRowSink(Codes.RowSink rowSink)	Creates a Codes.RowSink that starts all downstream row sinks.
static String	floatToString(float f)	Converts a Java float to the format expected of Standard ML real values.
private static String	floatToString0(float f)
static Code	from(Supplier<Codes.RowSink> rowSinkFactory)
private static Map<Applicable,BuiltIn>	get()
static Code	get(String name)	Returns a Code that returns the value of variable "name" in the current environment.
static Code	getTuple(Iterable<String> names)	Returns a Code that returns a tuple consisting of the values of variables "name0", ...
static Codes.RowSink	groupRowSink(Code keyCode, com.google.common.collect.ImmutableList<Applicable> aggregateCodes, com.google.common.collect.ImmutableList<String> inNames, com.google.common.collect.ImmutableList<String> keyNames, com.google.common.collect.ImmutableList<String> outNames, Codes.RowSink rowSink)	Creates a Codes.RowSink for a group step.
private static ApplicableImpl	identity(BuiltIn builtIn)	Returns an Applicable that returns its argument.
static Codes.RowSink	intersectRowSink(boolean distinct, com.google.common.collect.ImmutableList<Code> codes, com.google.common.collect.ImmutableList<String> names, Codes.RowSink rowSink)	Creates a Codes.RowSink for an intersect step.
static boolean	isNegative(float f)	Returns whether a float is negative.
private static Applicable	isPrefix(String s)
private static Applicable	isSubstring(String s)
private static Applicable	isSuffix(String s)
private static ApplicableImpl	length(BuiltIn builtIn)
static Code	let(List<Code> matchCodes, Code resultCode)
static Code	list(Iterable<? extends Code> codes)
private static Applicable	listAll(Applicable f)
private static Applicable	listApp(Applicable consumer)
private static ApplicableImpl	listApp0(BuiltIn builtIn)
private static ApplicableImpl	listConcat(BuiltIn builtIn)
private static Applicable2<List,List,Integer>	listDrop(BuiltIn builtIn)
private static Applicable	listExists(Applicable f)
private static Applicable	listFilter(Applicable f)
private static Applicable	listFilter0(BuiltIn builtIn)
private static Applicable	listFold(boolean left, Applicable f)
private static ApplicableImpl	listFold0(BuiltIn builtIn, boolean left)
private static Applicable	listFold2(boolean left, Applicable f, Object init)
private static ApplicableImpl	listGetItem(BuiltIn builtIn)
private static Applicable	listMap(Applicable fn)
private static Applicable	listMap0(BuiltIn builtIn)
private static Applicable	listMapi(Applicable f)	Implements LIST_MAPI, VECTOR_MAPI.
private static Applicable	listMapPartial(Applicable f)
private static Applicable	listMapPartial0(BuiltIn builtIn)
private static Applicable	listPartition(Applicable f)
private static ApplicableImpl	listPartition0(BuiltIn builtIn)
private static EvalEnv	makeEmptyEnv()
private static ApplicableImpl	nonEmpty(BuiltIn builtIn)
static Applicable	nth(int slot)	Returns an applicable that returns the slotth field of a tuple or record.
private static Applicable	optionApp(Applicable f)	Implements OPTION_APP.
private static Applicable	optionCompose(Applicable f, Applicable g)	Implements OPTION_COMPOSE.
private static Applicable	optionComposePartial(Applicable f, Applicable g)	Implements OPTION_COMPOSE_PARTIAL.
private static Applicable	optionFilter(Applicable f)	Implementation of OPTION_FILTER.
private static Applicable	optionMap(Applicable f)	Implements OPTION_MAP.
private static Applicable	optionMapPartial(Applicable f)	Implements OPTION_MAP_PARTIAL.
private static List	optionSome(Object o)	Creates a value of SOME v.
(package private) static List	order(int c)	Converts the result of Comparable.compareTo(Object) to an Order value.
static Codes.RowSink	orderRowSink(Code code, Comparator comparator, Core.StepEnv env, Codes.RowSink rowSink)	Creates a Codes.RowSink for an order step.
static Code	ordinalGet(int[] ordinalSlots)
static Code	ordinalInc(int[] ordinalSlots, Code nextCode)	Helper for ordinalGet(int[]).
static Code	orElse(Code code0, Code code1)	Returns a Code that evaluates "orelse".
private static void	populateBuiltIns(Map<String,Object> valueMap)
static Codes.RowSink	scanRowSink(Op op, Core.Pat pat, Code code, Code conditionCode, Codes.RowSink rowSink)	Creates a Codes.RowSink for a join step.
static Codes.RowSink	skipRowSink(Code skipCode, Codes.RowSink rowSink)	Creates a Codes.RowSink for a skip step.
private static Applicable	stringCollate(Applicable comparator)
private static String	stringConcat(Pos pos, String separator, List<String> list)
private static Applicable	stringMap(Applicable f)
static Code	strip(Code code)	Removes wrappers, in particular the one due to wrapRelList(Code).
private static Core.Exp	sysEnv(TypeSystem typeSystem, Environment env, Type argType)
static Codes.RowSink	takeRowSink(Code takeCode, Codes.RowSink rowSink)	Creates a Codes.RowSink for a take step.
private static Applicable	translate(Applicable f)
static Code	tuple(Iterable<? extends Code> codes)
static Applicable	tyCon(Type dataType, String name)	Returns an applicable that constructs an instance of a datatype.
private static ApplicableImpl	union(BuiltIn builtIn)
static Codes.RowSink	unionRowSink(boolean distinct, com.google.common.collect.ImmutableList<Code> codes, com.google.common.collect.ImmutableList<String> names, Codes.RowSink rowSink)	Creates a Codes.RowSink for an except, intersect or union step.
private static Applicable	vectorApp(Applicable f)	Implements VECTOR_APP.
private static Applicable	vectorAppi(Applicable f)	Implements VECTOR_APPI.
private static Applicable	vectorFindi(Applicable f)	Implements VECTOR_FINDI.
private static Applicable	vectorMap(Applicable f)	Implements VECTOR_MAP.
static Codes.RowSink	whereRowSink(Code filterCode, Codes.RowSink rowSink)	Creates a Codes.RowSink for a where step.
static Code	wrapRelList(Code code)
static Codes.RowSink	yieldRowSink(Map<String,Code> yieldCodes, Codes.RowSink rowSink)	Creates a Codes.RowSink for a non-terminal yield step.

Methods inherited from class java.lang.Object

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

Field Details

FLOAT_TO_STRING

private static final Function<Float,String> FLOAT_TO_STRING

Converts a float to a String per the JDK.

NEGATIVE_NAN

public static final float NEGATIVE_NAN

A special value that represents Standard ML "~NaN".

OPTION_NONE

private static final List OPTION_NONE

Value of BuiltIn.Constructor.OPTION_NONE.

See Also:

• optionSome(Object)

OP_EQ

private static final Applicable OP_EQ

See Also:

• BuiltIn.OP_EQ

OP_NE

private static final Applicable OP_NE

See Also:

• BuiltIn.OP_NE

OP_LT

private static final Applicable OP_LT

See Also:

• BuiltIn.OP_LT

OP_GT

private static final Applicable OP_GT

See Also:

• BuiltIn.OP_GT

OP_LE

private static final Applicable OP_LE

See Also:

• BuiltIn.OP_LE

OP_GE

private static final Applicable OP_GE

See Also:

• BuiltIn.OP_GE

OP_ELEM

private static final Applicable OP_ELEM

See Also:

• BuiltIn.OP_ELEM

OP_NOT_ELEM

private static final Applicable OP_NOT_ELEM

See Also:

• BuiltIn.OP_NOT_ELEM

Z_NEGATE_INT

private static final Applicable Z_NEGATE_INT

Implements OP_NEGATE for type int.

Z_NEGATE_REAL

private static final Applicable Z_NEGATE_REAL

Implements OP_NEGATE for type real.

Z_PLUS_INT

private static final Applicable Z_PLUS_INT

Implements OP_PLUS for type int.

Z_PLUS_REAL

private static final Applicable Z_PLUS_REAL

Implements OP_PLUS for type real.

Z_MINUS_INT

private static final Applicable Z_MINUS_INT

Implements OP_MINUS for type int.

Z_MINUS_REAL

private static final Applicable Z_MINUS_REAL

Implements OP_MINUS for type real.

Z_TIMES_INT

private static final Applicable Z_TIMES_INT

Implements OP_TIMES for type int.

Z_TIMES_REAL

private static final Applicable Z_TIMES_REAL

Implements OP_TIMES for type real.

Z_DIVIDE_INT

private static final Applicable Z_DIVIDE_INT

Implements OP_DIVIDE for type int.

Z_DIVIDE_REAL

private static final Applicable Z_DIVIDE_REAL

Implements OP_DIVIDE for type real.

OP_NEGATE

private static final Macro OP_NEGATE

See Also:

• BuiltIn.OP_NEGATE

OP_DIVIDE

private static final Macro OP_DIVIDE

See Also:

• BuiltIn.OP_DIVIDE

OP_DIV

private static final Applicable OP_DIV

See Also:

• BuiltIn.OP_DIV

GENERAL_OP_O

private static final Applicable GENERAL_OP_O

See Also:

• BuiltIn.GENERAL_OP_O

CHAR_CHR

private static final Applicable CHAR_CHR

See Also:

• BuiltIn.CHAR_CHR

CHAR_COMPARE

private static final Applicable CHAR_COMPARE

See Also:

• BuiltIn.CHAR_COMPARE

CHAR_CONTAINS

private static final Applicable CHAR_CONTAINS

See Also:

• BuiltIn.CHAR_CONTAINS

CHAR_FROM_CSTRING

private static final Applicable CHAR_FROM_CSTRING

See Also:

• BuiltIn.CHAR_FROM_CSTRING

CHAR_FROM_STRING

private static final Applicable CHAR_FROM_STRING

See Also:

• BuiltIn.CHAR_FROM_STRING

CHAR_IS_ALPHA

private static final Applicable CHAR_IS_ALPHA

See Also:

• BuiltIn.CHAR_IS_ALPHA

CHAR_IS_ALPHA_NUM

private static final Applicable CHAR_IS_ALPHA_NUM

See Also:

• BuiltIn.CHAR_IS_ALPHA_NUM

CHAR_IS_ASCII

private static final Applicable CHAR_IS_ASCII

See Also:

• BuiltIn.CHAR_IS_ASCII

CHAR_IS_CNTRL

private static final Applicable CHAR_IS_CNTRL

See Also:

• BuiltIn.CHAR_IS_CNTRL

CHAR_IS_DIGIT

private static final Applicable CHAR_IS_DIGIT

See Also:

• BuiltIn.CHAR_IS_DIGIT

CHAR_IS_GRAPH

private static final Applicable CHAR_IS_GRAPH

See Also:

• BuiltIn.CHAR_IS_GRAPH

CHAR_IS_HEX_DIGIT

private static final Applicable CHAR_IS_HEX_DIGIT

See Also:

• BuiltIn.CHAR_IS_HEX_DIGIT

CHAR_IS_LOWER

private static final Applicable CHAR_IS_LOWER

See Also:

• BuiltIn.CHAR_IS_LOWER

CHAR_IS_PRINT

private static final Applicable CHAR_IS_PRINT

See Also:

• BuiltIn.CHAR_IS_PRINT

CHAR_IS_PUNCT

private static final Applicable CHAR_IS_PUNCT

See Also:

• BuiltIn.CHAR_IS_PUNCT

CHAR_IS_SPACE

private static final Applicable CHAR_IS_SPACE

See Also:

• BuiltIn.CHAR_IS_SPACE

CHAR_IS_UPPER

private static final Applicable CHAR_IS_UPPER

See Also:

• BuiltIn.CHAR_IS_UPPER

CHAR_MAX_CHAR

private static final Character CHAR_MAX_CHAR

See Also:

• BuiltIn.CHAR_MAX_CHAR

CHAR_MAX_ORD

private static final Integer CHAR_MAX_ORD

See Also:

• BuiltIn.CHAR_MAX_ORD

CHAR_MIN_CHAR

private static final Character CHAR_MIN_CHAR

See Also:

• BuiltIn.CHAR_MIN_CHAR

CHAR_NOT_CONTAINS

private static final Applicable CHAR_NOT_CONTAINS

See Also:

• BuiltIn.CHAR_NOT_CONTAINS

CHAR_OP_GE

private static final Applicable CHAR_OP_GE

See Also:

• BuiltIn.CHAR_OP_GE

CHAR_OP_GT

private static final Applicable CHAR_OP_GT

See Also:

• BuiltIn.CHAR_OP_GT

CHAR_OP_LE

private static final Applicable CHAR_OP_LE

See Also:

• BuiltIn.CHAR_OP_LE

CHAR_OP_LT

private static final Applicable CHAR_OP_LT

See Also:

• BuiltIn.CHAR_OP_LT

CHAR_ORD

private static final Applicable CHAR_ORD

See Also:

• BuiltIn.CHAR_ORD

CHAR_PRED

private static final Applicable CHAR_PRED

See Also:

• BuiltIn.CHAR_PRED

CHAR_SUCC

private static final Applicable CHAR_SUCC

See Also:

• BuiltIn.CHAR_SUCC

CHAR_TO_CSTRING

private static final Applicable CHAR_TO_CSTRING

See Also:

• BuiltIn.CHAR_TO_CSTRING

CHAR_TO_LOWER

private static final Applicable CHAR_TO_LOWER

See Also:

• BuiltIn.CHAR_TO_LOWER

CHAR_TO_STRING

private static final Applicable CHAR_TO_STRING

See Also:

• BuiltIn.CHAR_TO_STRING

CHAR_TO_UPPER

private static final Applicable CHAR_TO_UPPER

See Also:

• BuiltIn.CHAR_TO_UPPER

INT_ABS

private static final Applicable INT_ABS

See Also:

• BuiltIn.INT_ABS

INT_COMPARE

private static final Applicable INT_COMPARE

See Also:

• BuiltIn.INT_COMPARE

INT_FROM_INT

private static final Applicable INT_FROM_INT

See Also:

• BuiltIn.INT_FROM_INT

INT_FROM_LARGE

private static final Applicable INT_FROM_LARGE

See Also:

• BuiltIn.INT_FROM_LARGE

INT_PATTERN

static final Pattern INT_PATTERN

Pattern for integers (after '~' has been converted to '-'). ".", ".e", ".e-", ".e5", "e7", "2.", ".5", "2.e5" are invalid; "-2", "5" are valid.

INT_FROM_STRING

private static final Applicable INT_FROM_STRING

See Also:

• BuiltIn.INT_FROM_STRING

INT_MAX

private static final Applicable INT_MAX

See Also:

• BuiltIn.INT_MAX

INT_MAX_INT

private static final List INT_MAX_INT

See Also:

• BuiltIn.INT_MAX_INT

INT_MIN

private static final Applicable INT_MIN

See Also:

• BuiltIn.INT_MIN

INT_MIN_INT

private static final List INT_MIN_INT

See Also:

• BuiltIn.INT_MIN_INT

INT_DIV

private static final Applicable INT_DIV

See Also:

• BuiltIn.INT_DIV

INT_MOD

private static final Applicable INT_MOD

See Also:

• BuiltIn.INT_MOD

INT_PRECISION

private static final List INT_PRECISION

See Also:

• BuiltIn.INT_PRECISION

INT_QUOT

private static final Applicable INT_QUOT

See Also:

• BuiltIn.INT_QUOT

INT_REM

private static final Applicable INT_REM

See Also:

• BuiltIn.INT_REM

INT_SAME_SIGN

private static final Applicable INT_SAME_SIGN

See Also:

• BuiltIn.INT_SAME_SIGN

INT_SIGN

private static final Applicable INT_SIGN

See Also:

• BuiltIn.INT_SIGN

INT_TO_INT

private static final Applicable INT_TO_INT

See Also:

• BuiltIn.INT_TO_INT

INT_TO_LARGE

private static final Applicable INT_TO_LARGE

See Also:

• BuiltIn.INT_TO_LARGE

INT_TO_STRING

private static final Applicable INT_TO_STRING

See Also:

• BuiltIn.INT_TO_STRING

INTERACT_USE

private static final Applicable INTERACT_USE

See Also:

• BuiltIn.INTERACT_USE

INTERACT_USE_SILENTLY

private static final Applicable INTERACT_USE_SILENTLY

See Also:

• BuiltIn.INTERACT_USE_SILENTLY

OP_CARET

private static final Applicable OP_CARET

See Also:

• BuiltIn.OP_CARET

OP_CONS

private static final Applicable OP_CONS

See Also:

• BuiltIn.OP_CONS

NOT

private static final Applicable NOT

An applicable that negates a boolean value.

ABS

private static final Applicable ABS

An applicable that returns the absolute value of an int.

IGNORE

private static final Applicable IGNORE

See Also:

• BuiltIn.IGNORE

OP_MINUS

private static final Macro OP_MINUS

See Also:

• BuiltIn.OP_MINUS

OP_MOD

private static final Applicable OP_MOD

See Also:

• BuiltIn.OP_MOD

OP_PLUS

private static final Macro OP_PLUS

See Also:

• BuiltIn.OP_PLUS

OP_TIMES

private static final Macro OP_TIMES

See Also:

• BuiltIn.OP_TIMES

STRING_MAX_SIZE

private static final Integer STRING_MAX_SIZE

See Also:

• BuiltIn.STRING_MAX_SIZE

STRING_OP_CARET

private static final Applicable STRING_OP_CARET

See Also:

• BuiltIn.STRING_OP_CARET

STRING_OP_GE

private static final Applicable STRING_OP_GE

See Also:

• BuiltIn.STRING_OP_GE

STRING_OP_GT

private static final Applicable STRING_OP_GT

See Also:

• BuiltIn.STRING_OP_GT

STRING_OP_LE

private static final Applicable STRING_OP_LE

See Also:

• BuiltIn.STRING_OP_LE

STRING_OP_LT

private static final Applicable STRING_OP_LT

See Also:

• BuiltIn.STRING_OP_LT

STRING_SIZE

private static final Applicable STRING_SIZE

See Also:

• BuiltIn.STRING_SIZE

STRING_SUB

private static final Applicable STRING_SUB

See Also:

• BuiltIn.STRING_SUB

STRING_COLLATE

private static final Applicable STRING_COLLATE

See Also:

• BuiltIn.STRING_COLLATE

STRING_COMPARE

private static final Applicable STRING_COMPARE

See Also:

• BuiltIn.STRING_COMPARE

STRING_EXTRACT

private static final Applicable STRING_EXTRACT

See Also:

• BuiltIn.STRING_EXTRACT

STRING_FIELDS

private static final Applicable STRING_FIELDS

See Also:

• BuiltIn.STRING_FIELDS

STRING_TOKENS

private static final Applicable STRING_TOKENS

See Also:

• BuiltIn.STRING_TOKENS

STRING_SUBSTRING

private static final Applicable STRING_SUBSTRING

See Also:

• BuiltIn.STRING_SUBSTRING

STRING_CONCAT

private static final Applicable STRING_CONCAT

See Also:

• BuiltIn.STRING_CONCAT

STRING_CONCAT_WITH

private static final Applicable STRING_CONCAT_WITH

See Also:

• BuiltIn.STRING_CONCAT_WITH

STRING_STR

private static final Applicable STRING_STR

See Also:

• BuiltIn.STRING_STR

STRING_IMPLODE

private static final Applicable STRING_IMPLODE

See Also:

• BuiltIn.STRING_IMPLODE

STRING_EXPLODE

private static final Applicable STRING_EXPLODE

See Also:

• BuiltIn.STRING_EXPLODE

STRING_MAP

private static final Applicable STRING_MAP

See Also:

• BuiltIn.STRING_MAP

STRING_TRANSLATE

private static final Applicable STRING_TRANSLATE

See Also:

• BuiltIn.STRING_TRANSLATE

STRING_IS_PREFIX

private static final Applicable STRING_IS_PREFIX

See Also:

• BuiltIn.STRING_IS_PREFIX

STRING_IS_SUBSTRING

private static final Applicable STRING_IS_SUBSTRING

See Also:

• BuiltIn.STRING_IS_SUBSTRING

STRING_IS_SUFFIX

private static final Applicable STRING_IS_SUFFIX

See Also:

• BuiltIn.STRING_IS_SUFFIX

LIST_NULL

private static final Applicable LIST_NULL

See Also:

• BuiltIn.LIST_NULL

LIST_LENGTH

private static final Applicable LIST_LENGTH

See Also:

• BuiltIn.LIST_LENGTH

LIST_AT

private static final Applicable LIST_AT

See Also:

• BuiltIn.LIST_AT

LIST_HD

private static final Applicable LIST_HD

See Also:

• BuiltIn.LIST_HD

LIST_TL

private static final Applicable LIST_TL

See Also:

• BuiltIn.LIST_TL

LIST_LAST

private static final Applicable LIST_LAST

See Also:

• BuiltIn.LIST_LAST

LIST_GET_ITEM

private static final Applicable LIST_GET_ITEM

See Also:

• BuiltIn.LIST_GET_ITEM

LIST_NTH

private static final Applicable LIST_NTH

See Also:

• BuiltIn.LIST_NTH

LIST_TAKE

private static final Applicable LIST_TAKE

See Also:

• BuiltIn.LIST_TAKE

LIST_DROP

private static final Applicable LIST_DROP

See Also:

• BuiltIn.LIST_DROP

LIST_REV

private static final Applicable LIST_REV

See Also:

• BuiltIn.LIST_REV

LIST_CONCAT

private static final Applicable LIST_CONCAT

See Also:

• BuiltIn.LIST_CONCAT

LIST_EXCEPT

private static final Applicable LIST_EXCEPT

See Also:

• BuiltIn.LIST_EXCEPT

LIST_INTERSECT

private static final Applicable LIST_INTERSECT

See Also:

• BuiltIn.LIST_INTERSECT

LIST_REV_APPEND

private static final Applicable LIST_REV_APPEND

See Also:

• BuiltIn.LIST_REV_APPEND

LIST_APP

private static final Applicable LIST_APP

See Also:

• BuiltIn.LIST_APP

LIST_MAPI

private static final Applicable LIST_MAPI

See Also:

• BuiltIn.LIST_MAPI

LIST_MAP

private static final Applicable LIST_MAP

See Also:

• BuiltIn.LIST_MAP

LIST_MAP_PARTIAL

private static final Applicable LIST_MAP_PARTIAL

See Also:

• BuiltIn.LIST_MAP_PARTIAL

LIST_FIND

private static final Applicable LIST_FIND

See Also:

• BuiltIn.LIST_FIND

LIST_FILTER

private static final Applicable LIST_FILTER

See Also:

• BuiltIn.LIST_FILTER

LIST_PARTITION

private static final Applicable LIST_PARTITION

See Also:

• BuiltIn.LIST_PARTITION

LIST_FOLDL

private static final Applicable LIST_FOLDL

See Also:

• BuiltIn.LIST_FOLDL

LIST_FOLDR

private static final Applicable LIST_FOLDR

See Also:

• BuiltIn.LIST_FOLDR

LIST_EXISTS

private static final Applicable LIST_EXISTS

See Also:

• BuiltIn.LIST_EXISTS

LIST_ALL

private static final Applicable LIST_ALL

See Also:

• BuiltIn.LIST_ALL

LIST_TABULATE

private static final Applicable LIST_TABULATE

See Also:

• BuiltIn.LIST_TABULATE

LIST_COLLATE

private static final Applicable LIST_COLLATE

See Also:

• BuiltIn.LIST_COLLATE

MATH_ACOS

private static final Applicable MATH_ACOS

See Also:

• BuiltIn.MATH_ACOS

MATH_ASIN

private static final Applicable MATH_ASIN

See Also:

• BuiltIn.MATH_ASIN

MATH_ATAN

private static final Applicable MATH_ATAN

See Also:

• BuiltIn.MATH_ATAN

MATH_ATAN2

private static final Applicable MATH_ATAN2

See Also:

• BuiltIn.MATH_ATAN2

MATH_COS

private static final Applicable MATH_COS

See Also:

• BuiltIn.MATH_COS

MATH_COSH

private static final Applicable MATH_COSH

See Also:

• BuiltIn.MATH_COSH

MATH_E

private static final float MATH_E

See Also:

• BuiltIn.MATH_E
• Constant Field Values

MATH_EXP

private static final Applicable MATH_EXP

See Also:

• BuiltIn.MATH_EXP

MATH_LN

private static final Applicable MATH_LN

See Also:

• BuiltIn.MATH_LN

MATH_LOG10

private static final Applicable MATH_LOG10

See Also:

• BuiltIn.MATH_LOG10

MATH_PI

private static final float MATH_PI

See Also:

• BuiltIn.MATH_PI
• Constant Field Values

MATH_POW

private static final Applicable MATH_POW

See Also:

• BuiltIn.MATH_POW

MATH_SIN

private static final Applicable MATH_SIN

See Also:

• BuiltIn.MATH_SIN

MATH_SINH

private static final Applicable MATH_SINH

See Also:

• BuiltIn.MATH_SINH

MATH_SQRT

private static final Applicable MATH_SQRT

See Also:

• BuiltIn.MATH_SQRT

MATH_TAN

private static final Applicable MATH_TAN

See Also:

• BuiltIn.MATH_TAN

MATH_TANH

private static final Applicable MATH_TANH

See Also:

• BuiltIn.MATH_TANH

OPTION_APP

private static final Applicable OPTION_APP

See Also:

• BuiltIn.OPTION_APP

OPTION_GET_OPT

private static final Applicable OPTION_GET_OPT

See Also:

• BuiltIn.OPTION_GET_OPT

OPTION_IS_SOME

private static final Applicable OPTION_IS_SOME

See Also:

• BuiltIn.OPTION_IS_SOME

OPTION_VAL_OF

private static final Applicable OPTION_VAL_OF

See Also:

• BuiltIn.OPTION_VAL_OF

OPTION_FILTER

private static final Applicable OPTION_FILTER

See Also:

• BuiltIn.OPTION_FILTER

OPTION_JOIN

private static final Applicable OPTION_JOIN

See Also:

• BuiltIn.OPTION_JOIN

OPTION_MAP

private static final Applicable OPTION_MAP

See Also:

• BuiltIn.OPTION_MAP

OPTION_MAP_PARTIAL

private static final Applicable OPTION_MAP_PARTIAL

See Also:

• BuiltIn.OPTION_MAP_PARTIAL

OPTION_COMPOSE

private static final Applicable OPTION_COMPOSE

See Also:

• BuiltIn.OPTION_COMPOSE

OPTION_COMPOSE_PARTIAL

private static final Applicable OPTION_COMPOSE_PARTIAL

See Also:

• BuiltIn.OPTION_COMPOSE_PARTIAL

REAL_ABS

private static final Applicable REAL_ABS

See Also:

• BuiltIn.REAL_ABS

REAL_CEIL

private static final Applicable REAL_CEIL

See Also:

• BuiltIn.REAL_CEIL

REAL_CHECK_FLOAT

private static final Applicable REAL_CHECK_FLOAT

See Also:

• BuiltIn.REAL_CHECK_FLOAT

REAL_COMPARE

private static final Applicable REAL_COMPARE

See Also:

• BuiltIn.REAL_COMPARE

REAL_COPY_SIGN

private static final Applicable REAL_COPY_SIGN

See Also:

• BuiltIn.REAL_COPY_SIGN

REAL_FLOOR

private static final Applicable REAL_FLOOR

See Also:

• BuiltIn.REAL_FLOOR

REAL_FROM_INT

private static final Applicable REAL_FROM_INT

See Also:

• BuiltIn.REAL_FROM_INT

REAL_FROM_MAN_EXP

private static final Applicable REAL_FROM_MAN_EXP

See Also:

• BuiltIn.REAL_FROM_MAN_EXP

FLOAT_PATTERN

static final Pattern FLOAT_PATTERN

Pattern for floating point numbers (after '~' has been converted to '-'). ".", ".e", ".e-", ".e5", "e7" are invalid; "2.", ".5", "2.e5", "2.e" are valid.

REAL_FROM_STRING

private static final Applicable REAL_FROM_STRING

See Also:

• BuiltIn.REAL_FROM_STRING

REAL_IS_FINITE

private static final Applicable REAL_IS_FINITE

See Also:

• BuiltIn.REAL_IS_FINITE

REAL_IS_NAN

private static final Applicable REAL_IS_NAN

See Also:

• BuiltIn.REAL_IS_NAN

REAL_IS_NORMAL

private static final Applicable REAL_IS_NORMAL

See Also:

• BuiltIn.REAL_IS_NORMAL

REAL_NEG_INF

private static final float REAL_NEG_INF

See Also:

• BuiltIn.REAL_NEG_INF
• Constant Field Values

REAL_POS_INF

private static final float REAL_POS_INF

See Also:

• BuiltIn.REAL_POS_INF
• Constant Field Values

REAL_RADIX

private static final int REAL_RADIX

See Also:

• BuiltIn.REAL_RADIX
• Constant Field Values

REAL_PRECISION

private static final int REAL_PRECISION

See Also:

• BuiltIn.REAL_PRECISION
• Constant Field Values

REAL_MIN

private static final Applicable REAL_MIN

See Also:

• BuiltIn.REAL_MIN

REAL_MAX

private static final Applicable REAL_MAX

See Also:

• BuiltIn.REAL_MAX

REAL_MAX_FINITE

private static final float REAL_MAX_FINITE

See Also:

• BuiltIn.REAL_MAX_FINITE
• Constant Field Values

REAL_MIN_POS

private static final float REAL_MIN_POS

See Also:

• BuiltIn.REAL_MIN_POS
• Constant Field Values

REAL_MIN_NORMAL_POS

private static final float REAL_MIN_NORMAL_POS

See Also:

• BuiltIn.REAL_MIN_NORMAL_POS
• Constant Field Values

REAL_REAL_MOD

private static final Applicable REAL_REAL_MOD

See Also:

• BuiltIn.REAL_REAL_MOD

REAL_REAL_CEIL

private static final Applicable REAL_REAL_CEIL

See Also:

• BuiltIn.REAL_REAL_CEIL

REAL_REAL_FLOOR

private static final Applicable REAL_REAL_FLOOR

See Also:

• BuiltIn.REAL_REAL_FLOOR

REAL_REAL_ROUND

private static final Applicable REAL_REAL_ROUND

See Also:

• BuiltIn.REAL_REAL_ROUND

REAL_REAL_TRUNC

private static final Applicable REAL_REAL_TRUNC

See Also:

• BuiltIn.REAL_REAL_TRUNC

REAL_REM

private static final Applicable REAL_REM

See Also:

• BuiltIn.REAL_REM

REAL_ROUND

private static final Applicable REAL_ROUND

See Also:

• BuiltIn.REAL_ROUND

REAL_SAME_SIGN

private static final Applicable REAL_SAME_SIGN

See Also:

• BuiltIn.REAL_SAME_SIGN

REAL_SIGN

private static final Applicable REAL_SIGN

See Also:

• BuiltIn.REAL_SIGN

REAL_SIGN_BIT

private static final Applicable REAL_SIGN_BIT

See Also:

• BuiltIn.REAL_SIGN_BIT

REAL_SPLIT

private static final Applicable REAL_SPLIT

See Also:

• BuiltIn.REAL_SPLIT

REAL_TO_MAN_EXP

private static final Applicable REAL_TO_MAN_EXP

See Also:

• BuiltIn.REAL_TO_MAN_EXP

REAL_TO_STRING

private static final Applicable REAL_TO_STRING

See Also:

• BuiltIn.REAL_TO_STRING

REAL_TRUNC

private static final Applicable REAL_TRUNC

See Also:

• BuiltIn.REAL_TRUNC

REAL_UNORDERED

private static final Applicable REAL_UNORDERED

See Also:

• BuiltIn.REAL_UNORDERED

RELATIONAL_COMPARE

private static final Applicable RELATIONAL_COMPARE

See Also:

• BuiltIn.RELATIONAL_COMPARE

RELATIONAL_COUNT

private static final Applicable RELATIONAL_COUNT

See Also:

• BuiltIn.RELATIONAL_COUNT

RELATIONAL_NON_EMPTY

private static final Applicable RELATIONAL_NON_EMPTY

See Also:

• BuiltIn.RELATIONAL_NON_EMPTY

RELATIONAL_EMPTY

private static final Applicable RELATIONAL_EMPTY

See Also:

• BuiltIn.RELATIONAL_EMPTY

RELATIONAL_ITERATE

private static final Applicable RELATIONAL_ITERATE

See Also:

• BuiltIn.RELATIONAL_ITERATE

RELATIONAL_ONLY

private static final Applicable RELATIONAL_ONLY

See Also:

• BuiltIn.RELATIONAL_ONLY

Z_SUM_INT

private static final Applicable Z_SUM_INT

Implements RELATIONAL_SUM for type int list.

Z_SUM_REAL

private static final Applicable Z_SUM_REAL

Implements RELATIONAL_SUM for type real list.

RELATIONAL_SUM

private static final Macro RELATIONAL_SUM

See Also:

• BuiltIn.RELATIONAL_SUM

RELATIONAL_MIN

private static final Applicable RELATIONAL_MIN

See Also:

• BuiltIn.RELATIONAL_MIN

RELATIONAL_MAX

private static final Applicable RELATIONAL_MAX

See Also:

• BuiltIn.RELATIONAL_MAX

SYS_CLEAR_ENV

private static final Applicable SYS_CLEAR_ENV

See Also:

• BuiltIn.SYS_CLEAR_ENV

SYS_PLAN

private static final Applicable SYS_PLAN

See Also:

• BuiltIn.SYS_PLAN

SYS_SET

private static final Applicable SYS_SET

See Also:

• BuiltIn.SYS_SET

SYS_SHOW

private static final Applicable SYS_SHOW

See Also:

• BuiltIn.SYS_SHOW

SYS_SHOW_ALL

private static final Applicable SYS_SHOW_ALL

See Also:

• BuiltIn.SYS_SHOW_ALL

SYS_UNSET

private static final Applicable SYS_UNSET

See Also:

• BuiltIn.SYS_UNSET

ORDER_LESS

private static final List ORDER_LESS

See Also:

• BuiltIn.Constructor.ORDER_LESS

ORDER_EQUAL

private static final List ORDER_EQUAL

See Also:

• BuiltIn.Constructor.ORDER_EQUAL

ORDER_GREATER

private static final List ORDER_GREATER

See Also:

• BuiltIn.Constructor.ORDER_GREATER

VECTOR_MAX_LEN

private static final int VECTOR_MAX_LEN

See Also:

• BuiltIn.VECTOR_MAX_LEN
• Constant Field Values

VECTOR_FROM_LIST

private static final Applicable VECTOR_FROM_LIST

See Also:

• BuiltIn.VECTOR_FROM_LIST

VECTOR_TABULATE

private static final Applicable VECTOR_TABULATE

See Also:

• BuiltIn.VECTOR_TABULATE

VECTOR_LENGTH

private static final Applicable VECTOR_LENGTH

See Also:

• BuiltIn.VECTOR_LENGTH

VECTOR_SUB

private static final Applicable VECTOR_SUB

See Also:

• BuiltIn.VECTOR_SUB

VECTOR_UPDATE

private static final Applicable VECTOR_UPDATE

See Also:

• BuiltIn.VECTOR_UPDATE

VECTOR_CONCAT

private static final Applicable VECTOR_CONCAT

See Also:

• BuiltIn.VECTOR_CONCAT

VECTOR_APPI

private static final Applicable VECTOR_APPI

See Also:

• BuiltIn.VECTOR_APPI

VECTOR_APP

private static final Applicable VECTOR_APP

See Also:

• BuiltIn.VECTOR_APP

VECTOR_MAPI

private static final Applicable VECTOR_MAPI

See Also:

• BuiltIn.VECTOR_MAPI

VECTOR_MAP

private static final Applicable VECTOR_MAP

See Also:

• BuiltIn.VECTOR_MAP

VECTOR_FOLDLI

private static final Applicable VECTOR_FOLDLI

See Also:

• BuiltIn.VECTOR_FOLDLI

VECTOR_FOLDRI

private static final Applicable VECTOR_FOLDRI

See Also:

• BuiltIn.VECTOR_FOLDRI

VECTOR_FOLDL

private static final Applicable VECTOR_FOLDL

See Also:

• BuiltIn.VECTOR_FOLDL

VECTOR_FOLDR

private static final Applicable VECTOR_FOLDR

See Also:

• BuiltIn.VECTOR_FOLDR

VECTOR_FINDI

private static final Applicable VECTOR_FINDI

See Also:

• BuiltIn.VECTOR_FINDI

VECTOR_FIND

private static final Applicable VECTOR_FIND

See Also:

• BuiltIn.VECTOR_FIND

VECTOR_EXISTS

private static final Applicable VECTOR_EXISTS

See Also:

• BuiltIn.VECTOR_EXISTS

VECTOR_ALL

private static final Applicable VECTOR_ALL

See Also:

• BuiltIn.VECTOR_ALL

VECTOR_COLLATE

private static final Applicable VECTOR_COLLATE

See Also:

• BuiltIn.VECTOR_COLLATE

BAG_NULL

private static final Applicable BAG_NULL

See Also:

• BuiltIn.BAG_NULL

BAG_LENGTH

private static final Applicable BAG_LENGTH

See Also:

• BuiltIn.BAG_LENGTH

BAG_AT

private static final Applicable BAG_AT

See Also:

• BuiltIn.BAG_AT

BAG_HD

private static final Applicable BAG_HD

See Also:

• BuiltIn.BAG_HD

BAG_TL

private static final Applicable BAG_TL

See Also:

• BuiltIn.BAG_TL

BAG_GET_ITEM

private static final Applicable BAG_GET_ITEM

See Also:

• BuiltIn.BAG_GET_ITEM

BAG_NTH

private static final Applicable BAG_NTH

See Also:

• BuiltIn.BAG_NTH

BAG_TAKE

private static final Applicable BAG_TAKE

See Also:

• BuiltIn.BAG_TAKE

BAG_DROP

private static final Applicable BAG_DROP

See Also:

• BuiltIn.BAG_DROP

BAG_CONCAT

private static final Applicable BAG_CONCAT

See Also:

• BuiltIn.BAG_CONCAT

BAG_APP

private static final Applicable BAG_APP

See Also:

• BuiltIn.BAG_APP

BAG_MAP

private static final Applicable BAG_MAP

See Also:

• BuiltIn.BAG_MAP

BAG_MAP_PARTIAL

private static final Applicable BAG_MAP_PARTIAL

See Also:

• BuiltIn.BAG_MAP_PARTIAL

BAG_FIND

private static final Applicable BAG_FIND

See Also:

• BuiltIn.BAG_FIND

BAG_FILTER

private static final Applicable BAG_FILTER

See Also:

• BuiltIn.BAG_FILTER

BAG_PARTITION

private static final Applicable BAG_PARTITION

See Also:

• BuiltIn.BAG_PARTITION

BAG_FOLD

private static final Applicable BAG_FOLD

See Also:

• BuiltIn.BAG_FOLD

BAG_EXISTS

private static final Applicable BAG_EXISTS

See Also:

• BuiltIn.BAG_EXISTS

BAG_ALL

private static final Applicable BAG_ALL

See Also:

• BuiltIn.BAG_ALL

BAG_FROM_LIST

private static final Applicable BAG_FROM_LIST

See Also:

• BuiltIn.BAG_FROM_LIST

BAG_TO_LIST

private static final Applicable BAG_TO_LIST

See Also:

• BuiltIn.BAG_TO_LIST

BAG_TABULATE

private static final Applicable BAG_TABULATE

See Also:

• BuiltIn.BAG_TABULATE

Z_EXTENT

private static final Applicable Z_EXTENT

See Also:

• BuiltIn.Z_EXTENT

Z_LIST

private static final Applicable Z_LIST

See Also:

• BuiltIn.Z_LIST

BUILT_IN_VALUES

public static final com.google.common.collect.ImmutableMap<BuiltIn,Object> BUILT_IN_VALUES

BUILT_IN_MAP

public static final Map<Applicable,BuiltIn> BUILT_IN_MAP

EMPTY_ENV

private static final EvalEnv EMPTY_ENV

Constructor Details

Codes

private Codes()

Method Details

describe

public static String describe(Code code)

Describes a Code.

constant

public static Code constant(Object value)

Returns a Code that evaluates to the same value in all environments.

identity

private static ApplicableImpl identity(BuiltIn builtIn)

Returns an Applicable that returns its argument.

andAlso

public static Code andAlso(Code code0,
 Code code1)

Returns a Code that evaluates "andalso".

orElse

public static Code orElse(Code code0,
 Code code1)

Returns a Code that evaluates "orelse".

charContains

private static ApplicableImpl charContains(String s,
 boolean negate)

Implement CHAR_CONTAINS and CHAR_NOT_CONTAINS.

ordinalGet

public static Code ordinalGet(int[] ordinalSlots)

See Also:

• BuiltIn.Z_ORDINAL

ordinalInc

public static Code ordinalInc(int[] ordinalSlots,
 Code nextCode)

Helper for ordinalGet(int[]).

strip

public static Code strip(Code code)

Removes wrappers, in particular the one due to wrapRelList(Code).

get

public static Code get(String name)

Returns a Code that returns the value of variable "name" in the current environment.

getTuple

public static Code getTuple(Iterable<String> names)

Returns a Code that returns a tuple consisting of the values of variables "name0", ... "nameN" in the current environment.

let

public static Code let(List<Code> matchCodes,
 Code resultCode)

apply

public static Code apply(Code fnCode,
 Code argCode)

Generates the code for applying a function (or function value) to an argument.

apply

public static Code apply(Applicable fnValue,
 Code argCode)

Generates the code for applying a function value to an argument.

apply2

public static Code apply2(Applicable2 fnValue,
 Code argCode0,
 Code argCode1)

Generates the code for applying a function value to two arguments.

apply3

public static Code apply3(Applicable3 fnValue,
 Code argCode0,
 Code argCode1,
 Code argCode2)

Generates the code for applying a function value to three arguments.

list

public static Code list(Iterable<? extends Code> codes)

tuple

public static Code tuple(Iterable<? extends Code> codes)

wrapRelList

public static Code wrapRelList(Code code)

tyCon

public static Applicable tyCon(Type dataType,
 String name)

Returns an applicable that constructs an instance of a datatype. The instance is a list with two elements [constructorName, value].

from

public static Code from(Supplier<Codes.RowSink> rowSinkFactory)

scanRowSink

public static Codes.RowSink scanRowSink(Op op,
 Core.Pat pat,
 Code code,
 Code conditionCode,
 Codes.RowSink rowSink)

Creates a Codes.RowSink for a join step.

whereRowSink

public static Codes.RowSink whereRowSink(Code filterCode,
 Codes.RowSink rowSink)

Creates a Codes.RowSink for a where step.

skipRowSink

public static Codes.RowSink skipRowSink(Code skipCode,
 Codes.RowSink rowSink)

Creates a Codes.RowSink for a skip step.

takeRowSink

public static Codes.RowSink takeRowSink(Code takeCode,
 Codes.RowSink rowSink)

Creates a Codes.RowSink for a take step.

exceptRowSink

public static Codes.RowSink exceptRowSink(boolean distinct,
 com.google.common.collect.ImmutableList<Code> codes,
 com.google.common.collect.ImmutableList<String> names,
 Codes.RowSink rowSink)

Creates a Codes.RowSink for an except step.

intersectRowSink

public static Codes.RowSink intersectRowSink(boolean distinct,
 com.google.common.collect.ImmutableList<Code> codes,
 com.google.common.collect.ImmutableList<String> names,
 Codes.RowSink rowSink)

Creates a Codes.RowSink for an intersect step.

unionRowSink

public static Codes.RowSink unionRowSink(boolean distinct,
 com.google.common.collect.ImmutableList<Code> codes,
 com.google.common.collect.ImmutableList<String> names,
 Codes.RowSink rowSink)

Creates a Codes.RowSink for an except, intersect or union step.

orderRowSink

public static Codes.RowSink orderRowSink(Code code,
 Comparator comparator,
 Core.StepEnv env,
 Codes.RowSink rowSink)

Creates a Codes.RowSink for an order step.

groupRowSink

public static Codes.RowSink groupRowSink(Code keyCode,
 com.google.common.collect.ImmutableList<Applicable> aggregateCodes,
 com.google.common.collect.ImmutableList<String> inNames,
 com.google.common.collect.ImmutableList<String> keyNames,
 com.google.common.collect.ImmutableList<String> outNames,
 Codes.RowSink rowSink)

Creates a Codes.RowSink for a group step.

yieldRowSink

public static Codes.RowSink yieldRowSink(Map<String,Code> yieldCodes,
 Codes.RowSink rowSink)

Creates a Codes.RowSink for a non-terminal yield step.

collectRowSink

public static Codes.RowSink collectRowSink(Code code)

Creates a Codes.RowSink to collect the results of a from expression.

firstRowSink

public static Codes.RowSink firstRowSink(Codes.RowSink rowSink)

Creates a Codes.RowSink that starts all downstream row sinks.

nth

public static Applicable nth(int slot)

Returns an applicable that returns the slotth field of a tuple or record.

stringCollate

private static Applicable stringCollate(Applicable comparator)

fieldsTokens

private static Applicable fieldsTokens(BuiltIn builtIn)

fieldsTokens2

private static Applicable fieldsTokens2(BuiltIn builtIn,
 Applicable applicable)

stringConcat

private static String stringConcat(Pos pos,
 String separator,
 List<String> list)

stringMap

private static Applicable stringMap(Applicable f)

translate

private static Applicable translate(Applicable f)

isPrefix

private static Applicable isPrefix(String s)

isSubstring

private static Applicable isSubstring(String s)

isSuffix

private static Applicable isSuffix(String s)

length

private static ApplicableImpl length(BuiltIn builtIn)

union

private static ApplicableImpl union(BuiltIn builtIn)

listGetItem

private static ApplicableImpl listGetItem(BuiltIn builtIn)

listDrop

private static Applicable2<List,List,Integer> listDrop(BuiltIn builtIn)

listConcat

private static ApplicableImpl listConcat(BuiltIn builtIn)

listApp0

private static ApplicableImpl listApp0(BuiltIn builtIn)

listApp

private static Applicable listApp(Applicable consumer)

listMap0

private static Applicable listMap0(BuiltIn builtIn)

listMap

private static Applicable listMap(Applicable fn)

listMapPartial0

private static Applicable listMapPartial0(BuiltIn builtIn)

listMapPartial

private static Applicable listMapPartial(Applicable f)

find

private static ApplicableImpl find(BuiltIn builtIn)

find

private static Applicable find(Applicable f)

listFilter0

private static Applicable listFilter0(BuiltIn builtIn)

listFilter

private static Applicable listFilter(Applicable f)

listPartition0

private static ApplicableImpl listPartition0(BuiltIn builtIn)

listPartition

private static Applicable listPartition(Applicable f)

listFold0

private static ApplicableImpl listFold0(BuiltIn builtIn,
 boolean left)

listFold

private static Applicable listFold(boolean left,
 Applicable f)

listFold2

private static Applicable listFold2(boolean left,
 Applicable f,
 Object init)

exists

private static ApplicableImpl exists(BuiltIn builtIn)

listExists

private static Applicable listExists(Applicable f)

all

private static ApplicableImpl all(BuiltIn builtIn)

listAll

private static Applicable listAll(Applicable f)

collate

private static ApplicableImpl collate(BuiltIn builtIn)

collate

private static Applicable collate(Applicable comparator)

optionApp

private static Applicable optionApp(Applicable f)

Implements OPTION_APP.

optionFilter

private static Applicable optionFilter(Applicable f)

Implementation of OPTION_FILTER.

optionMap

private static Applicable optionMap(Applicable f)

Implements OPTION_MAP.

optionSome

private static List optionSome(Object o)

Creates a value of SOME v.

See Also:

• BuiltIn.Constructor.OPTION_SOME
• OPTION_NONE

optionMapPartial

private static Applicable optionMapPartial(Applicable f)

Implements OPTION_MAP_PARTIAL.

optionCompose

private static Applicable optionCompose(Applicable f,
 Applicable g)

Implements OPTION_COMPOSE.

optionComposePartial

private static Applicable optionComposePartial(Applicable f,
 Applicable g)

Implements OPTION_COMPOSE_PARTIAL.

isNegative

public static boolean isNegative(float f)

Returns whether a float is negative. This is the same as the specification of Real.signBit.

nonEmpty

private static ApplicableImpl nonEmpty(BuiltIn builtIn)

empty

private static ApplicableImpl empty(BuiltIn builtIn)

sysEnv

private static Core.Exp sysEnv(TypeSystem typeSystem,
 Environment env,
 Type argType)

See Also:

• BuiltIn.SYS_ENV

order

static List order(int c)

Converts the result of Comparable.compareTo(Object) to an Order value.

vectorAppi

private static Applicable vectorAppi(Applicable f)

Implements VECTOR_APPI.

vectorApp

private static Applicable vectorApp(Applicable f)

Implements VECTOR_APP.

listMapi

private static Applicable listMapi(Applicable f)

Implements LIST_MAPI, VECTOR_MAPI.

vectorMap

private static Applicable vectorMap(Applicable f)

Implements VECTOR_MAP.

vectorFindi

private static Applicable vectorFindi(Applicable f)

Implements VECTOR_FINDI.

populateBuiltIns

private static void populateBuiltIns(Map<String,Object> valueMap)

emptyEnv

public static EvalEnv emptyEnv()

Creates an empty evaluation environment.

emptyEnvWith

public static EvalEnv emptyEnvWith(Session session,
 Environment env)

Creates an evaluation environment that contains the bound values from a compilation environment.

env

public static Environment env(TypeSystem typeSystem,
 Environment environment)

Creates a compilation environment.

aggregate

public static Applicable aggregate(Environment env0,
 Code aggregateCode,
 List<String> names,
 @Nullable Code argumentCode)

get

private static Map<Applicable,BuiltIn> get()

makeEmptyEnv

private static EvalEnv makeEmptyEnv()

appendFloat

public static StringBuilder appendFloat(StringBuilder buf,
 float f)

floatToString

public static String floatToString(float f)

Converts a Java float to the format expected of Standard ML real values.

floatToString0

private static String floatToString0(float f)