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

Packages that use Core.NamedPat

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.NamedPat in net.hydromatic.morel.ast

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

Modifier and Type	Class	Description
static class	Core.AsPat	Layered pattern.
static class	Core.IdPat	Named pattern.

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

Modifier and Type	Field	Description
final Core.NamedPat	Core.Id.idPat
final Core.NamedPat	Core.NonRecValDecl.pat

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

Modifier and Type	Field	Description
static final com.google.common.collect.Ordering<Core.NamedPat>	Core.NamedPat.ORDERING	Ordering that compares named patterns by their names, then by their ordinal.

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

Modifier and Type	Method	Description
abstract Core.NamedPat	Core.NamedPat.accept(Shuttle shuttle)
abstract Core.NamedPat	Core.NamedPat.withType(Type type)

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

Modifier and Type	Method	Description
void	Core.BindingConsumer.accept(Core.NamedPat namedPat, Core.Exp exp, Pos pos)
(package private) static int	Core.NamedPat.compare(Core.NamedPat o1, Core.NamedPat o2)	Helper for ORDERING.
int	Core.NamedPat.compareTo(Core.NamedPat o)
Core.NonRecValDecl	Core.NonRecValDecl.copy(Core.NamedPat pat, Core.Exp exp)
Core.Id	CoreBuilder.id(Core.NamedPat idPat)	Creates a reference to a value.
Core.NonRecValDecl	CoreBuilder.nonRecValDecl(Pos pos, Core.NamedPat pat, Core.Exp exp)

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

Modifier	Constructor	Description
(package private)	Id(Core.NamedPat idPat)	Creates an Id.
(package private)	NonRecValDecl(Core.NamedPat pat, Core.Exp exp, Pos pos)

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

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

Modifier and Type	Field	Description
(package private) final Core.NamedPat	Resolver.ResolvedValDecl.pat

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

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 Set<Core.NamedPat>	Extents.Analysis.goalPats
(package private) final Set<Core.NamedPat>	Extents.Extent.goalPats
final com.google.common.collect.ImmutableMap<Core.NamedPat,Analyzer.Use>	Analyzer.Analysis.map
private final Map<Core.NamedPat,Analyzer.MutableUse>	Analyzer.map
private final Map<Core.NamedPat,Binding>	Environments.MapEnvironment.map
private final com.google.common.collect.ImmutableMap<Core.NamedPat,Core.NamedPat>	SuchThatShuttle.PatMap.map
private final com.google.common.collect.ImmutableMap<Core.NamedPat,Core.NamedPat>	SuchThatShuttle.PatMap.map
(package private) final Set<Core.NamedPat>	Resolver.ReferenceFinder.set
private final Map<Pair<Core.NamedPat,Type>,Core.NamedPat>	Resolver.variantIdMap	Contains variable declarations whose type at the point they are used is different (more specific) than in their declaration.
private final Map<Pair<Core.NamedPat,Type>,Core.NamedPat>	Resolver.variantIdMap	Contains variable declarations whose type at the point they are used is different (more specific) than in their declaration.

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

Modifier and Type	Method	Description
(package private) Core.NamedPat	SuchThatShuttle.PatMap.apply(Core.NamedPat p)
private Core.NamedPat	Resolver.getIdPat(Ast.Id id, Binding binding)	Converts an Id that is a reference to a variable into an IdPat that represents its declaration.
private static @Nullable Core.NamedPat	Compiles.getSkipPat(Ast.Decl decl, Core.Decl coreDecl)	Returns a pattern that should not be printed, or null.

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

Modifier and Type	Method	Description
(package private) Set<Core.NamedPat>	Extents.Analysis.unboundPats()

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

