Uses of Class
net.hydromatic.morel.ast.Ast.Exp

Packages that use Ast.Exp

Package	Description
net.hydromatic.morel.ast	Abstract syntax tree.
net.hydromatic.morel.compile	Validates programs (represented as AstNode), deduces their type, and compiles them into code that can be evaluated.

Uses of Ast.Exp in net.hydromatic.morel.ast

Subclasses of Ast.Exp in net.hydromatic.morel.ast

Modifier and Type	Class	Description
static class	Ast.AnnotatedExp	Parse tree node of an expression annotated with a type.
static class	Ast.Apply	Application of a function to its argument.
static class	Ast.Case	Case expression.
static class	Ast.Fn	Lambda expression.
static class	Ast.From	From expression.
static class	Ast.Id	Parse tree node of an identifier.
static class	Ast.If	"If ...
static class	Ast.InfixCall	Call to an infix operator.
static class	Ast.LetExp	"Let" expression.
static class	Ast.List	List.
static class	Ast.Literal	Parse tree node of a literal (constant).
static class	Ast.PrefixCall	Call to an prefix operator.
static class	Ast.Record	Record.
static class	Ast.RecordSelector	Parse tree node of a record selector.
static class	Ast.Tuple	Tuple.

Fields in net.hydromatic.morel.ast declared as Ast.Exp

Modifier and Type	Field	Description
Ast.Exp	Ast.PrefixCall.a
Ast.Exp	Ast.InfixCall.a0
Ast.Exp	Ast.InfixCall.a1
Ast.Exp	Ast.Aggregate.aggregate
Ast.Exp	Ast.Apply.arg
Ast.Exp	Ast.Aggregate.argument
Ast.Exp	Ast.If.condition
Ast.Exp	Ast.AnnotatedExp.e
Ast.Exp	Ast.Case.e
Ast.Exp	Ast.FunMatch.e
Ast.Exp	Ast.LetExp.e
Ast.Exp	Ast.Match.e
Ast.Exp	Ast.ValBind.e
Ast.Exp	Ast.From.filterExp
Ast.Exp	Ast.Apply.fn
Ast.Exp	Ast.If.ifFalse
Ast.Exp	Ast.If.ifTrue
Ast.Exp	Ast.From.yieldExp
Ast.Exp	Ast.From.yieldExpOrDefault	The expression in the yield clause, or the default yield expression if not specified; never null.

Fields in net.hydromatic.morel.ast with type parameters of type Ast.Exp

Modifier and Type	Field	Description
java.util.List<Ast.Exp>	Ast.List.args
java.util.Map<java.lang.String,Ast.Exp>	Ast.Record.args
java.util.List<Ast.Exp>	Ast.Tuple.args
com.google.common.collect.ImmutableList<Pair<Ast.Exp,Ast.Id>>	Ast.From.groupExps
java.util.Map<Ast.Id,Ast.Exp>	Ast.From.sources

Methods in net.hydromatic.morel.ast that return Ast.Exp

