Package net.hydromatic.morel.eval

Class Codes

java.lang.Object

net.hydromatic.morel.eval.Codes

public abstract class Codes
extends java.lang.Object

Helpers for Code.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Codes.TupleCode	A code that evaluates expressions and creates a tuple with the results.

Field Summary

Fields

Modifier and Type	Field	Description
private static Applicable	ABS	An applicable that returns the absolute value of an int.
private static com.google.common.collect.ImmutableMap<BuiltIn,java.lang.Object>	BUILT_IN_VALUES
private static Applicable	IGNORE
private static Applicable	LIST_ALL
private static Applicable	LIST_APP
private static Applicable	LIST_AT
private static Applicable	LIST_COLLATE
private static Applicable	LIST_CONCAT
private static Applicable	LIST_DROP
private static Applicable	LIST_EXISTS
private static Applicable	LIST_FILTER
private static Applicable	LIST_FIND
private static Applicable	LIST_FOLDL
private static Applicable	LIST_FOLDR
private static Applicable	LIST_GET_ITEM
private static Applicable	LIST_HD
private static Applicable	LIST_LAST
private static Applicable	LIST_LENGTH
private static Applicable	LIST_MAP
private static Applicable	LIST_NTH
private static Applicable	LIST_NULL
private static Applicable	LIST_PARTITION
private static Applicable	LIST_REV
private static Applicable	LIST_REV_APPEND
private static Applicable	LIST_TABULATE
private static Applicable	LIST_TAKE
private static Applicable	LIST_TL
private static Applicable	NOT	An applicable that negates a boolean value.
private static Applicable	RELATIONAL_COUNT
private static Applicable	RELATIONAL_SUM
private static Applicable	STRING_CONCAT
private static Applicable	STRING_CONCAT_WITH
private static Applicable	STRING_EXPLODE
private static Applicable	STRING_EXTRACT
private static Applicable	STRING_IMPLODE
private static Applicable	STRING_IS_PREFIX
private static Applicable	STRING_IS_SUBSTRING
private static Applicable	STRING_IS_SUFFIX
private static Applicable	STRING_MAP
private static java.lang.Integer	STRING_MAX_SIZE
private static Applicable	STRING_SIZE
private static Applicable	STRING_STR
private static Applicable	STRING_SUB
private static Applicable	STRING_SUBSTRING
private static Applicable	STRING_TRANSLATE
private static Macro	SYS_ENV

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Codes()

Method Summary

