Package net.hydromatic.morel.ast

Enum AstBuilder

java.lang.Object

java.lang.Enum<AstBuilder>

net.hydromatic.morel.ast.AstBuilder

All Implemented Interfaces:

Serializable, Comparable<AstBuilder>, java.lang.constant.Constable

public enum AstBuilder
extends Enum<AstBuilder>

Builds parse tree nodes.

Nested Class Summary

Nested classes/interfaces inherited from class java.lang.Enum

Enum.EnumDesc<E extends Enum<E>>

Enum Constant Summary

Enum Constants

Enum Constant	Description
ast	The singleton instance of the AST builder.

Constructor Summary

Constructors

Modifier	Constructor	Description
private	AstBuilder()

Method Summary

Modifier and Type	Method	Description
Ast.Aggregate	aggregate(Pos pos, Ast.Exp aggregate, Ast.Exp argument, Ast.Id id)
Ast.Exp	andAlso(Ast.Exp a0, Ast.Exp a1)
Ast.AnnotatedExp	annotatedExp(Pos pos, Ast.Exp expression, Ast.Type type)
Ast.AnnotatedPat	annotatedPat(Pos pos, Ast.Pat pat, Ast.Type type)
Ast.Apply	apply(Ast.Exp fn, Ast.Exp arg)
Ast.AsPat	asPat(Pos pos, Ast.IdPat id, Ast.Pat pat)
Ast.Literal	boolLiteral(Pos p, boolean b)	Creates a boolean literal.
Ast.Exp	caret(Ast.Exp a0, Ast.Exp a1)
Ast.Case	caseOf(Pos pos, Ast.Exp exp, Iterable<? extends Ast.Match> matchList)
Ast.Literal	charLiteral(Pos p, char c)	Creates a char literal.
Ast.Type	compositeType(Pos pos, Iterable<Ast.Type> types)
Ast.Compute	compute(Pos pos, List<Ast.Aggregate> aggregates)
Ast.Con0Pat	con0Pat(Pos pos, Ast.Id tyCon)
Ast.ConPat	conPat(Pos pos, Ast.Id tyCon, Ast.Pat pat)
Ast.Exp	cons(Ast.Exp a0, Ast.Exp a1)
Ast.InfixPat	consPat(Ast.Pat p0, Ast.Pat p1)
Ast.Current	current(Pos pos)
Ast.DatatypeBind	datatypeBind(Pos pos, Ast.Id name, Iterable<Ast.TyVar> tyVars, Iterable<Ast.TyCon> tyCons)
Ast.DatatypeDecl	datatypeDecl(Pos pos, Iterable<Ast.DatatypeBind> binds)
Ast.FromStep	distinct(Pos pos)
Ast.Exp	div(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	divide(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	elem(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	equal(Ast.Exp a0, Ast.Exp a1)
Ast.Except	except(Pos pos, boolean distinct, Iterable<? extends Ast.Exp> args)
Ast.Exists	exists(Pos pos, List<Ast.FromStep> steps)
Ast.Fn	fn(Pos pos, Iterable<? extends Ast.Match> matchList)
Ast.Fn	fn(Pos pos, Ast.Match... matchList)
Ast.Exp	foldCons(List<Ast.Exp> list)
Ast.Type	foldFunctionType(List<Ast.Type> types)
private <E> E	foldRight(List<E> list, BiFunction<E,E,E> fold)
Ast.Forall	forall(Pos pos, List<Ast.FromStep> steps)
Ast.From	from(Pos pos, List<Ast.FromStep> steps)
Ast.Exp	fromEq(Ast.Exp exp)	Wraps an expression to distinguish "from x = e" from "from x in e".
Ast.FunBind	funBind(Pos pos, Iterable<? extends Ast.FunMatch> matchList)
Ast.FunctionType	functionType(Pos pos, Ast.Type fromType, Ast.Type toType)
Ast.FunDecl	funDecl(Pos pos, Iterable<? extends Ast.FunBind> valBinds)
Ast.FunMatch	funMatch(Pos pos, String name, Iterable<? extends Ast.Pat> patList, @Nullable Ast.Type returnType, Ast.Exp exp)
Ast.Exp	greaterThan(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	greaterThanOrEqual(Ast.Exp a0, Ast.Exp a1)
Ast.Group	group(Pos pos, PairList<Ast.Id,Ast.Exp> groupExps, List<Ast.Aggregate> aggregates)
Ast.Id	id(Pos pos, String name)
Ast.Pat	idPat(Pos pos, String name)
Ast.Exp	ifThenElse(Pos pos, Ast.Exp condition, Ast.Exp ifTrue, Ast.Exp ifFalse)
String	implicitLabel(Ast.Exp exp)	Returns an expression's implicit label, or throws.
@Nullable String	implicitLabelOpt(Ast.Exp exp)	Returns the implicit label for when an expression occurs within a record, or null if no label can be deduced.
Ast.Exp	implies(Ast.Exp a0, Ast.Exp a1)
private Ast.InfixCall	infix(Op op, Ast.Exp a0, Ast.Exp a1)	Creates a call to an infix operator.
Ast.Exp	infixCall(Pos pos, Op op, Ast.Exp a0, Ast.Exp a1)
Ast.InfixPat	infixPat(Pos pos, Op op, Ast.Pat p0, Ast.Pat p1)
Ast.Intersect	intersect(Pos pos, boolean distinct, Iterable<? extends Ast.Exp> args)
Ast.Literal	intLiteral(Pos pos, BigDecimal value)	Creates an int literal.
Ast.FromStep	into(Pos pos, Ast.Exp exp)
Ast.Exp	lessThan(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	lessThanOrEqual(Ast.Exp a0, Ast.Exp a1)
Ast.Let	let(Pos pos, Iterable<? extends Ast.Decl> decls, Ast.Exp exp)
Ast.ListExp	list(Pos pos, Iterable<? extends Ast.Exp> list)
Ast.ListPat	listPat(Pos pos, Iterable<? extends Ast.Pat> args)
Ast.ListPat	listPat(Pos pos, Ast.Pat... args)
Ast.LiteralPat	literalPat(Pos pos, Op op, Comparable value)
Ast.Exp	map(Pos pos, Ast.Exp e1, Ast.Exp e2)
Ast.Match	match(Pos pos, Ast.Pat pat, Ast.Exp exp)
Ast.Exp	minus(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	mod(Ast.Exp a0, Ast.Exp a1)
Ast.Type	namedType(Pos pos, Iterable<? extends Ast.Type> types, String name)
Ast.Exp	negate(Pos p, Ast.Exp a)
Ast.Exp	notElem(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	notEqual(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	o(Ast.Exp a0, Ast.Exp a1)
Ast.Order	order(Pos pos, Ast.Exp exp)
Ast.Ordinal	ordinal(Pos pos)
Ast.Exp	orElse(Ast.Exp a0, Ast.Exp a1)
Ast.OverDecl	overDecl(Pos pos, Ast.IdPat id)
Ast.Exp	plus(Ast.Exp a0, Ast.Exp a1)
Ast.PrefixCall	prefixCall(Pos p, Op op, Ast.Exp a)	Creates a call to a prefix operator.
Ast.Literal	realLiteral(Pos pos, Float value)	Creates a float literal for a special IEEE floating point value: NaN, negative zero, positive and negative infinity.
Ast.Literal	realLiteral(Pos pos, BigDecimal value)	Creates a float literal.
Ast.Record	record(Pos pos, @Nullable Ast.Exp with, Collection<Map.Entry<String,Ast.Exp>> map)
Ast.Record	record(Pos pos, @Nullable Ast.Exp with, Map<String,Ast.Exp> map)
Ast.RecordPat	recordPat(Pos pos, boolean ellipsis, Map<String,? extends Ast.Pat> args)
Ast.RecordSelector	recordSelector(Pos pos, String name)
Ast.RecordType	recordType(Pos pos, Map<String,Ast.Type> fieldTypes)
private Ast.Exp	ref(Pos pos, BuiltIn builtIn)	Returns a reference to a built-in: either a name (e.g.
Ast.FromStep	require(Pos pos, Ast.Exp exp)
Ast.Scan	scan(Pos pos, Ast.Pat pat, Ast.Exp exp, @Nullable Ast.Exp condition)
Ast.FromStep	skip(Pos pos, Ast.Exp exp)
Ast.Literal	stringLiteral(Pos pos, String value)	Creates a string literal.
Ast.FromStep	take(Pos pos, Ast.Exp exp)
Ast.FromStep	through(Pos pos, Ast.Pat pat, Ast.Exp exp)
Ast.Exp	times(Ast.Exp a0, Ast.Exp a1)
Ast.Tuple	tuple(Pos pos, Iterable<? extends Ast.Exp> list)
Ast.TuplePat	tuplePat(Pos pos, Iterable<? extends Ast.Pat> args)
Ast.TuplePat	tuplePat(Pos pos, Ast.Pat... args)
Ast.Type	tupleType(Pos pos, Iterable<Ast.Type> types)
Ast.TyCon	typeConstructor(Pos pos, Ast.Id id, Ast.Type type)
Ast.TyVar	tyVar(Pos pos, String name)
Ast.Union	union(Pos pos, boolean distinct, Iterable<? extends Ast.Exp> args)
Ast.Literal	unitLiteral(Pos p)	Creates a unit literal.
Ast.FromStep	unorder(Pos pos)
Ast.ValBind	valBind(Pos pos, Ast.Pat pat, Ast.Exp exp)
Ast.ValDecl	valDecl(Pos pos, boolean rec, boolean inst, Iterable<? extends Ast.ValBind> valBinds)
Ast.ValDecl	valDecl(Pos pos, boolean rec, boolean inst, Ast.ValBind... valBinds)
static AstBuilder	valueOf(String name)	Returns the enum constant of this type with the specified name.
static AstBuilder[]	values()	Returns an array containing the constants of this enum type, in the order they are declared.
Ast.FromStep	where(Pos pos, Ast.Exp exp)
Ast.WildcardPat	wildcardPat(Pos pos)
Ast.FromStep	yield(Pos pos, Ast.Exp exp)

Methods inherited from class java.lang.Enum

clone, compareTo, describeConstable, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Details

ast

public static final AstBuilder ast

The singleton instance of the AST builder. The short name is convenient for use via 'import static', but checkstyle does not approve.

Constructor Details

AstBuilder

private AstBuilder()

Method Details

values

public static AstBuilder[] values()

Returns an array containing the constants of this enum type, in the order they are declared.

Returns:

an array containing the constants of this enum type, in the order they are declared

valueOf

public static AstBuilder valueOf(String name)

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

IllegalArgumentException - if this enum type has no constant with the specified name

NullPointerException - if the argument is null

implicitLabelOpt

public @Nullable String implicitLabelOpt(Ast.Exp exp)

Returns the implicit label for when an expression occurs within a record, or null if no label can be deduced.

For example,

{x.a, y, z = x.b + 2} 

is equivalent to

{a = x.a, y = y, z = x.b + 2} 

because a field reference x.a has implicit label a, and a variable reference y has implicit label y. The expression x.b + 2 has no implicit label.

implicitLabel

public String implicitLabel(Ast.Exp exp)

Returns an expression's implicit label, or throws.

infix

private Ast.InfixCall infix(Op op,
 Ast.Exp a0,
 Ast.Exp a1)

Creates a call to an infix operator.

prefixCall

public Ast.PrefixCall prefixCall(Pos p,
 Op op,
 Ast.Exp a)

Creates a call to a prefix operator.

boolLiteral

public Ast.Literal boolLiteral(Pos p,
 boolean b)

Creates a boolean literal.

charLiteral

public Ast.Literal charLiteral(Pos p,
 char c)

Creates a char literal.

intLiteral

public Ast.Literal intLiteral(Pos pos,
 BigDecimal value)

Creates an int literal.

realLiteral

public Ast.Literal realLiteral(Pos pos,
 BigDecimal value)

Creates a float literal.

realLiteral

public Ast.Literal realLiteral(Pos pos,
 Float value)

Creates a float literal for a special IEEE floating point value: NaN, negative zero, positive and negative infinity.

stringLiteral

public Ast.Literal stringLiteral(Pos pos,
 String value)

Creates a string literal.

unitLiteral

public Ast.Literal unitLiteral(Pos p)

Creates a unit literal.

current

public Ast.Current current(Pos pos)

ordinal

public Ast.Ordinal ordinal(Pos pos)

id

public Ast.Id id(Pos pos,
 String name)

tyVar

public Ast.TyVar tyVar(Pos pos,
 String name)

recordType

public Ast.RecordType recordType(Pos pos,
 Map<String,Ast.Type> fieldTypes)

recordSelector

public Ast.RecordSelector recordSelector(Pos pos,
 String name)

namedType

public Ast.Type namedType(Pos pos,
 Iterable<? extends Ast.Type> types,
 String name)

idPat

public Ast.Pat idPat(Pos pos,
 String name)

literalPat

public Ast.LiteralPat literalPat(Pos pos,
 Op op,
 Comparable value)

wildcardPat

public Ast.WildcardPat wildcardPat(Pos pos)

asPat

public Ast.AsPat asPat(Pos pos,
 Ast.IdPat id,
 Ast.Pat pat)

conPat

public Ast.ConPat conPat(Pos pos,
 Ast.Id tyCon,
 Ast.Pat pat)

con0Pat

public Ast.Con0Pat con0Pat(Pos pos,
 Ast.Id tyCon)

tuplePat

public Ast.TuplePat tuplePat(Pos pos,
 Iterable<? extends Ast.Pat> args)

tuplePat

public Ast.TuplePat tuplePat(Pos pos,
 Ast.Pat... args)

listPat

public Ast.ListPat listPat(Pos pos,
 Iterable<? extends Ast.Pat> args)

listPat

public Ast.ListPat listPat(Pos pos,
 Ast.Pat... args)

recordPat

public Ast.RecordPat recordPat(Pos pos,
 boolean ellipsis,
 Map<String,? extends Ast.Pat> args)

annotatedPat

public Ast.AnnotatedPat annotatedPat(Pos pos,
 Ast.Pat pat,
 Ast.Type type)

consPat

public Ast.InfixPat consPat(Ast.Pat p0,
 Ast.Pat p1)

tuple

public Ast.Tuple tuple(Pos pos,
 Iterable<? extends Ast.Exp> list)

list

public Ast.ListExp list(Pos pos,
 Iterable<? extends Ast.Exp> list)

record

public Ast.Record record(Pos pos,
 @Nullable Ast.Exp with,
 Map<String,Ast.Exp> map)

record

public Ast.Record record(Pos pos,
 @Nullable Ast.Exp with,
 Collection<Map.Entry<String,Ast.Exp>> map)

equal

public Ast.Exp equal(Ast.Exp a0,
 Ast.Exp a1)

notEqual

public Ast.Exp notEqual(Ast.Exp a0,
 Ast.Exp a1)

lessThan

public Ast.Exp lessThan(Ast.Exp a0,
 Ast.Exp a1)

greaterThan

public Ast.Exp greaterThan(Ast.Exp a0,
 Ast.Exp a1)

lessThanOrEqual

public Ast.Exp lessThanOrEqual(Ast.Exp a0,
 Ast.Exp a1)

greaterThanOrEqual

public Ast.Exp greaterThanOrEqual(Ast.Exp a0,
 Ast.Exp a1)

elem

public Ast.Exp elem(Ast.Exp a0,
 Ast.Exp a1)

notElem

public Ast.Exp notElem(Ast.Exp a0,
 Ast.Exp a1)

andAlso

public Ast.Exp andAlso(Ast.Exp a0,
 Ast.Exp a1)

orElse

public Ast.Exp orElse(Ast.Exp a0,
 Ast.Exp a1)

implies

public Ast.Exp implies(Ast.Exp a0,
 Ast.Exp a1)

plus

public Ast.Exp plus(Ast.Exp a0,
 Ast.Exp a1)

minus

public Ast.Exp minus(Ast.Exp a0,
 Ast.Exp a1)

times

public Ast.Exp times(Ast.Exp a0,
 Ast.Exp a1)

divide

public Ast.Exp divide(Ast.Exp a0,
 Ast.Exp a1)

div

public Ast.Exp div(Ast.Exp a0,
 Ast.Exp a1)

mod

public Ast.Exp mod(Ast.Exp a0,
 Ast.Exp a1)

caret

public Ast.Exp caret(Ast.Exp a0,
 Ast.Exp a1)

o

public Ast.Exp o(Ast.Exp a0,
 Ast.Exp a1)

negate

public Ast.Exp negate(Pos p,
 Ast.Exp a)

cons

public Ast.Exp cons(Ast.Exp a0,
 Ast.Exp a1)

foldCons

public Ast.Exp foldCons(List<Ast.Exp> list)

let

public Ast.Let let(Pos pos,
 Iterable<? extends Ast.Decl> decls,
 Ast.Exp exp)

valDecl

public Ast.ValDecl valDecl(Pos pos,
 boolean rec,
 boolean inst,
 Iterable<? extends Ast.ValBind> valBinds)

valDecl

public Ast.ValDecl valDecl(Pos pos,
 boolean rec,
 boolean inst,
 Ast.ValBind... valBinds)

valBind

public Ast.ValBind valBind(Pos pos,
 Ast.Pat pat,
 Ast.Exp exp)

match

public Ast.Match match(Pos pos,
 Ast.Pat pat,
 Ast.Exp exp)

caseOf

public Ast.Case caseOf(Pos pos,
 Ast.Exp exp,
 Iterable<? extends Ast.Match> matchList)

exists

public Ast.Exists exists(Pos pos,
 List<Ast.FromStep> steps)

forall

public Ast.Forall forall(Pos pos,
 List<Ast.FromStep> steps)

from

public Ast.From from(Pos pos,
 List<Ast.FromStep> steps)

fromEq

public Ast.Exp fromEq(Ast.Exp exp)

Wraps an expression to distinguish "from x = e" from "from x in e".

fn

public Ast.Fn fn(Pos pos,
 Ast.Match... matchList)

fn

public Ast.Fn fn(Pos pos,
 Iterable<? extends Ast.Match> matchList)

overDecl

public Ast.OverDecl overDecl(Pos pos,
 Ast.IdPat id)

funDecl

public Ast.FunDecl funDecl(Pos pos,
 Iterable<? extends Ast.FunBind> valBinds)

funBind

public Ast.FunBind funBind(Pos pos,
 Iterable<? extends Ast.FunMatch> matchList)

funMatch

public Ast.FunMatch funMatch(Pos pos,
 String name,
 Iterable<? extends Ast.Pat> patList,
 @Nullable Ast.Type returnType,
 Ast.Exp exp)

apply

public Ast.Apply apply(Ast.Exp fn,
 Ast.Exp arg)

ifThenElse

public Ast.Exp ifThenElse(Pos pos,
 Ast.Exp condition,
 Ast.Exp ifTrue,
 Ast.Exp ifFalse)

infixPat

public Ast.InfixPat infixPat(Pos pos,
 Op op,
 Ast.Pat p0,
 Ast.Pat p1)

annotatedExp

public Ast.AnnotatedExp annotatedExp(Pos pos,
 Ast.Exp expression,
 Ast.Type type)

infixCall

public Ast.Exp infixCall(Pos pos,
 Op op,
 Ast.Exp a0,
 Ast.Exp a1)

datatypeDecl

public Ast.DatatypeDecl datatypeDecl(Pos pos,
 Iterable<Ast.DatatypeBind> binds)

datatypeBind

public Ast.DatatypeBind datatypeBind(Pos pos,
 Ast.Id name,
 Iterable<Ast.TyVar> tyVars,
 Iterable<Ast.TyCon> tyCons)

typeConstructor

public Ast.TyCon typeConstructor(Pos pos,
 Ast.Id id,
 Ast.Type type)

tupleType

public Ast.Type tupleType(Pos pos,
 Iterable<Ast.Type> types)

compositeType

public Ast.Type compositeType(Pos pos,
 Iterable<Ast.Type> types)

functionType

public Ast.FunctionType functionType(Pos pos,
 Ast.Type fromType,
 Ast.Type toType)

foldFunctionType

public Ast.Type foldFunctionType(List<Ast.Type> types)

foldRight

private <E> E foldRight(List<E> list,
 BiFunction<E,E,E> fold)

aggregate

public Ast.Aggregate aggregate(Pos pos,
 Ast.Exp aggregate,
 Ast.Exp argument,
 Ast.Id id)

ref

private Ast.Exp ref(Pos pos,
 BuiltIn builtIn)

Returns a reference to a built-in: either a name (e.g. "true") or a field reference (e.g. "#hd List").

map

public Ast.Exp map(Pos pos,
 Ast.Exp e1,
 Ast.Exp e2)

scan

public Ast.Scan scan(Pos pos,
 Ast.Pat pat,
 Ast.Exp exp,
 @Nullable Ast.Exp condition)

order

public Ast.Order order(Pos pos,
 Ast.Exp exp)

compute

public Ast.Compute compute(Pos pos,
 List<Ast.Aggregate> aggregates)

group

public Ast.Group group(Pos pos,
 PairList<Ast.Id,Ast.Exp> groupExps,
 List<Ast.Aggregate> aggregates)

where

public Ast.FromStep where(Pos pos,
 Ast.Exp exp)

distinct

public Ast.FromStep distinct(Pos pos)

require

public Ast.FromStep require(Pos pos,
 Ast.Exp exp)

skip

public Ast.FromStep skip(Pos pos,
 Ast.Exp exp)

take

public Ast.FromStep take(Pos pos,
 Ast.Exp exp)

except

public Ast.Except except(Pos pos,
 boolean distinct,
 Iterable<? extends Ast.Exp> args)

intersect

public Ast.Intersect intersect(Pos pos,
 boolean distinct,
 Iterable<? extends Ast.Exp> args)

union

public Ast.Union union(Pos pos,
 boolean distinct,
 Iterable<? extends Ast.Exp> args)

unorder

public Ast.FromStep unorder(Pos pos)

yield

public Ast.FromStep yield(Pos pos,
 Ast.Exp exp)

into

public Ast.FromStep into(Pos pos,
 Ast.Exp exp)

through

public Ast.FromStep through(Pos pos,
 Ast.Pat pat,
 Ast.Exp exp)