Modifier and Type	Method	Description
Ast.Exp	Ast.AnnotatedExp.accept(Shuttle shuttle)
Ast.Exp	Ast.Apply.accept(Shuttle shuttle)
Ast.Exp	Ast.Case.accept(Shuttle shuttle)
abstract Ast.Exp	Ast.Exp.accept(Shuttle shuttle)
Ast.Exp	Ast.From.accept(Shuttle shuttle)
Ast.Exp	Ast.If.accept(Shuttle shuttle)
Ast.Exp	Ast.InfixCall.accept(Shuttle shuttle)
Ast.Exp	Ast.LetExp.accept(Shuttle shuttle)
Ast.Exp	Ast.Literal.accept(Shuttle shuttle)
Ast.Exp	Ast.PrefixCall.accept(Shuttle shuttle)
Ast.Exp	Ast.Record.accept(Shuttle shuttle)
Ast.Exp	Ast.RecordSelector.accept(Shuttle shuttle)
Ast.Exp	Ast.Tuple.accept(Shuttle shuttle)
Ast.Exp	AstBuilder.andAlso(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.annotatedExp(Pos pos, Ast.Type type, Ast.Exp expression)
Ast.Exp	AstBuilder.caret(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.cons(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.div(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.divide(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.equal(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.foldCons(java.util.List<Ast.Exp> list)
Ast.Exp	AstBuilder.greaterThan(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.greaterThanOrEqual(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.ifThenElse(Pos pos, Ast.Exp condition, Ast.Exp ifTrue, Ast.Exp ifFalse)
Ast.Exp	AstBuilder.infixCall(Pos pos, Op op, Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.lessThan(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.lessThanOrEqual(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.map(Pos pos, Ast.Exp e1, Ast.Exp e2)
Ast.Exp	AstBuilder.minus(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.mod(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.negate(Pos p, Ast.Exp a)
Ast.Exp	AstBuilder.notEqual(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.orElse(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.plus(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.record(Pos pos, java.util.Map<java.lang.String,Ast.Exp> map)
Ast.Exp	AstBuilder.times(Ast.Exp a0, Ast.Exp a1)
protected Ast.Exp	Shuttle.visit(Ast.AnnotatedExp annotatedExp)
protected Ast.Exp	Shuttle.visit(Ast.Case kase)
Ast.Exp	Shuttle.visit(Ast.From from)
protected Ast.Exp	Shuttle.visit(Ast.If anIf)
protected Ast.Exp	Shuttle.visit(Ast.InfixCall infixCall)
protected Ast.Exp	Shuttle.visit(Ast.Literal literal)
Ast.Exp	Shuttle.visit(Ast.PrefixCall prefixCall)
protected Ast.Exp	Shuttle.visit(Ast.Record record)
protected Ast.Exp	Shuttle.visit(Ast.RecordSelector recordSelector)
protected Ast.Exp	Shuttle.visit(Ast.Tuple tuple)

Methods in net.hydromatic.morel.ast that return types with arguments of type Ast.Exp

Modifier and Type	Method	Description
java.util.List<Ast.Exp>	Ast.Exp.args()	Returns a list of all arguments.

Methods in net.hydromatic.morel.ast with parameters of type Ast.Exp

Modifier and Type	Method	Description
Ast.Aggregate	AstBuilder.aggregate(Pos pos, Ast.Exp aggregate, Ast.Exp argument, Ast.Id id)
Ast.Exp	AstBuilder.andAlso(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.annotatedExp(Pos pos, Ast.Type type, Ast.Exp expression)
Ast.Apply	AstBuilder.apply(Ast.Exp fn, Ast.Exp arg)
Ast.Exp	AstBuilder.caret(Ast.Exp a0, Ast.Exp a1)
Ast.Case	AstBuilder.caseOf(Pos pos, Ast.Exp e, java.lang.Iterable<? extends Ast.Match> matchList)
Ast.Exp	AstBuilder.cons(Ast.Exp a0, Ast.Exp a1)
Ast.Apply	Ast.Apply.copy(Ast.Exp fn, Ast.Exp arg)
Ast.From	Ast.From.copy(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)	Creates a copy of this From with given contents, or this if the contents are the same.
Ast.LetExp	Ast.LetExp.copy(java.lang.Iterable<Ast.Decl> decls, Ast.Exp e)	Creates a copy of this LetExp with given contents, or this if the contents are the same.
Ast.ValBind	Ast.ValBind.copy(boolean rec, Ast.Pat pat, Ast.Exp e)	Creates a copy of this ValBind with given contents, or this if the contents are the same.
Ast.Exp	AstBuilder.div(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.divide(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.equal(Ast.Exp a0, Ast.Exp a1)
Ast.From	AstBuilder.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.FunMatch	AstBuilder.funMatch(Pos pos, java.lang.String name, java.lang.Iterable<? extends Ast.Pat> patList, Ast.Exp e)
Ast.Exp	AstBuilder.greaterThan(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.greaterThanOrEqual(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.ifThenElse(Pos pos, Ast.Exp condition, Ast.Exp ifTrue, Ast.Exp ifFalse)
java.lang.String	AstBuilder.implicitLabel(Ast.Exp e)
private Ast.InfixCall	AstBuilder.infix(Op op, Ast.Exp a0, Ast.Exp a1)	Creates a call to an infix operator.
Ast.Exp	AstBuilder.infixCall(Pos pos, Op op, Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.lessThan(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.lessThanOrEqual(Ast.Exp a0, Ast.Exp a1)
Ast.LetExp	AstBuilder.let(Pos pos, java.lang.Iterable<? extends Ast.Decl> decls, Ast.Exp e)
Ast.Exp	AstBuilder.map(Pos pos, Ast.Exp e1, Ast.Exp e2)
Ast.Match	AstBuilder.match(Pos pos, Ast.Pat pat, Ast.Exp e)
Ast.Exp	AstBuilder.minus(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.mod(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.negate(Pos p, Ast.Exp a)
Ast.Exp	AstBuilder.notEqual(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.orElse(Ast.Exp a0, Ast.Exp a1)
Ast.Exp	AstBuilder.plus(Ast.Exp a0, Ast.Exp a1)
Ast.PrefixCall	AstBuilder.prefixCall(Pos p, Op op, Ast.Exp a)	Creates a call to a prefix operator.
Ast.Exp	AstBuilder.times(Ast.Exp a0, Ast.Exp a1)
Ast.ValBind	AstBuilder.valBind(Pos pos, boolean rec, Ast.Pat pat, Ast.Exp e)

Method parameters in net.hydromatic.morel.ast with type arguments of type Ast.Exp

Modifier and Type	Method	Description
Ast.From	Ast.From.copy(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)	Creates a copy of this From with given contents, or this if the contents are the same.
Ast.From	Ast.From.copy(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)	Creates a copy of this From with given contents, or this if the contents are the same.
Ast.Tuple	Ast.Tuple.copy(java.util.List<Ast.Exp> args)
Ast.Exp	AstBuilder.foldCons(java.util.List<Ast.Exp> list)
void	Ast.Exp.forEachArg(java.util.function.ObjIntConsumer<Ast.Exp> action)
void	Ast.InfixCall.forEachArg(java.util.function.ObjIntConsumer<Ast.Exp> action)
void	Ast.List.forEachArg(java.util.function.ObjIntConsumer<Ast.Exp> action)
void	Ast.PrefixCall.forEachArg(java.util.function.ObjIntConsumer<Ast.Exp> action)
void	Ast.Record.forEachArg(java.util.function.ObjIntConsumer<Ast.Exp> action)
void	Ast.Tuple.forEachArg(java.util.function.ObjIntConsumer<Ast.Exp> action)
Ast.From	AstBuilder.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.From	AstBuilder.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.List	AstBuilder.list(Pos pos, java.lang.Iterable<? extends Ast.Exp> list)
Ast.Exp	AstBuilder.record(Pos pos, java.util.Map<java.lang.String,Ast.Exp> map)
Ast.Tuple	AstBuilder.tuple(Pos pos, java.lang.Iterable<? extends Ast.Exp> list)

Constructors in net.hydromatic.morel.ast with parameters of type Ast.Exp

Constructor	Description
Aggregate(Pos pos, Ast.Exp aggregate, Ast.Exp argument, Ast.Id id)
AnnotatedExp(Pos pos, Ast.Type type, Ast.Exp e)	Creates a type annotation.
Apply(Pos pos, Ast.Exp fn, Ast.Exp arg)
Case(Pos pos, Ast.Exp e, com.google.common.collect.ImmutableList<Ast.Match> matchList)
From(Pos pos, com.google.common.collect.ImmutableMap<Ast.Id,Ast.Exp> sources, Ast.Exp filterExp, Ast.Exp yieldExp, com.google.common.collect.ImmutableList<Pair<Ast.Exp,Ast.Id>> groupExps, com.google.common.collect.ImmutableList<Ast.Aggregate> aggregates)
FunMatch(Pos pos, java.lang.String name, com.google.common.collect.ImmutableList<Ast.Pat> patList, Ast.Exp e)
If(Pos pos, Ast.Exp condition, Ast.Exp ifTrue, Ast.Exp ifFalse)
InfixCall(Pos pos, Op op, Ast.Exp a0, Ast.Exp a1)
LetExp(Pos pos, com.google.common.collect.ImmutableList<Ast.Decl> decls, Ast.Exp e)
Match(Pos pos, Ast.Pat pat, Ast.Exp e)
PrefixCall(Pos pos, Op op, Ast.Exp a)
ValBind(Pos pos, boolean rec, Ast.Pat pat, Ast.Exp e)

Constructor parameters in net.hydromatic.morel.ast with type arguments of type Ast.Exp

Constructor	Description
From(Pos pos, com.google.common.collect.ImmutableMap<Ast.Id,Ast.Exp> sources, Ast.Exp filterExp, Ast.Exp yieldExp, com.google.common.collect.ImmutableList<Pair<Ast.Exp,Ast.Id>> groupExps, com.google.common.collect.ImmutableList<Ast.Aggregate> aggregates)
From(Pos pos, com.google.common.collect.ImmutableMap<Ast.Id,Ast.Exp> sources, Ast.Exp filterExp, Ast.Exp yieldExp, com.google.common.collect.ImmutableList<Pair<Ast.Exp,Ast.Id>> groupExps, com.google.common.collect.ImmutableList<Ast.Aggregate> aggregates)
List(Pos pos, java.lang.Iterable<? extends Ast.Exp> args)
Record(Pos pos, com.google.common.collect.ImmutableSortedMap<java.lang.String,Ast.Exp> args)
Tuple(Pos pos, java.lang.Iterable<? extends Ast.Exp> args)

Uses of Ast.Exp in net.hydromatic.morel.compile

Methods in net.hydromatic.morel.compile that return Ast.Exp

Modifier and Type	Method	Description
private Ast.Exp	TypeResolver.comparison(TypeResolver.TypeEnv env, Ast.InfixCall call, Unifier.Variable v)	Registers an infix operator whose type is a given type and whose arguments are the same type.
private Ast.Exp	TypeResolver.deduceConsType(TypeResolver.TypeEnv env, Ast.InfixCall call, Unifier.Variable v)
private Ast.Exp	TypeResolver.deduceType(TypeResolver.TypeEnv env, Ast.Exp node, Unifier.Variable v)
Ast.Exp	Macro.expand(Environment env)
private static Ast.Exp	TypeResolver.idTuple(java.util.List<java.lang.String> vars)	Converts a list of variable names to a variable or tuple.
private Ast.Exp	TypeResolver.infix(TypeResolver.TypeEnv env, Ast.InfixCall call, Unifier.Variable v, Type type)	Registers an infix operator whose type is a given type.
private Ast.Exp	TypeResolver.infixOverloaded(TypeResolver.TypeEnv env, Ast.InfixCall call, Unifier.Variable v, Type defaultType)	Registers an infix or prefix operator whose type is the same as its arguments.
private Ast.Exp	TypeResolver.opOverloaded(TypeResolver.TypeEnv env, Ast.Exp call, Unifier.Variable v, Type defaultType)	Registers an infix or prefix operator whose type is the same as its arguments.
private Ast.Exp	TypeResolver.prefixOverloaded(TypeResolver.TypeEnv env, Ast.PrefixCall call, Unifier.Variable v, Type defaultType)	Registers an infix or prefix operator whose type is the same as its arguments.
static Ast.Exp	Compiles.toExp(Ast.ValDecl decl)	Converts val = e to e; the converse of Compiles.toValDecl(Ast.Exp).

Methods in net.hydromatic.morel.compile with parameters of type Ast.Exp

Modifier and Type	Method	Description
Code	Compiler.compile(Environment env, Ast.Exp expression)
private Applicable	Compiler.compileApplicable(Environment env, Ast.Exp fn)	Compiles a function value to an Applicable, if possible, or returns null.
private Code	Compiler.compileLet(Environment env, java.util.List<Ast.Decl> decls, Ast.Exp e)
private Code	Compiler.compileLet(Environment env, Ast.Decl decl, Ast.Exp e)
private Code	Compiler.compileUnary(Environment env, Ast.Exp call)
private Ast.Exp	TypeResolver.deduceType(TypeResolver.TypeEnv env, Ast.Exp node, Unifier.Variable v)
private void	Compiler.flatten(java.util.Map<Ast.Pat,Ast.Exp> matches, Ast.Pat pat, Ast.Exp exp)
private Ast.LetExp	Compiler.flattenLet(java.util.List<Ast.Decl> decls, Ast.Exp e)
private Ast.Exp	TypeResolver.opOverloaded(TypeResolver.TypeEnv env, Ast.Exp call, Unifier.Variable v, Type defaultType)	Registers an infix or prefix operator whose type is the same as its arguments.
static Ast.ValDecl	Compiles.toValDecl(Ast.Exp statement)	Converts e to val = e.
static TypeResolver.Resolved	Compiles.validateExpression(Ast.Exp exp, java.util.Map<java.lang.String,ForeignValue> valueMap)	Validates an expression, deducing its type and perhaps rewriting the expression to a form that can more easily be compiled.

Method parameters in net.hydromatic.morel.compile with type arguments of type Ast.Exp

Modifier and Type	Method	Description
private void	Compiler.flatten(java.util.Map<Ast.Pat,Ast.Exp> matches, Ast.Pat pat, Ast.Exp exp)