Modifier and Type	Method	Description
static Applicable	aggregate(Environment env, Code aggregate, Code argumentCode)
static Code	andAlso(Code code0, Code code1)	Returns a Code that evaluates "andalso".
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	caret(Code code0, Code code1)	Returns a Code that evaluates "^" (string concatenation).
private static Applicable	collate(Applicable comparator)
static Code	cons(Code code0, Code code1)	Returns a Code that evaluates "::" (list cons).
static Code	constant(java.lang.Comparable value)	Returns a Code that evaluates to the same value in all environments.
static Code	div(Code code0, Code code1)	Returns a Code that evaluates "div".
static Code	divide(Code code0, Code code1)	Returns a Code that evaluates "/".
static EvalEnv	emptyEnv()	Creates an empty evaluation environment.
static EvalEnv	emptyEnvWith(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 Code	eq(Code code0, Code code1)	Returns a Code that evaluates "=".
private static Applicable	find(Applicable fn)
static Code	from(java.util.Map<Ast.Id,Code> sources, Code filterCode, Code yieldCode)
static Code	fromGroup(java.util.Map<Ast.Id,Code> sources, Code filterCode, java.util.List<Code> groupCodes, java.util.List<Applicable> aggregateCodes, java.util.List<java.lang.String> labels)
static Code	ge(Code code0, Code code1)	Returns a Code that evaluates ">=".
static Code	get(java.lang.String name)	Returns a Code that returns the value of variable "name" in the current environment.
static Code	gt(Code code0, Code code1)	Returns a Code that evaluates ">".
static Code	ifThenElse(Code condition, Code ifTrue, Code ifFalse)
private static Applicable	isPrefix(java.lang.String s)
private static Applicable	isSubstring(java.lang.String s)
private static Applicable	isSuffix(java.lang.String s)
static Code	le(Code code0, Code code1)	Returns a Code that evaluates "<=".
static Code	let(java.util.List<Code> fnCodes, Code argCode)
static Code	list(java.lang.Iterable<? extends Code> codes)
private static Applicable	listAll(Applicable fn)
private static Applicable	listApp(Applicable consumer)
private static Applicable	listExists(Applicable fn)
private static Applicable	listFilter(Applicable fn)
private static Applicable	listFold(boolean left, Applicable fn)
private static Applicable	listFold2(boolean left, Applicable fn, java.lang.Object init)
private static Applicable	listMap(Applicable fn)
private static Applicable	listPartition(Applicable fn)
static Code	lt(Code code0, Code code1)	Returns a Code that evaluates "<".
private static <E> java.util.Set<E>	minus(java.util.Set<E> set1, java.util.Set<E> set0)
static Code	minus(Code code0, Code code1)	Returns a Code that evaluates "-".
static Code	mod(Code code0, Code code1)	Returns a Code that evaluates "mod".
static Code	ne(Code code0, Code code1)	Returns a Code that evaluates "<>".
static Code	negate(Code code)
static Applicable	nth(int slot)	Returns an applicable that returns the slotth field of a tuple or record.
static Code	orElse(Code code0, Code code1)	Returns a Code that evaluates "orelse".
static Code	plus(Code code0, Code code1)	Returns a Code that evaluates "+".
private static void	populateBuiltIns(java.util.Map<java.lang.String,java.lang.Object> valueMap)
private static Applicable	stringConcat(java.lang.String separator)
private static Applicable	stringMap(Applicable f)
static Code	times(Code code0, Code code1)	Returns a Code that evaluates "*".
private static Applicable	translate(Applicable f)
static Code	tuple(java.lang.Iterable<? extends Code> codes)
static Applicable	tyCon(Type dataType, java.lang.String name)	Returns an applicable that constructs an instance of a datatype.

Methods inherited from class java.lang.Object

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

Field Detail

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

STRING_MAX_SIZE

private static final java.lang.Integer STRING_MAX_SIZE

See Also:

BuiltIn.STRING_MAX_SIZE

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_EXTRACT

private static final Applicable STRING_EXTRACT

See Also:

BuiltIn.STRING_EXTRACT

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_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_MAP

private static final Applicable LIST_MAP

See Also:

BuiltIn.LIST_MAP

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

RELATIONAL_COUNT

private static final Applicable RELATIONAL_COUNT

See Also:

BuiltIn.RELATIONAL_COUNT

RELATIONAL_SUM

private static final Applicable RELATIONAL_SUM

See Also:

BuiltIn.RELATIONAL_SUM

SYS_ENV

private static final Macro SYS_ENV

See Also:

BuiltIn.SYS_ENV

BUILT_IN_VALUES

private static final com.google.common.collect.ImmutableMap<BuiltIn,java.lang.Object> BUILT_IN_VALUES

Constructor Detail

Codes

private Codes()

Method Detail

constant

public static Code constant(java.lang.Comparable value)

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

eq

public static Code eq(Code code0,
                      Code code1)

Returns a Code that evaluates "=".

ne

public static Code ne(Code code0,
                      Code code1)

Returns a Code that evaluates "<>".

lt

public static Code lt(Code code0,
                      Code code1)

Returns a Code that evaluates "<".

gt

public static Code gt(Code code0,
                      Code code1)

Returns a Code that evaluates ">".

le

public static Code le(Code code0,
                      Code code1)

Returns a Code that evaluates "<=".

ge

public static Code ge(Code code0,
                      Code code1)

Returns a Code that evaluates ">=".

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".

plus

public static Code plus(Code code0,
                        Code code1)

Returns a Code that evaluates "+".

minus

public static Code minus(Code code0,
                         Code code1)

Returns a Code that evaluates "-".

times

public static Code times(Code code0,
                         Code code1)

Returns a Code that evaluates "*".

divide

public static Code divide(Code code0,
                          Code code1)

Returns a Code that evaluates "/".

div

public static Code div(Code code0,
                       Code code1)

Returns a Code that evaluates "div".

mod

public static Code mod(Code code0,
                       Code code1)

Returns a Code that evaluates "mod".

caret

public static Code caret(Code code0,
                         Code code1)

Returns a Code that evaluates "^" (string concatenation).

cons

public static Code cons(Code code0,
                        Code code1)

Returns a Code that evaluates "::" (list cons).

get

public static Code get(java.lang.String name)

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

let

public static Code let(java.util.List<Code> fnCodes,
                       Code argCode)

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.

ifThenElse

public static Code ifThenElse(Code condition,
                              Code ifTrue,
                              Code ifFalse)

list

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

tuple

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

from

public static Code from(java.util.Map<Ast.Id,Code> sources,
                        Code filterCode,
                        Code yieldCode)

tyCon

public static Applicable tyCon(Type dataType,
                               java.lang.String name)

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

fromGroup

public static Code fromGroup(java.util.Map<Ast.Id,Code> sources,
                             Code filterCode,
                             java.util.List<Code> groupCodes,
                             java.util.List<Applicable> aggregateCodes,
                             java.util.List<java.lang.String> labels)

nth

public static Applicable nth(int slot)

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

stringConcat

private static Applicable stringConcat(java.lang.String separator)

stringMap

private static Applicable stringMap(Applicable f)

translate

private static Applicable translate(Applicable f)

isPrefix

private static Applicable isPrefix(java.lang.String s)

isSubstring

private static Applicable isSubstring(java.lang.String s)

isSuffix

private static Applicable isSuffix(java.lang.String s)

listApp

private static Applicable listApp(Applicable consumer)

listMap

private static Applicable listMap(Applicable fn)

find

private static Applicable find(Applicable fn)

listFilter

private static Applicable listFilter(Applicable fn)

listPartition

private static Applicable listPartition(Applicable fn)

listFold

private static Applicable listFold(boolean left,
                                   Applicable fn)

listFold2

private static Applicable listFold2(boolean left,
                                    Applicable fn,
                                    java.lang.Object init)

listExists

private static Applicable listExists(Applicable fn)

listAll

private static Applicable listAll(Applicable fn)

collate

private static Applicable collate(Applicable comparator)

populateBuiltIns

private static void populateBuiltIns(java.util.Map<java.lang.String,java.lang.Object> valueMap)

emptyEnv

public static EvalEnv emptyEnv()

Creates an empty evaluation environment.

emptyEnvWith

public static EvalEnv emptyEnvWith(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.

negate

public static Code negate(Code code)

minus

private static <E> java.util.Set<E> minus(java.util.Set<E> set1,
                                          java.util.Set<E> set0)

aggregate

public static Applicable aggregate(Environment env,
                                   Code aggregate,
                                   Code argumentCode)