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

Packages that use Core.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.
net.hydromatic.morel.eval	Evaluates expressions.
net.hydromatic.morel.type	Type system.

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

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

Modifier and Type	Class	Description
static class	Core.Apply	Application of a function to its argument.
static class	Core.Case	Case expression.
static class	Core.Fn	Lambda expression.
static class	Core.From	From expression.
static class	Core.Id	Reference to a variable.
static class	Core.Let	"Let" expression.
static class	Core.Literal	Code of a literal (constant).
static class	Core.Local	"Local" expression.
static class	Core.RecordSelector	Record selector function.
static class	Core.Tuple	Tuple expression.

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

Modifier and Type	Field	Description
Core.Exp	Core.Aggregate.aggregate
Core.Exp	Core.Apply.arg
Core.Exp	Core.Aggregate.argument
Core.Exp	Core.Scan.condition
Core.Exp	Core.Case.exp
Core.Exp	Core.Fn.exp
Core.Exp	Core.Let.exp
Core.Exp	Core.Local.exp
Core.Exp	Core.Match.exp
Core.Exp	Core.NonRecValDecl.exp
Core.Exp	Core.OrderItem.exp
Core.Exp	Core.Scan.exp
Core.Exp	Core.Where.exp
private Core.Exp	Core.Wrapper.exp
Core.Exp	Core.Yield.exp
Core.Exp	Core.Apply.fn

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

Modifier and Type	Field	Description
List<Core.Exp>	Core.Tuple.args
SortedMap<Core.IdPat,Core.Exp>	Core.Group.groupExps

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

