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 @Nullable 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)	Converts a list of 0 or more expressions into an andalso; simplifies empty list to "true" and singleton list "[e]" to "e".
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, @Nullable Environment env, List<Core.FromStep> steps)	Copies this From with a new set of 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.empty(TypeSystem typeSystem, Pos pos, Core.Exp a0)
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 rangeSet)	Creates an extent.
Core.Exp	CoreBuilder.extent(TypeSystem typeSystem, Type type, Map<String,com.google.common.collect.ImmutableRangeSet> rangeSetMap)
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.nonEmpty(TypeSystem typeSystem, Pos pos, Core.Exp a0)
Core.Exp	CoreBuilder.not(TypeSystem typeSystem, Core.Exp a0)
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)	Converts a list of 0 or more expressions into an orelse; simplifies empty list to "false" and singleton list "[e]" to "e".
Core.Exp	CoreBuilder.orElse(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
Core.Exp	CoreBuilder.record(TypeSystem typeSystem, Collection<? extends Map.Entry<String,? extends Core.Exp>> nameExps)	Creates a record from a collection of named expressions.
Core.Exp	CoreBuilder.record(TypeSystem typeSystem, Map<String,? extends Core.Exp> nameExps)	Creates a record from a map of named expressions.
Core.Exp	CoreBuilder.simplify(TypeSystem typeSystem, Core.Exp exp)	Simplifies an expression.
Core.Exp	CoreBuilder.subTrue(TypeSystem typeSystem, Core.Exp exp, List<Core.Exp> trueExps)	Returns an expression substituting every given expression as true.
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).
List<Core.Exp>	CoreBuilder.decomposeAnd(Core.Exp exp)	Decomposes an andalso expression; inverse of CoreBuilder.andAlso(TypeSystem, Iterable).
List<Core.Exp>	CoreBuilder.decomposeOr(Core.Exp exp)	Decomposes an orelse expression; inverse of CoreBuilder.orElse(TypeSystem, Iterable).
Pair<Core.Exp,List<Core.Exp>>	CoreBuilder.intersectExtents(TypeSystem typeSystem, List<? extends Core.Exp> exps)
Pair<Core.Exp,List<Core.Exp>>	CoreBuilder.intersectExtents(TypeSystem typeSystem, List<? extends Core.Exp> exps)
Pair<Core.Exp,List<Core.Exp>>	CoreBuilder.unionExtents(TypeSystem typeSystem, List<? extends Core.Exp> exps)
Pair<Core.Exp,List<Core.Exp>>	CoreBuilder.unionExtents(TypeSystem typeSystem, List<? extends Core.Exp> exps)

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.
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, @Nullable 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)
List<Core.Exp>	CoreBuilder.decomposeAnd(Core.Exp exp)	Decomposes an andalso expression; inverse of CoreBuilder.andAlso(TypeSystem, Iterable).
List<Core.Exp>	CoreBuilder.decomposeOr(Core.Exp exp)	Decomposes an orelse expression; inverse of CoreBuilder.orElse(TypeSystem, Iterable).
Core.Exp	CoreBuilder.elem(TypeSystem typeSystem, Core.Exp a0, Core.Exp a1)
Core.Exp	CoreBuilder.empty(TypeSystem typeSystem, Pos pos, Core.Exp a0)
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".
void	CoreBuilder.flattenAnd(Core.Exp exp, Consumer<Core.Exp> consumer)	Flattens the andalsos in an expression into a consumer.
void	CoreBuilder.flattenOr(Core.Exp exp, Consumer<Core.Exp> consumer)	Flattens the orelses in an expression into a consumer.
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.Exp	CoreBuilder.nonEmpty(TypeSystem typeSystem, Pos pos, Core.Exp a0)
Core.NonRecValDecl	CoreBuilder.nonRecValDecl(Pos pos, Core.NamedPat pat, Core.Exp exp)
Core.Exp	CoreBuilder.not(TypeSystem typeSystem, Core.Exp a0)
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(List<Binding> bindings, Core.Pat pat, Core.Exp exp, Core.Exp condition)
FromBuilder	FromBuilder.scan(Core.Pat pat, Core.Exp exp)	Creates a bounded scan, "from pat in exp".
FromBuilder	FromBuilder.scan(Core.Pat pat, Core.Exp exp, Core.Exp condition)
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)
Core.Exp	CoreBuilder.subTrue(TypeSystem typeSystem, Core.Exp exp, List<Core.Exp> trueExps)	Returns an expression substituting every given expression as true.
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)	Converts a list of 0 or more expressions into an andalso; simplifies empty list to "true" and singleton list "[e]" to "e".
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	CoreBuilder.flattenAnd(Core.Exp exp, Consumer<Core.Exp> consumer)	Flattens the andalsos in an expression into a consumer.
void	CoreBuilder.flattenAnds(List<Core.Exp> exps, Consumer<Core.Exp> consumer)	Flattens the andalsos in every expression into a consumer.
void	CoreBuilder.flattenAnds(List<Core.Exp> exps, Consumer<Core.Exp> consumer)	Flattens the andalsos in every expression into a consumer.
void	CoreBuilder.flattenOr(Core.Exp exp, Consumer<Core.Exp> consumer)	Flattens the orelses in an expression into a consumer.
void	CoreBuilder.flattenOrs(List<Core.Exp> exps, Consumer<Core.Exp> consumer)	Flattens the orelses in every expression into a consumer.
void	CoreBuilder.flattenOrs(List<Core.Exp> exps, Consumer<Core.Exp> consumer)	Flattens the orelses in every expression into a consumer.
void	Core.Tuple.forEach(PairList.IndexedBiConsumer<String,Core.Exp> consumer)	Calls a consumer with the name, expression and ordinal of each field of this tuple.
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)
Pair<Core.Exp,List<Core.Exp>>	CoreBuilder.intersectExtents(TypeSystem typeSystem, List<? extends Core.Exp> exps)
Core.Exp	CoreBuilder.list(TypeSystem typeSystem, Type elementType, List<Core.Exp> args)	Creates a list.
Core.Exp	CoreBuilder.orElse(TypeSystem typeSystem, Iterable<Core.Exp> exps)	Converts a list of 0 or more expressions into an orelse; simplifies empty list to "false" and singleton list "[e]" to "e".
Core.Exp	CoreBuilder.record(TypeSystem typeSystem, Collection<? extends Map.Entry<String,? extends Core.Exp>> nameExps)	Creates a record from a collection of named expressions.
Core.Exp	CoreBuilder.record(TypeSystem typeSystem, Map<String,? extends Core.Exp> nameExps)	Creates a record from a map of named expressions.
private Core.Tuple	CoreBuilder.record_(TypeSystem typeSystem, com.google.common.collect.ImmutableSortedMap<String,Core.Exp> nameExps)
Core.Exp	CoreBuilder.subTrue(TypeSystem typeSystem, Core.Exp exp, List<Core.Exp> trueExps)	Returns an expression substituting every given expression as true.
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)
Pair<Core.Exp,List<Core.Exp>>	CoreBuilder.unionExtents(TypeSystem typeSystem, List<? extends 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, @Nullable 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(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.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 Map<Core.NamedPat,Core.Exp>	Extents.Extent.definitions	Contains definitions, such as "name = d.dname".
(package private) final PairList<Core.IdPat,Core.Exp>	Extents.Extent.idPats	New variables introduced as scans over an existing relation (list of records).
(package private) final Map<Core.Pat,PairList<Core.Exp,Core.Exp>>	Extents.ExtentMap.map
(package private) final Map<Core.Pat,PairList<Core.Exp,Core.Exp>>	Extents.ExtentMap.map
(package private) final List<Core.Exp>	Extents.Analysis.remainingFilters
(package private) final List<Core.Exp>	Extents.Analysis.satisfiedFilters
(package private) final List<Core.Exp>	SuchThatShuttle.FromVisitor.satisfiedFilters

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)
private Core.Exp	Resolver.FromResolver.run(List<Ast.FromStep> steps)
(package private) Core.Exp	Resolver.FromResolver.run(Ast.Query query)
(package private) static Core.Exp	Replacer.substitute(TypeSystem typeSystem, Map<Core.Id,Core.Id> substitution, Core.Exp exp)
private Core.Exp	Resolver.toCore(Ast.Exp exp)
private Core.Exp	Resolver.toCore(Ast.Let let)
private Core.Exp	Resolver.toCore(Ast.ListExp list)
(package private) Core.Exp	Resolver.toCore(Ast.Query query)
private Core.Exp	Resolver.toCoreFromEq(Ast.Exp exp)	Translates "x" in "from e = x".
private Core.Exp	Resolver.toCoreImplies(Ast.Exp a0, Ast.Exp a1)	Translate "p implies q" as "(not p) orelse q".
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.
protected Core.Exp	EnvShuttle.visit(Core.From from)
protected Core.Exp	EnvShuttle.visit(Core.Let let)
protected Core.Exp	EnvShuttle.visit(Core.Local local)
protected Core.Exp	Inliner.visit(Core.Apply apply)
protected Core.Exp	Inliner.visit(Core.Case caseOf)
protected Core.Exp	Inliner.visit(Core.Id id)
protected Core.Exp	Inliner.visit(Core.Let let)
protected Core.Exp	Relationalizer.visit(Core.Apply apply)
protected Core.Exp	Relationalizer.visit(Core.From from)
protected Core.Exp	Replacer.visit(Core.Id id)
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
PairList<Core.Exp,Core.Exp>	Extents.ExtentMap.get(TypeSystem typeSystem, Core.Pat pat)
PairList<Core.Exp,Core.Exp>	Extents.ExtentMap.get(TypeSystem typeSystem, Core.Pat pat)
private @NonNull PairList<Core.Exp,Core.Exp>	Extents.ExtentMap.get_(TypeSystem typeSystem, Core.Pat pat)	Constructs an expression for the extent of a pattern.
private @NonNull PairList<Core.Exp,Core.Exp>	Extents.ExtentMap.get_(TypeSystem typeSystem, Core.Pat pat)	Constructs an expression for the extent of a pattern.
(package private) static Pair<Core.Exp,Core.Exp>	Extents.reduceAnd(TypeSystem typeSystem, PairList<Core.Exp,Core.Exp> extentFilters)	Reduces a list of extent-filter pairs [e0, f0, e1, f1, ...] to an extent-filter pair [e0 intersect e1 ..., f0 andalso f1 ...].
(package private) static Pair<Core.Exp,Core.Exp>	Extents.reduceAnd(TypeSystem typeSystem, PairList<Core.Exp,Core.Exp> extentFilters)	Reduces a list of extent-filter pairs [e0, f0, e1, f1, ...] to an extent-filter pair [e0 intersect e1 ..., f0 andalso f1 ...].
(package private) static Pair<Core.Exp,Core.Exp>	Extents.reduceOr(TypeSystem typeSystem, PairList<Core.Exp,Core.Exp> extentFilters)	Reduces a list of extent-filter pairs [e0, f0, e1, f1, ...] to an extent-filter pair [e0 union e1 ..., f0 orelse f1 ...].
(package private) static Pair<Core.Exp,Core.Exp>	Extents.reduceOr(TypeSystem typeSystem, PairList<Core.Exp,Core.Exp> extentFilters)	Reduces a list of extent-filter pairs [e0, f0, e1, f1, ...] to an extent-filter pair [e0 union e1 ..., f0 orelse f1 ...].

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

Modifier and Type	Method	Description
private @NonNull 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)
private Core.IdPat	Extents.Extent.createId(Type type, Core.Exp extent)
(package private) void	Extents.Extent.g3(Map<Core.Pat,PairList<Core.Exp,Core.Exp>> map, Core.Exp filter)
private void	Extents.Extent.g4(BuiltIn builtIn, Core.Exp arg0, Core.Exp arg1, Extents.TriConsumer<Core.Pat,Core.Exp,Core.Exp> consumer)
private void	Extents.Extent.g5(BuiltIn builtIn, Core.Exp arg0, Core.Exp arg1, Extents.TriConsumer<Core.Pat,Core.Exp,Core.Exp> consumer)
private @Nullable Map<Core.Id,Core.Id>	Inliner.getSub(Core.Exp exp, Core.Match match)
private static boolean	Analyzer.isAtom(Core.Exp exp)
static boolean	Extents.isInfinite(Core.Exp exp)	Returns whether an expression is an infinite extent.
private org.apache.calcite.rex.RexNode	CalciteCompiler.morelScalar(CalciteCompiler.RelContext cx, Core.Exp exp)
(package private) void	SuchThatShuttle.DeferredStepList.scan(Environment env, Core.Pat pat, Core.Exp exp)
(package private) void	SuchThatShuttle.DeferredStepList.scan(Environment env, Core.Pat pat, Core.Exp exp, Core.Exp condition)
(package private) static Core.Exp	Replacer.substitute(TypeSystem typeSystem, Map<Core.Id,Core.Id> substitution, 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 Set<Core.Pat>	SuchThatShuttle.DeferredStepList.unresolvedRefs(Environment env, Core.Exp exp)
(package private) static Object	Resolver.valueOf(Environment env, Core.Exp exp)
(package private) void	SuchThatShuttle.DeferredStepList.where(Environment env, Core.Exp condition)
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
List<Code>	Compiler.compileArgs(Compiler.Context cx, List<? 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, Iterable<? extends Core.FromStep> followingSteps, PairList<Core.IdPat,Core.Exp> idPats)	Analyzes the extent of a pattern in an expression and creates an Extents.Analysis.
static Extents.Analysis	Extents.create(TypeSystem typeSystem, Core.Pat pat, SortedMap<Core.NamedPat,Core.Exp> boundPats, Iterable<? extends Core.FromStep> followingSteps, PairList<Core.IdPat,Core.Exp> idPats)	Analyzes the extent of a pattern in an expression and creates an Extents.Analysis.
(package private) void	Extents.Extent.g3(Map<Core.Pat,PairList<Core.Exp,Core.Exp>> map, Core.Exp filter)
(package private) void	Extents.Extent.g3(Map<Core.Pat,PairList<Core.Exp,Core.Exp>> map, Core.Exp filter)
private void	Extents.Extent.g4(BuiltIn builtIn, Core.Exp arg0, Core.Exp arg1, Extents.TriConsumer<Core.Pat,Core.Exp,Core.Exp> consumer)
private void	Extents.Extent.g4(BuiltIn builtIn, Core.Exp arg0, Core.Exp arg1, Extents.TriConsumer<Core.Pat,Core.Exp,Core.Exp> consumer)
private void	Extents.Extent.g5(BuiltIn builtIn, Core.Exp arg0, Core.Exp arg1, Extents.TriConsumer<Core.Pat,Core.Exp,Core.Exp> consumer)
private void	Extents.Extent.g5(BuiltIn builtIn, Core.Exp arg0, Core.Exp arg1, Extents.TriConsumer<Core.Pat,Core.Exp,Core.Exp> consumer)
private void	SuchThatShuttle.FromVisitor.killTemporaryScans(PairList<Core.IdPat,Core.Exp> idPats)
(package private) static Pair<Core.Exp,Core.Exp>	Extents.reduceAnd(TypeSystem typeSystem, PairList<Core.Exp,Core.Exp> extentFilters)	Reduces a list of extent-filter pairs [e0, f0, e1, f1, ...] to an extent-filter pair [e0 intersect e1 ..., f0 andalso f1 ...].
(package private) static Pair<Core.Exp,Core.Exp>	Extents.reduceAnd(TypeSystem typeSystem, PairList<Core.Exp,Core.Exp> extentFilters)	Reduces a list of extent-filter pairs [e0, f0, e1, f1, ...] to an extent-filter pair [e0 intersect e1 ..., f0 andalso f1 ...].
(package private) static Pair<Core.Exp,Core.Exp>	Extents.reduceOr(TypeSystem typeSystem, PairList<Core.Exp,Core.Exp> extentFilters)	Reduces a list of extent-filter pairs [e0, f0, e1, f1, ...] to an extent-filter pair [e0 union e1 ..., f0 orelse f1 ...].
(package private) static Pair<Core.Exp,Core.Exp>	Extents.reduceOr(TypeSystem typeSystem, PairList<Core.Exp,Core.Exp> extentFilters)	Reduces a list of extent-filter pairs [e0, f0, e1, f1, ...] to an extent-filter pair [e0 union e1 ..., f0 orelse f1 ...].
private Core.From	SuchThatShuttle.FromVisitor.rewrite1(Core.Scan scan, List<? extends Core.FromStep> laterSteps, PairList<Core.IdPat,Core.Exp> idPats)	Rewrites an unbounded scan to a from expression, using predicates in later steps to determine the ranges of variables.
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
private	Analysis(SortedMap<Core.NamedPat,Core.Exp> boundPats, Set<Core.NamedPat> goalPats, Core.Exp extentExp, List<Core.Exp> satisfiedFilters, List<Core.Exp> remainingFilters)
(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
private	Analysis(SortedMap<Core.NamedPat,Core.Exp> boundPats, Set<Core.NamedPat> goalPats, Core.Exp extentExp, List<Core.Exp> satisfiedFilters, List<Core.Exp> remainingFilters)
private	Analysis(SortedMap<Core.NamedPat,Core.Exp> boundPats, Set<Core.NamedPat> goalPats, Core.Exp extentExp, List<Core.Exp> satisfiedFilters, List<Core.Exp> remainingFilters)
(package private)	Extent(TypeSystem typeSystem, Core.Pat pat, SortedMap<Core.NamedPat,Core.Exp> boundPats, PairList<Core.IdPat,Core.Exp> idPats)
(package private)	Extent(TypeSystem typeSystem, Core.Pat pat, SortedMap<Core.NamedPat,Core.Exp> boundPats, PairList<Core.IdPat,Core.Exp> idPats)

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)