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
final Core.Exp	Core.Aggregate.aggregate
final Core.Exp	Core.Apply.arg
final Core.Exp	Core.Aggregate.argument
final Core.Exp	Core.Scan.condition
final Core.Exp	Core.Case.exp
final Core.Exp	Core.Fn.exp
final Core.Exp	Core.Let.exp
final Core.Exp	Core.Local.exp
final Core.Exp	Core.Match.exp
final Core.Exp	Core.NonRecValDecl.exp
final Core.Exp	Core.OrderItem.exp
final Core.Exp	Core.Scan.exp
final Core.Exp	Core.Skip.exp
final Core.Exp	Core.Take.exp
final Core.Exp	Core.Where.exp
private final Core.Exp	Core.Wrapper.exp
final Core.Exp	Core.Yield.exp
final Core.Exp	Core.Apply.fn

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

Modifier and Type	Field	Description
final List<Core.Exp>	Core.Tuple.args
final 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, Iterable<Core.Exp> exps)
Core.Exp	CoreBuilder.andAlso(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
Core.Exp	Core.Apply.arg(int i)
Core.Exp	Core.Exp.arg(int i)	Returns the ith argument.
Core.Exp	Core.Tuple.arg(int i)
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.extent(TypeSystem typeSystem, Type type, com.google.common.collect.RangeSet<Comparable> rangeSet)	Creates an extent.
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.greaterThanOrEqualTo(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.intersect(TypeSystem typeSystem, Iterable<Core.Exp> exps)
Core.Exp	CoreBuilder.intersect(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
Core.Exp	CoreBuilder.lessThan(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
Core.Exp	CoreBuilder.list(TypeSystem typeSystem, Core.Exp arg0, Core.Exp... args)	Creates a list with one or more elements.
Core.Exp	CoreBuilder.list(TypeSystem typeSystem, Type elementType, List<Core.Exp> args)	Creates a list.
Core.Exp	CoreBuilder.notEqual(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
Core.Exp	CoreBuilder.only(TypeSystem typeSystem, Pos pos, Core.Exp a0)
Core.Exp	CoreBuilder.orElse(TypeSystem typeSystem, Iterable<Core.Exp> exps)
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.
(package private) Core.Exp	CoreBuilder.simplify(TypeSystem typeSystem, Core.Exp exp)	Simplifies an expression.
Core.Exp	CoreBuilder.union(TypeSystem typeSystem, Iterable<Core.Exp> exps)
Core.Exp	CoreBuilder.union(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
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).
Pair<Core.Exp,List<Core.Exp>>	CoreBuilder.mergeExtents(TypeSystem typeSystem, List<? extends Core.Exp> exps, boolean intersect)
Pair<Core.Exp,List<Core.Exp>>	CoreBuilder.mergeExtents(TypeSystem typeSystem, List<? extends Core.Exp> exps, boolean intersect)

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)	Creates a Core.Apply.
Core.Apply	CoreBuilder.apply(Pos pos, TypeSystem typeSystem, BuiltIn builtIn, Core.Exp arg0, Core.Exp arg1, Core.Exp... args)	Creates a Core.Apply with two or more arguments, packing the arguments into a tuple.
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(Pos pos, Type type, Core.Exp exp, Iterable<? extends Core.Match> matchList)
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.Skip	Core.Skip.copy(Core.Exp exp, List<Binding> bindings)
Core.Take	Core.Take.copy(Core.Exp exp, List<Binding> bindings)
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.Exp	CoreBuilder.greaterThanOrEqualTo(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
Core.Case	CoreBuilder.ifThenElse(Core.Exp condition, Core.Exp ifTrue, Core.Exp ifFalse)
Core.Exp	CoreBuilder.intersect(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
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.Exp	CoreBuilder.list(TypeSystem typeSystem, Core.Exp arg0, Core.Exp... args)	Creates a list with one or more elements.
Core.Local	CoreBuilder.local(DataType dataType, Core.Exp exp)
Core.Match	CoreBuilder.match(Pos pos, Core.Pat pat, Core.Exp exp)
Core.NonRecValDecl	CoreBuilder.nonRecValDecl(Pos pos, Core.NamedPat pat, Core.Exp exp)
Core.Exp	CoreBuilder.notEqual(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
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)
(package private) Core.Exp	CoreBuilder.simplify(TypeSystem typeSystem, Core.Exp exp)	Simplifies an expression.
Core.Skip	CoreBuilder.skip(List<Binding> bindings, Core.Exp exp)
FromBuilder	FromBuilder.skip(Core.Exp count)
FromBuilder	FromBuilder.suchThat(Core.Pat pat, Core.Exp exp)
Core.Take	CoreBuilder.take(List<Binding> bindings, Core.Exp exp)
FromBuilder	FromBuilder.take(Core.Exp count)
Core.Tuple	CoreBuilder.tuple(RecordLikeType type, Core.Exp... args)
Core.Tuple	CoreBuilder.tuple(TypeSystem typeSystem, Core.Exp... args)
Core.Exp	CoreBuilder.union(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
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.Exp	CoreBuilder.andAlso(TypeSystem typeSystem, Iterable<Core.Exp> exps)
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.intersect(TypeSystem typeSystem, Iterable<Core.Exp> exps)
Core.Exp	CoreBuilder.list(TypeSystem typeSystem, Type elementType, List<Core.Exp> args)	Creates a list.
Pair<Core.Exp,List<Core.Exp>>	CoreBuilder.mergeExtents(TypeSystem typeSystem, List<? extends Core.Exp> exps, boolean intersect)
Core.Exp	CoreBuilder.orElse(TypeSystem typeSystem, Iterable<Core.Exp> exps)
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.
Core.Exp	CoreBuilder.union(TypeSystem typeSystem, Iterable<Core.Exp> exps)

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

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

Modifier	Constructor	Description
(package private)	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)
(package private)	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) final Core.Exp	Resolver.PatExp.exp
(package private) final Core.Exp	Resolver.ResolvedValDecl.exp
(package private) final Core.Exp	Extents.ExtentFilter.extent
(package private) final Core.Exp	Extents.Analysis.extentExp

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

Modifier and Type	Field	Description
(package private) final SortedMap<Core.NamedPat,Core.Exp>	Extents.Analysis.boundPats
(package private) final SortedMap<Core.NamedPat,Core.Exp>	Extents.Extent.boundPats
(package private) final com.google.common.collect.ImmutableList<Core.Exp>	Extents.ExtentFilter.filters
(package private) final List<Core.Exp>	Extents.Analysis.remainingFilters

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

Modifier and Type	Method	Description
private Core.Exp	Extents.Extent.baz(BuiltIn builtIn, Core.Exp arg)
Core.Exp	Macro.expand(TypeSystem typeSystem, Environment env, Type argType)
private Core.Exp	Resolver.flattenLet(List<Ast.Decl> decls, Ast.Exp exp)
static Core.Exp	Extents.generator(TypeSystem typeSystem, Core.Pat pat, Core.Exp exp)	Returns an expression that generates the extent of a pattern.
private Core.Exp	SuchThatShuttle.rewrite(UnaryOperator<Core.NamedPat> mapper, SortedMap<Core.NamedPat,Core.Exp> boundPats, Map<Core.IdPat,Core.Exp> scans, List<Core.Exp> filters, List<Core.Exp> exps)	Rewrites a "from vars suchthat condition" expression to a "from vars in list" expression; returns null if no rewrite is possible.
private Core.Exp	SuchThatShuttle.rewrite0(SortedMap<Core.NamedPat,Core.Exp> boundPats, Core.Pat pat, Core.Exp exp)
private @Nullable Core.Exp	SuchThatShuttle.rewriteElem(TypeSystem typeSystem, UnaryOperator<Core.NamedPat> mapper, SortedMap<Core.NamedPat,Core.Exp> boundPats, Map<Core.IdPat,Core.Exp> scans, List<Core.Exp> filters, Core.Exp a0, Core.Exp a1, List<Core.Exp> exps2)
(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)
protected Core.Exp	SuchThatShuttle.visit(Core.From from)

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

Modifier and Type	Method	Description
(package private) static List<Core.Exp>	SuchThatShuttle.conjunctions(Core.Exp e)	Returns an expression as a list of conjunctions.

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

Modifier and Type	Method	Description
private static void	SuchThatShuttle.addConjunctions(com.google.common.collect.ImmutableList.Builder<Core.Exp> b, Core.Exp e)
private org.apache.calcite.sql.SqlAggFunction	CalciteCompiler.aggOp(Core.Exp aggregate)	Returns the Calcite operator corresponding to a Morel built-in aggregate function.
private Core.Exp	Extents.Extent.baz(BuiltIn builtIn, Core.Exp arg)
Code	Compiler.compile(Compiler.Context cx, Core.Exp expression)
final 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)
(package private) static List<Core.Exp>	SuchThatShuttle.conjunctions(Core.Exp e)	Returns an expression as a list of conjunctions.
static Extents.Analysis	Extents.create(TypeSystem typeSystem, Core.Pat pat, SortedMap<Core.NamedPat,Core.Exp> boundPats, Core.Exp exp)
private void	Extents.Extent.extent(Core.Pat pat, Core.Exp exp, List<Core.Exp> extents, List<Core.Exp> filters)
(package private) void	Extents.Extent.g3(com.google.common.collect.Multimap<Core.Pat,Core.Exp> map, Core.Exp exp)
private void	Extents.Extent.g4(com.google.common.collect.Multimap<Core.Pat,Core.Exp> map, BuiltIn builtIn, Core.Exp arg0, Core.Exp arg1)
static Core.Exp	Extents.generator(TypeSystem typeSystem, Core.Pat pat, Core.Exp exp)	Returns an expression that generates the extent of a pattern.
private static boolean	Analyzer.isAtom(Core.Exp exp)
private static boolean	Extents.Extent.matches(Core.Exp exp, Core.Pat pat)	Returns whether an expression corresponds exactly to a pattern.
private org.apache.calcite.rex.RexNode	CalciteCompiler.morelScalar(CalciteCompiler.RelContext cx, Core.Exp exp)
(package private) static SuchThatShuttle.PatMap	SuchThatShuttle.PatMap.of(Core.Pat pat, Core.Exp exp)
private static void	SuchThatShuttle.PatMap.populate(Core.Pat pat, Core.Exp exp, com.google.common.collect.ImmutableMap.Builder<Core.NamedPat,Core.NamedPat> nameBuilder)
private Core.Exp	SuchThatShuttle.rewrite0(SortedMap<Core.NamedPat,Core.Exp> boundPats, Core.Pat pat, Core.Exp exp)
private @Nullable Core.Exp	SuchThatShuttle.rewriteElem(TypeSystem typeSystem, UnaryOperator<Core.NamedPat> mapper, SortedMap<Core.NamedPat,Core.Exp> boundPats, Map<Core.IdPat,Core.Exp> scans, List<Core.Exp> filters, Core.Exp a0, Core.Exp a1, List<Core.Exp> exps2)
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)
(package private) static Object	Resolver.valueOf(Environment env, Core.Exp exp)
private CalciteCompiler.RelContext	CalciteCompiler.yield_(CalciteCompiler.RelContext cx, List<Binding> bindings, Core.Exp exp)

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

Modifier and Type	Method	Description
private static void	SuchThatShuttle.addConjunctions(com.google.common.collect.ImmutableList.Builder<Core.Exp> b, Core.Exp e)
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, @Nullable Core.NamedPat skipPat, Set<Core.Exp> queriesToWrap, List<Code> matchCodes, List<Binding> bindings, List<Compiler.Action> actions)
(package private) CompiledStatement	Compiler.compileStatement(Environment env, Core.Decl decl, @Nullable Core.NamedPat skipPat, Set<Core.Exp> queriesToWrap)
private void	Compiler.compileValDecl(Compiler.Context cx, Core.ValDecl valDecl, @Nullable Core.Pat skipPat, Set<Core.Exp> queriesToWrap, List<Code> matchCodes, List<Binding> bindings, List<Compiler.Action> actions)
static Extents.Analysis	Extents.create(TypeSystem typeSystem, Core.Pat pat, SortedMap<Core.NamedPat,Core.Exp> boundPats, Core.Exp exp)
private void	Extents.Extent.extent(Core.Pat pat, Core.Exp exp, List<Core.Exp> extents, List<Core.Exp> filters)
(package private) void	Extents.Extent.g3(com.google.common.collect.Multimap<Core.Pat,Core.Exp> map, Core.Exp exp)
private void	Extents.Extent.g4(com.google.common.collect.Multimap<Core.Pat,Core.Exp> map, BuiltIn builtIn, Core.Exp arg0, Core.Exp arg1)
private Core.Exp	SuchThatShuttle.rewrite(UnaryOperator<Core.NamedPat> mapper, SortedMap<Core.NamedPat,Core.Exp> boundPats, Map<Core.IdPat,Core.Exp> scans, List<Core.Exp> filters, List<Core.Exp> exps)	Rewrites a "from vars suchthat condition" expression to a "from vars in list" expression; returns null if no rewrite is possible.
private Core.Exp	SuchThatShuttle.rewrite(UnaryOperator<Core.NamedPat> mapper, SortedMap<Core.NamedPat,Core.Exp> boundPats, Map<Core.IdPat,Core.Exp> scans, List<Core.Exp> filters, List<Core.Exp> exps)	Rewrites a "from vars suchthat condition" expression to a "from vars in list" expression; returns null if no rewrite is possible.
private Core.Exp	SuchThatShuttle.rewrite(UnaryOperator<Core.NamedPat> mapper, SortedMap<Core.NamedPat,Core.Exp> boundPats, Map<Core.IdPat,Core.Exp> scans, List<Core.Exp> filters, List<Core.Exp> exps)	Rewrites a "from vars suchthat condition" expression to a "from vars in list" expression; returns null if no rewrite is possible.
private Core.Exp	SuchThatShuttle.rewrite0(SortedMap<Core.NamedPat,Core.Exp> boundPats, Core.Pat pat, Core.Exp exp)
private @Nullable Core.Exp	SuchThatShuttle.rewriteElem(TypeSystem typeSystem, UnaryOperator<Core.NamedPat> mapper, SortedMap<Core.NamedPat,Core.Exp> boundPats, Map<Core.IdPat,Core.Exp> scans, List<Core.Exp> filters, Core.Exp a0, Core.Exp a1, List<Core.Exp> exps2)
private @Nullable Core.Exp	SuchThatShuttle.rewriteElem(TypeSystem typeSystem, UnaryOperator<Core.NamedPat> mapper, SortedMap<Core.NamedPat,Core.Exp> boundPats, Map<Core.IdPat,Core.Exp> scans, List<Core.Exp> filters, Core.Exp a0, Core.Exp a1, List<Core.Exp> exps2)
private @Nullable Core.Exp	SuchThatShuttle.rewriteElem(TypeSystem typeSystem, UnaryOperator<Core.NamedPat> mapper, SortedMap<Core.NamedPat,Core.Exp> boundPats, Map<Core.IdPat,Core.Exp> scans, List<Core.Exp> filters, Core.Exp a0, Core.Exp a1, List<Core.Exp> exps2)
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

Modifier	Constructor	Description
(package private)	Analysis(SortedMap<Core.NamedPat,Core.Exp> boundPats, Set<Core.NamedPat> goalPats, Core.Exp extentExp, List<Core.Exp> remainingFilters)
(package private)	ExtentFilter(Core.Exp extent, com.google.common.collect.ImmutableList<Core.Exp> filters)
(package private)	PatExp(Core.Pat pat, Core.Exp exp, Pos pos)
(package private)	ResolvedValDecl(boolean rec, com.google.common.collect.ImmutableList<Resolver.PatExp> patExps, Core.NamedPat pat, Core.Exp exp)

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

Modifier	Constructor	Description
(package private)	Analysis(SortedMap<Core.NamedPat,Core.Exp> boundPats, Set<Core.NamedPat> goalPats, Core.Exp extentExp, List<Core.Exp> remainingFilters)
(package private)	Analysis(SortedMap<Core.NamedPat,Core.Exp> boundPats, Set<Core.NamedPat> goalPats, Core.Exp extentExp, List<Core.Exp> remainingFilters)
(package private)	Extent(TypeSystem typeSystem, Core.Pat pat, SortedMap<Core.NamedPat,Core.Exp> boundPats)
(package private)	ExtentFilter(Core.Exp extent, com.google.common.collect.ImmutableList<Core.Exp> filters)

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
final 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

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