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.Exp	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.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.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.Exp	except(Ast.Exp a0, Ast.Exp a1)
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.From	from(Pos pos, List<Ast.FromStep> steps)
Ast.From	from(Pos pos, List<Ast.FromStep> steps, Ast.Exp implicitYieldExp)
Ast.Exp	fromEq(Ast.Exp exp)	Wraps an expression to distinguish "from x = e" from "from x in e".
Ast.Exp	fromSuchThat(Ast.Exp exp)	Wraps an expression to distinguish "from x suchthat 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, 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)
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.Exp	intersect(Ast.Exp a0, Ast.Exp a1)
Ast.Literal	intLiteral(Pos pos, BigDecimal value)	Creates an int literal.
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, Iterable<Ast.OrderItem> orderItems)
Ast.OrderItem	orderItem(Pos pos, Ast.Exp exp, Ast.Direction direction)
Ast.Exp	orElse(Ast.Exp a0, Ast.Exp a1)
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, 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.Scan	scan(Pos pos, Op op, Ast.Pat pat, Ast.Exp exp, 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.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.Exp	union(Ast.Exp a0, Ast.Exp a1)
Ast.Literal	unitLiteral(Pos p)	Creates a unit literal.
Ast.ValBind	valBind(Pos pos, Ast.Pat pat, Ast.Exp exp)
Ast.ValDecl	valDecl(Pos pos, boolean rec, Iterable<? extends Ast.ValBind> valBinds)
Ast.ValDecl	valDecl(Pos pos, boolean rec, 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

implicitLabel

public String implicitLabel(Ast.Exp exp)

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.

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,
 Map<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)

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)

except

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

intersect

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

union

public Ast.Exp union(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,
 Iterable<? extends Ast.ValBind> valBinds)

valDecl

public Ast.ValDecl valDecl(Pos pos,
 boolean rec,
 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)

from

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

from

public Ast.From from(Pos pos,
 List<Ast.FromStep> steps,
 @Nullable
 Ast.Exp implicitYieldExp)

fromEq

public Ast.Exp fromEq(Ast.Exp exp)

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

fromSuchThat

public Ast.Exp fromSuchThat(Ast.Exp exp)

Wraps an expression to distinguish "from x suchthat 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)

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.Exp 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,
 Op op,
 Ast.Pat pat,
 Ast.Exp exp,
 @Nullable
 Ast.Exp condition)

order

public Ast.Order order(Pos pos,
 Iterable<Ast.OrderItem> orderItems)

orderItem

public Ast.OrderItem orderItem(Pos pos,
 Ast.Exp exp,
 Ast.Direction direction)

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)

skip

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

take

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

yield

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