Modifier and Type	Method	Description
Core.Exp	Core.Apply.accept(Shuttle shuttle)
Core.Exp	Core.Case.accept(Shuttle shuttle)
abstract Core.Exp	Core.Exp.accept(Shuttle shuttle)
Core.Exp	Core.Fn.accept(Shuttle shuttle)
Core.Exp	Core.From.accept(Shuttle shuttle)
Core.Exp	Core.Id.accept(Shuttle shuttle)
Core.Exp	Core.Let.accept(Shuttle shuttle)
Core.Exp	Core.Literal.accept(Shuttle shuttle)
Core.Exp	Core.Local.accept(Shuttle shuttle)
Core.Exp	Core.Tuple.accept(Shuttle shuttle)
Core.Exp	CoreBuilder.andAlso(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
private Core.Exp	CoreBuilder.args(Type paramType, Core.Exp[] args)
private Core.Exp	FromBuilder.build(boolean simplify)
Core.Exp	FromBuilder.buildSimplify()	As FromBuilder.build(boolean), but also simplifies "from x in list" to "list".
Core.Exp	Core.From.copy(TypeSystem typeSystem, Environment env, List<Core.FromStep> steps)
Core.Exp	Core.Let.copy(Core.ValDecl decl, Core.Exp exp)
Core.Exp	Core.Local.copy(DataType dataType, Core.Exp exp)
Core.Exp	CoreBuilder.elem(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
Core.Exp	CoreBuilder.equal(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
Core.Exp	CoreBuilder.field(TypeSystem typeSystem, Core.Exp exp, int slot)	Creates a reference to the slotth field of an expression, "#slot exp".
Core.Exp	CoreBuilder.greaterThan(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
Core.Exp	CoreBuilder.implicitYieldExp(TypeSystem typeSystem, List<Core.FromStep> steps)	Returns what would be the yield expression if we created a Core.From from the given steps.
Core.Exp	CoreBuilder.lessThan(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
Core.Exp	CoreBuilder.list(TypeSystem typeSystem, Type elementType, List<Core.Exp> args)	Creates a list.
Core.Exp	CoreBuilder.only(TypeSystem typeSystem, Pos pos, Core.Exp a0)
Core.Exp	CoreBuilder.orElse(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
Core.Exp	CoreBuilder.record(TypeSystem typeSystem, Map<String,? extends Core.Exp> nameExps)	Creates a record.
protected Core.Exp	Shuttle.visit(Core.Apply apply)
protected Core.Exp	Shuttle.visit(Core.Case caseOf)
protected Core.Exp	Shuttle.visit(Core.Fn fn)
protected Core.Exp	Shuttle.visit(Core.From from)
protected Core.Exp	Shuttle.visit(Core.Id id)
protected Core.Exp	Shuttle.visit(Core.Let let)
protected Core.Exp	Shuttle.visit(Core.Literal literal)
protected Core.Exp	Shuttle.visit(Core.Local local)
protected Core.Exp	Shuttle.visit(Core.Tuple tuple)

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

Modifier and Type	Method	Description
List<Core.Exp>	Core.Apply.args()	Returns the argument list (assuming that the arguments are a tuple or record).

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

Modifier and Type	Method	Description
void	Core.BindingConsumer.accept(Core.NamedPat namedPat, Core.Exp exp, Pos pos)
Core.Aggregate	CoreBuilder.aggregate(Type type, Core.Exp aggregate, @Nullable Core.Exp argument)
Core.Exp	CoreBuilder.andAlso(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
Core.Apply	CoreBuilder.apply(Pos pos, Type type, Core.Exp fn, Core.Exp arg)
private Core.Exp	CoreBuilder.args(Type paramType, Core.Exp[] args)
private Core.Apply	CoreBuilder.call(TypeSystem typeSystem, BuiltIn builtIn, Core.Exp... args)	Calls a built-in function.
private Core.Apply	CoreBuilder.call(TypeSystem typeSystem, BuiltIn builtIn, Type type, Pos pos, Core.Exp... args)	Calls a built-in function with one type parameter.
Core.Case	CoreBuilder.caseOf(Type type, Core.Exp exp, Iterable<? extends Core.Match> matchList, Pos pos)
Core.Aggregate	Core.Aggregate.copy(Type type, Core.Exp aggregate, Core.Exp argument)
Core.Apply	Core.Apply.copy(Core.Exp fn, Core.Exp arg)
Core.Case	Core.Case.copy(Core.Exp exp, List<Core.Match> matchList)
Core.Fn	Core.Fn.copy(Core.IdPat idPat, Core.Exp exp)
Core.Exp	Core.Let.copy(Core.ValDecl decl, Core.Exp exp)
Core.Exp	Core.Local.copy(DataType dataType, Core.Exp exp)
Core.Match	Core.Match.copy(Core.Pat pat, Core.Exp exp)
Core.NonRecValDecl	Core.NonRecValDecl.copy(Core.NamedPat pat, Core.Exp exp)
Core.OrderItem	Core.OrderItem.copy(Core.Exp exp, Ast.Direction direction)
Core.Scan	Core.Scan.copy(List<Binding> bindings, Core.Pat pat, Core.Exp exp, Core.Exp condition)
Core.Where	Core.Where.copy(Core.Exp exp, List<Binding> bindings)
Core.Yield	Core.Yield.copy(List<Binding> bindings, Core.Exp exp)
Core.Exp	CoreBuilder.elem(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
Core.Exp	CoreBuilder.equal(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
Core.Exp	CoreBuilder.field(TypeSystem typeSystem, Core.Exp exp, int slot)	Creates a reference to the slotth field of an expression, "#slot exp".
Core.Fn	CoreBuilder.fn(FnType type, Core.IdPat idPat, Core.Exp exp)
Core.Exp	CoreBuilder.greaterThan(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
Core.Case	CoreBuilder.ifThenElse(Core.Exp condition, Core.Exp ifTrue, Core.Exp ifFalse)
private static boolean	Core.Wrapper.isValidValue(Core.Exp exp, Object o)
Core.Exp	CoreBuilder.lessThan(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
Core.Let	CoreBuilder.let(Core.ValDecl decl, Core.Exp exp)
Core.Local	CoreBuilder.local(DataType dataType, Core.Exp exp)
Core.Match	CoreBuilder.match(Core.Pat pat, Core.Exp exp, Pos pos)
Core.NonRecValDecl	CoreBuilder.nonRecValDecl(Core.NamedPat pat, Core.Exp exp, Pos pos)
Core.Exp	CoreBuilder.only(TypeSystem typeSystem, Pos pos, Core.Exp a0)
Core.OrderItem	CoreBuilder.orderItem(Core.Exp exp, Ast.Direction direction)
Core.Exp	CoreBuilder.orElse(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
Core.Scan	CoreBuilder.scan(Op op, List<Binding> bindings, Core.Pat pat, Core.Exp exp, Core.Exp condition)
FromBuilder	FromBuilder.scan(Core.Pat pat, Core.Exp exp)
FromBuilder	FromBuilder.scan(Core.Pat pat, Core.Exp exp, Core.Exp condition)
Core.Tuple	CoreBuilder.tuple(RecordLikeType type, Core.Exp... args)
Core.Literal	CoreBuilder.valueLiteral(Core.Exp exp, Object value)	Creates a value literal.
Core.Where	CoreBuilder.where(List<Binding> bindings, Core.Exp exp)
FromBuilder	FromBuilder.where(Core.Exp condition)
(package private) static Comparable	Core.Literal.wrap(Core.Exp exp, Object value)
Core.Yield	CoreBuilder.yield_(List<Binding> bindings, Core.Exp exp)
Core.Yield	CoreBuilder.yield_(TypeSystem typeSystem, Core.Exp exp)	Derives bindings, then calls CoreBuilder.yield_(List, Core.Exp).
FromBuilder	FromBuilder.yield_(boolean uselessIfLast, @Nullable List<Binding> bindings2, Core.Exp exp)	Creates a "yield" step.
FromBuilder	FromBuilder.yield_(boolean uselessIfLast, Core.Exp exp)
FromBuilder	FromBuilder.yield_(Core.Exp exp)

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

Modifier and Type	Method	Description
Core.Group	Core.Group.copy(SortedMap<Core.IdPat,Core.Exp> groupExps, SortedMap<Core.IdPat,Core.Aggregate> aggregates)
Core.Tuple	Core.Tuple.copy(TypeSystem typeSystem, List<Core.Exp> args)
void	Core.Exp.forEachArg(ObjIntConsumer<Core.Exp> action)
void	Core.Tuple.forEachArg(ObjIntConsumer<Core.Exp> action)
Core.Group	CoreBuilder.group(SortedMap<Core.IdPat,Core.Exp> groupExps, SortedMap<Core.IdPat,Core.Aggregate> aggregates)
FromBuilder	FromBuilder.group(SortedMap<Core.IdPat,Core.Exp> groupExps, SortedMap<Core.IdPat,Core.Aggregate> aggregates)
Core.Exp	CoreBuilder.list(TypeSystem typeSystem, Type elementType, List<Core.Exp> args)	Creates a list.
Core.Exp	CoreBuilder.record(TypeSystem typeSystem, Map<String,? extends Core.Exp> nameExps)	Creates a record.
Core.Tuple	CoreBuilder.tuple(RecordLikeType type, Iterable<? extends Core.Exp> args)
Core.Tuple	CoreBuilder.tuple(TypeSystem typeSystem, @Nullable RecordLikeType type, Iterable<? extends Core.Exp> args)	As CoreBuilder.tuple(RecordLikeType, Iterable), but derives type.

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

Constructor	Description
Aggregate(Type type, Core.Exp aggregate, Core.Exp argument)
Apply(Pos pos, Type type, Core.Exp fn, Core.Exp arg)
Case(Pos pos, Type type, Core.Exp exp, com.google.common.collect.ImmutableList<Core.Match> matchList)
Fn(FnType type, Core.IdPat idPat, Core.Exp exp)
Let(Core.ValDecl decl, Core.Exp exp)
Local(DataType dataType, Core.Exp exp)
Match(Pos pos, Core.Pat pat, Core.Exp exp)
NonRecValDecl(Core.NamedPat pat, Core.Exp exp, Pos pos)
OrderItem(Core.Exp exp, Ast.Direction direction)
Scan(Op op, com.google.common.collect.ImmutableList<Binding> bindings, Core.Pat pat, Core.Exp exp, Core.Exp condition)
Where(com.google.common.collect.ImmutableList<Binding> bindings, Core.Exp exp)
Wrapper(Core.Exp exp, Object o)
Yield(com.google.common.collect.ImmutableList<Binding> bindings, Core.Exp exp)

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

Constructor	Description
Group(com.google.common.collect.ImmutableList<Binding> bindings, com.google.common.collect.ImmutableSortedMap<Core.IdPat,Core.Exp> groupExps, com.google.common.collect.ImmutableSortedMap<Core.IdPat,Core.Aggregate> aggregates)
Tuple(RecordLikeType type, com.google.common.collect.ImmutableList<Core.Exp> args)

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

Fields in net.hydromatic.morel.compile declared as Core.Exp

Modifier and Type	Field	Description
(package private) Core.Exp	Resolver.PatExp.exp
(package private) Core.Exp	Resolver.ResolvedValDecl.exp

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

Modifier and Type	Method	Description
Core.Exp	Macro.expand(TypeSystem typeSystem, Environment env, Type argType)
private Core.Exp	Resolver.flattenLet(List<Ast.Decl> decls, Ast.Exp exp)
(package private) Core.Exp	Resolver.FromResolver.run(Ast.From from)
private Core.Exp	Resolver.toCore(Ast.Exp exp)
(package private) Core.Exp	Resolver.toCore(Ast.From from)
private Core.Exp	Resolver.toCore(Ast.Let let)
private Core.Exp	Resolver.toCore(Ast.ListExp list)
private Core.Exp	Resolver.toCoreFromEq(Ast.Exp exp)	Translates "x" in "from e = x".
static Core.Exp	Compiles.toExp(Core.NonRecValDecl decl)	Converts val = e to e; the converse of Compiles.toValDecl(Ast.Exp).
private Core.Exp	Resolver.ResolvedDatatypeDecl.toExp(List<DataType> dataTypes, Core.Exp resultExp)
(package private) Core.Exp	Resolver.ResolvedDatatypeDecl.toExp(Core.Exp resultExp)
(package private) abstract Core.Exp	Resolver.ResolvedDecl.toExp(Core.Exp resultExp)	Converts the declaration to a let or a local.
Core.Exp	EnvShuttle.visit(Core.From from)
Core.Exp	EnvShuttle.visit(Core.Let let)
Core.Exp	EnvShuttle.visit(Core.Local local)
protected Core.Exp	Inliner.visit(Core.Apply apply)
Core.Exp	Inliner.visit(Core.Id id)
Core.Exp	Inliner.visit(Core.Let let)
protected Core.Exp	Relationalizer.visit(Core.Apply apply)
Core.Exp	Relationalizer.visit(Core.From from)

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

Modifier and Type	Method	Description
private org.apache.calcite.sql.SqlAggFunction	CalciteCompiler.aggOp(Core.Exp aggregate)	Returns the Calcite operator corresponding to a Morel built-in aggregate function.
Code	Compiler.compile(Compiler.Context cx, Core.Exp expression)
Code	Compiler.compile(Environment env, Core.Exp expression)
private Applicable	Compiler.compileApplicable(Compiler.Context cx, Core.Exp fn, Type argType, Pos pos)	Compiles a function value to an Applicable, if possible, or returns null.
Code	CalciteCompiler.compileArg(Compiler.Context cx, Core.Exp expression)
Code	Compiler.compileArg(Compiler.Context cx, Core.Exp expression)	Compiles the argument to "apply".
private Code	Compiler.compileCall(Compiler.Context cx, BuiltIn builtIn, Core.Exp arg, Pos pos)
private static boolean	Analyzer.isAtom(Core.Exp exp)
private org.apache.calcite.rex.RexNode	CalciteCompiler.morelScalar(CalciteCompiler.RelContext cx, Core.Exp exp)
private Core.Exp	Resolver.ResolvedDatatypeDecl.toExp(List<DataType> dataTypes, Core.Exp resultExp)
(package private) Core.Exp	Resolver.ResolvedDatatypeDecl.toExp(Core.Exp resultExp)
(package private) abstract Core.Exp	Resolver.ResolvedDecl.toExp(Core.Exp resultExp)	Converts the declaration to a let or a local.
(package private) Core.Let	Resolver.ResolvedValDecl.toExp(Core.Exp resultExp)
private Core.From	Relationalizer.toFrom(Core.Exp exp)
@Nullable org.apache.calcite.rel.RelNode	CalciteCompiler.toRel(Environment env, Core.Exp expression)
private org.apache.calcite.rel.RelNode	CalciteCompiler.toRel2(CalciteCompiler.RelContext cx, Core.Exp expression)
(package private) boolean	CalciteCompiler.toRel3(CalciteCompiler.RelContext cx, Core.Exp expression, boolean aggressive)
private org.apache.calcite.rex.RexNode	CalciteCompiler.translate(CalciteCompiler.RelContext cx, Core.Exp exp)
private CalciteCompiler.RelContext	CalciteCompiler.yield_(CalciteCompiler.RelContext cx, Core.Exp exp)

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

Modifier and Type	Method	Description
List<Code>	Compiler.compileArgs(Compiler.Context cx, Iterable<? extends Core.Exp> expressions)	Compiles the tuple arguments to "apply".
(package private) void	Compiler.compileDecl(Compiler.Context cx, Core.Decl decl, boolean isDecl, Set<Core.Exp> queriesToWrap, List<Code> matchCodes, List<Binding> bindings, List<Compiler.Action> actions)
(package private) CompiledStatement	Compiler.compileStatement(Environment env, Core.Decl decl, boolean isDecl, Set<Core.Exp> queriesToWrap)
private void	Compiler.compileValDecl(Compiler.Context cx, Core.ValDecl valDecl, boolean isDecl, Set<Core.Exp> queriesToWrap, List<Code> matchCodes, List<Binding> bindings, List<Compiler.Action> actions)
private List<org.apache.calcite.rex.RexNode>	CalciteCompiler.translateList(CalciteCompiler.RelContext cx, List<Core.Exp> exps)

Constructors in net.hydromatic.morel.compile with parameters of type Core.Exp

Constructor	Description
PatExp(Core.Pat pat, Core.Exp exp, Pos pos)
ResolvedValDecl(boolean rec, com.google.common.collect.ImmutableList<Resolver.PatExp> patExps, Core.NamedPat pat, Core.Exp exp)

Uses of Core.Exp in net.hydromatic.morel.eval

Methods in net.hydromatic.morel.eval that return Core.Exp

Modifier and Type	Method	Description
private static Core.Exp	Codes.sysEnv(TypeSystem typeSystem, Environment env, Type argType)

Uses of Core.Exp in net.hydromatic.morel.type

Fields in net.hydromatic.morel.type declared as Core.Exp

Modifier and Type	Field	Description
Core.Exp	Binding.exp

Methods in net.hydromatic.morel.type with parameters of type Core.Exp

Modifier and Type	Method	Description
static Binding	Binding.of(Core.NamedPat id, Core.Exp exp)

Constructors in net.hydromatic.morel.type with parameters of type Core.Exp

Constructor	Description
Binding(Core.NamedPat id, Core.Exp exp, Object value, boolean parameter)