Modifier and Type	Method	Description
(package private) Core.NamedPat	SuchThatShuttle.PatMap.apply(Core.NamedPat p)
(package private) static void	Compiles.bindPattern(TypeSystem typeSystem, List<Binding> bindings, Core.NamedPat namedPat)
(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)
private Code	Compiler.compileFieldName(Compiler.Context cx, Core.NamedPat idPat)
(package private) CompiledStatement	Compiler.compileStatement(Environment env, Core.Decl decl, @Nullable Core.NamedPat skipPat, Set<Core.Exp> queriesToWrap)
(package private) abstract int	Environment.distance(int soFar, Core.NamedPat id)
(package private) int	Environments.EmptyEnvironment.distance(int soFar, Core.NamedPat id)
(package private) int	Environments.MapEnvironment.distance(int soFar, Core.NamedPat id)
(package private) int	Environments.SubEnvironment.distance(int soFar, Core.NamedPat id)
abstract @Nullable Binding	Environment.getOpt(Core.NamedPat id)	Returns the binding of id if bound, null if not.
@Nullable Binding	Environments.EmptyEnvironment.getOpt(Core.NamedPat id)
@Nullable Binding	Environments.MapEnvironment.getOpt(Core.NamedPat id)
@Nullable Binding	Environments.SubEnvironment.getOpt(Core.NamedPat id)
private Analyzer.MutableUse	Analyzer.use(Core.NamedPat name)	Gets or creates a Analyzer.MutableUse for a given name.

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

Modifier and Type	Method	Description
static Extents.Analysis	Extents.create(TypeSystem typeSystem, Core.Pat pat, SortedMap<Core.NamedPat,Core.Exp> boundPats, Core.Exp exp)
private void	Compiler.link(Map<Core.NamedPat,Compiler.LinkCode> linkCodes, Core.Pat pat, Code code)
(package private) abstract Environment	Environment.nearestAncestorNotObscuredBy(Set<Core.NamedPat> names)	If this environment only defines bindings in the given set, returns its parent.
(package private) Environment	Environments.EmptyEnvironment.nearestAncestorNotObscuredBy(Set<Core.NamedPat> names)
(package private) Environment	Environments.MapEnvironment.nearestAncestorNotObscuredBy(Set<Core.NamedPat> names)
(package private) Environment	Environments.SubEnvironment.nearestAncestorNotObscuredBy(Set<Core.NamedPat> names)
private static void	SuchThatShuttle.PatMap.populate(Core.Pat pat, Core.Exp exp, com.google.common.collect.ImmutableMap.Builder<Core.NamedPat,Core.NamedPat> nameBuilder)
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.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 void	Compiler.shredValue(Core.Pat pat, Object o, BiConsumer<Core.NamedPat,Object> consumer)

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

Modifier	Constructor	Description
(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.NamedPat

Modifier	Constructor	Description
(package private)	Analysis(com.google.common.collect.ImmutableMap<Core.NamedPat,Analyzer.Use> map)
(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)
private	Analyzer(TypeSystem typeSystem, Environment env, Map<Core.NamedPat,Analyzer.MutableUse> map, Deque<EnvVisitor.FromContext> fromStack)	Private constructor.
(package private)	Extent(TypeSystem typeSystem, Core.Pat pat, SortedMap<Core.NamedPat,Core.Exp> boundPats)
(package private)	MapEnvironment(Environment parent, com.google.common.collect.ImmutableMap<Core.NamedPat,Binding> map)
(package private)	PatMap(com.google.common.collect.ImmutableMap<Core.NamedPat,Core.NamedPat> map)
(package private)	PatMap(com.google.common.collect.ImmutableMap<Core.NamedPat,Core.NamedPat> map)
protected	ReferenceFinder(TypeSystem typeSystem, Environment env, Set<Core.NamedPat> set, Deque<EnvVisitor.FromContext> fromStack)
private	Resolver(TypeMap typeMap, NameGenerator nameGenerator, Map<Pair<Core.NamedPat,Type>,Core.NamedPat> variantIdMap, Environment env, @Nullable Session session)
private	Resolver(TypeMap typeMap, NameGenerator nameGenerator, Map<Pair<Core.NamedPat,Type>,Core.NamedPat> variantIdMap, Environment env, @Nullable Session session)

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

Methods in net.hydromatic.morel.eval with parameters of type Core.NamedPat

Modifier and Type	Method	Description
void	Closure.EvalEnvHolder.accept(Core.NamedPat namedPat, Object o)

Method parameters in net.hydromatic.morel.eval with type arguments of type Core.NamedPat

Modifier and Type	Method	Description
static boolean	Closure.bindRecurse(Core.Pat pat, Object argValue, BiConsumer<Core.NamedPat,Object> envRef)	Attempts to bind a value to a pattern.

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

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

Modifier and Type	Field	Description
final Core.NamedPat	Binding.id

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

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

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

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