Package net.hydromatic.morel.ast

Enum AstBuilder

java.lang.Object

java.lang.Enum<AstBuilder>

net.hydromatic.morel.ast.AstBuilder

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<AstBuilder>

public enum AstBuilder
extends java.lang.Enum<AstBuilder>

Builds parse tree nodes.

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.Type type, Ast.Exp expression)
Ast.Pat	annotatedPat(Pos pos, Ast.Pat pat, Ast.Type type)
Ast.Apply	apply(Ast.Exp fn, Ast.Exp arg)
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 e, java.lang.Iterable<? extends Ast.Match> matchList)
Ast.Literal	charLiteral(Pos p, char c)	Creates a char literal.
Ast.Type	compositeType(Pos pos, java.lang.Iterable<Ast.Type> types)
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.Pat	consPat(Ast.Pat p0, Ast.Pat p1)
Ast.DatatypeBind	datatypeBind(Pos pos, Ast.Id name, java.lang.Iterable<Ast.TyVar> tyVars, java.lang.Iterable<Ast.TyCon> tyCons)
Ast.DatatypeDecl	datatypeDecl(Pos pos, java.lang.Iterable<Ast.DatatypeBind> binds)
Ast.Exp	div(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	divide(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	equal(Ast.Exp a0, Ast.Exp a1)
Ast.Fn	fn(Pos pos, java.lang.Iterable<? extends Ast.Match> matchList)
Ast.Fn	fn(Pos pos, Ast.Match... matchList)
Ast.Exp	foldCons(java.util.List<Ast.Exp> list)
Ast.Type	foldFunctionType(java.util.List<Ast.Type> types)
private <E> E	foldRight(java.util.List<E> list, java.util.function.BiFunction<E,E,E> fold)
Ast.From	from(Pos pos, java.util.Map<Ast.Id,Ast.Exp> sources, Ast.Exp filterExp, Ast.Exp yieldExp, java.util.List<Pair<Ast.Exp,Ast.Id>> groupExps, java.util.List<Ast.Aggregate> aggregates)
Ast.FunBind	funBind(Pos pos, java.lang.Iterable<? extends Ast.FunMatch> matchList)
Ast.FunctionType	functionType(Pos pos, Ast.Type fromType, Ast.Type toType)
Ast.FunDecl	funDecl(Pos pos, java.lang.Iterable<? extends Ast.FunBind> valBinds)
Ast.FunMatch	funMatch(Pos pos, java.lang.String name, java.lang.Iterable<? extends Ast.Pat> patList, Ast.Exp e)
Ast.Exp	greaterThan(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	greaterThanOrEqual(Ast.Exp a0, Ast.Exp a1)
Ast.Id	id(Pos pos, java.lang.String name)
Ast.Pat	idPat(Pos pos, java.lang.String name)
Ast.Exp	ifThenElse(Pos pos, Ast.Exp condition, Ast.Exp ifTrue, Ast.Exp ifFalse)
java.lang.String	implicitLabel(Ast.Exp e)
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.Literal	intLiteral(java.math.BigDecimal value, Pos pos)	Creates an int literal.
Ast.Exp	lessThan(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	lessThanOrEqual(Ast.Exp a0, Ast.Exp a1)
Ast.LetExp	let(Pos pos, java.lang.Iterable<? extends Ast.Decl> decls, Ast.Exp e)
Ast.List	list(Pos pos, java.lang.Iterable<? extends Ast.Exp> list)
Ast.ListPat	listPat(Pos pos, java.lang.Iterable<? extends Ast.Pat> args)
Ast.ListPat	listPat(Pos pos, Ast.Pat... args)
Ast.LiteralPat	literalPat(Pos pos, Op op, java.lang.Comparable value)
Ast.Exp	map(Pos pos, Ast.Exp e1, Ast.Exp e2)
Ast.Match	match(Pos pos, Ast.Pat pat, Ast.Exp e)
Ast.Exp	minus(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	mod(Ast.Exp a0, Ast.Exp a1)
Ast.Type	namedType(Pos pos, java.lang.Iterable<? extends Ast.Type> types, java.lang.String name)
Ast.Exp	negate(Pos p, Ast.Exp a)
Ast.Exp	notEqual(Ast.Exp a0, Ast.Exp a1)
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(java.math.BigDecimal value, Pos pos)	Creates a float literal.
Ast.Exp	record(Pos pos, java.util.Map<java.lang.String,Ast.Exp> map)
Ast.RecordPat	recordPat(Pos pos, boolean ellipsis, java.util.Map<java.lang.String,? extends Ast.Pat> args)
Ast.RecordSelector	recordSelector(Pos pos, java.lang.String name)
Ast.RecordType	recordType(Pos pos, java.util.Map<java.lang.String,Ast.Type> fieldTypes)
Ast.Literal	stringLiteral(Pos pos, java.lang.String value)	Creates a string literal.
Ast.Exp	times(Ast.Exp a0, Ast.Exp a1)
Ast.Tuple	tuple(Pos pos, java.lang.Iterable<? extends Ast.Exp> list)
Ast.TuplePat	tuplePat(Pos pos, java.lang.Iterable<? extends Ast.Pat> args)
Ast.TuplePat	tuplePat(Pos pos, Ast.Pat... args)
Ast.Type	tupleType(Pos pos, java.lang.Iterable<Ast.Type> types)
Ast.TyCon	typeConstructor(Pos pos, Ast.Id id, Ast.Type type)
Ast.TyVar	tyVar(Pos pos, java.lang.String name)
Ast.Literal	unitLiteral(Pos p)	Creates a unit literal.
Ast.ValBind	valBind(Pos pos, boolean rec, Ast.Pat pat, Ast.Exp e)
Ast.ValDecl	valDecl(Pos pos, java.lang.Iterable<? extends Ast.ValBind> valBinds)
Ast.ValDecl	valDecl(Pos pos, Ast.ValBind... valBinds)
static AstBuilder	valueOf(java.lang.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.WildcardPat	wildcardPat(Pos pos)

Methods inherited from class java.lang.Enum

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

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

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 Detail

AstBuilder

private AstBuilder()

Method Detail

values

public static AstBuilder[] values()

Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:

for (AstBuilder c : AstBuilder.values())
    System.out.println(c);

Returns:

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

valueOf

public static AstBuilder valueOf(java.lang.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:

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

java.lang.NullPointerException - if the argument is null

implicitLabel

public java.lang.String implicitLabel(Ast.Exp e)

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(java.math.BigDecimal value,
                              Pos pos)

Creates an int literal.

realLiteral

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

Creates a float literal.

stringLiteral

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

Creates a string literal.

unitLiteral

public Ast.Literal unitLiteral(Pos p)

Creates a unit literal.

id

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

tyVar

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

recordType

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

recordSelector

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

namedType

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

idPat

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

literalPat

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

wildcardPat

public Ast.WildcardPat wildcardPat(Pos pos)

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,
                             java.lang.Iterable<? extends Ast.Pat> args)

tuplePat

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

listPat

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

listPat

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

recordPat

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

annotatedPat

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

consPat

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

tuple

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

list

public Ast.List list(Pos pos,
                     java.lang.Iterable<? extends Ast.Exp> list)

record

public Ast.Exp record(Pos pos,
                      java.util.Map<java.lang.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)

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)

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(java.util.List<Ast.Exp> list)

let

public Ast.LetExp let(Pos pos,
                      java.lang.Iterable<? extends Ast.Decl> decls,
                      Ast.Exp e)

valDecl

public Ast.ValDecl valDecl(Pos pos,
                           java.lang.Iterable<? extends Ast.ValBind> valBinds)

valDecl

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

valBind

public Ast.ValBind valBind(Pos pos,
                           boolean rec,
                           Ast.Pat pat,
                           Ast.Exp e)

match

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

caseOf

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

from

public Ast.From from(Pos pos,
                     java.util.Map<Ast.Id,Ast.Exp> sources,
                     Ast.Exp filterExp,
                     Ast.Exp yieldExp,
                     java.util.List<Pair<Ast.Exp,Ast.Id>> groupExps,
                     java.util.List<Ast.Aggregate> aggregates)

fn

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

fn

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

funDecl

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

funBind

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

funMatch

public Ast.FunMatch funMatch(Pos pos,
                             java.lang.String name,
                             java.lang.Iterable<? extends Ast.Pat> patList,
                             Ast.Exp e)

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.Type type,
                            Ast.Exp expression)

infixCall

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

datatypeDecl

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

datatypeBind

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

typeConstructor

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

tupleType

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

compositeType

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

functionType

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

foldFunctionType

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

foldRight

private <E> E foldRight(java.util.List<E> list,
                        java.util.function.BiFunction<E,E,E> fold)

aggregate

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

map

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