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)
private Core.NamedPat	CoreBuilder.getIdPat(TypeSystem typeSystem, Core.Exp exp, @Nullable String name)
abstract Core.NamedPat	Core.NamedPat.withName(String name)	Returns a copy of this pattern with a given name and ordinal 0; or this pattern if the name is the same.
abstract Core.NamedPat	Core.NamedPat.withType(Type type)	Returns a copy of this pattern with a given type; or this pattern if the type is the same.

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

Modifier and Type	Method	Description
void	Core.BindingConsumer.accept(Core.NamedPat pat, Core.Exp exp, @Nullable Core.IdPat overloadPat, 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, @Nullable Core.IdPat overloadPat)
Core.Id	CoreBuilder.id(Core.NamedPat idPat)	Creates a reference to a value.
Core.NonRecValDecl	CoreBuilder.nonRecValDecl(Pos pos, Core.NamedPat pat, @Nullable Core.IdPat overloadPat, 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, @Nullable Core.IdPat overloadPat, 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 Consumer<Core.NamedPat>	SuchThatShuttle.FreeFinder.consumer
(package private) final Map<Core.NamedPat,Core.Exp>	Extents.Extent.definitions	Contains definitions, such as "name = d.dname".
(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
(package private) final List<Core.NamedPat>	SuchThatShuttle.DeferredStepList.refs
(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
private Core.NamedPat	Resolver.getIdPat(Ast.Id id, Core.NamedPat coreId)	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
static void	Compiles.acceptBinding(Core.NamedPat namedPat, List<Binding> bindings)
abstract void	Environment.collect(Core.NamedPat id, Consumer<Binding> consumer)	Calls a consumer for all bindings of id.
void	Environments.EmptyEnvironment.collect(Core.NamedPat id, Consumer<Binding> consumer)
void	Environments.MapEnvironment.collect(Core.NamedPat id, Consumer<Binding> consumer)
void	Environments.SubEnvironment.collect(Core.NamedPat id, Consumer<Binding> consumer)
(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)
private Core.NamedPat	Resolver.getIdPat(Ast.Id id, Core.NamedPat coreId)	Converts an Id that is a reference to a variable into an IdPat that represents its declaration.
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)
abstract @Nullable Binding	Environment.getOpt2(Core.NamedPat id)	Alternative version of Environment.getOpt(Core.NamedPat).
@Nullable Binding	Environments.EmptyEnvironment.getOpt2(Core.NamedPat id)
@Nullable Binding	Environments.MapEnvironment.getOpt2(Core.NamedPat id)
@Nullable Binding	Environments.SubEnvironment.getOpt2(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, 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.
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)

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)
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)
private	Analyzer(TypeSystem typeSystem, Environment env, Map<Core.NamedPat,Analyzer.MutableUse> map, Deque<EnvVisitor.FromContext> fromStack)	Private constructor.
(package private)	DeferredStepList(SuchThatShuttle.FreeFinder freeFinder, List<Core.NamedPat> refs)
(package private)	Extent(TypeSystem typeSystem, Core.Pat pat, SortedMap<Core.NamedPat,Core.Exp> boundPats, PairList<Core.IdPat,Core.Exp> idPats)
(package private)	FreeFinder(TypeSystem typeSystem, Environment env, Deque<EnvVisitor.FromContext> fromStack, Consumer<Core.NamedPat> consumer)
(package private)	MapEnvironment(Environment parent, com.google.common.collect.ImmutableMap<Core.NamedPat,Binding> map, com.google.common.collect.ImmutableMultimap<Core.IdPat,Binding> instanceMap)
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, Map<String,Pair<Core.IdPat,List<Core.IdPat>>> resolvedOverloads, Environment env, @Nullable Session session, @Nullable Core.Exp current)
private	Resolver(TypeMap typeMap, NameGenerator nameGenerator, Map<Pair<Core.NamedPat,Type>,Core.NamedPat> variantIdMap, Map<String,Pair<Core.IdPat,List<Core.IdPat>>> resolvedOverloads, Environment env, @Nullable Session session, @Nullable Core.Exp current)

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.inst(Core.NamedPat id, Core.IdPat overloadId, Object value)
static Binding	Binding.inst(Core.NamedPat id, Core.IdPat overloadId, Core.Exp exp)
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)
static Binding	Binding.over(Core.NamedPat id)
static Binding	Binding.over(Core.NamedPat id, Object value)

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

Modifier	Constructor	Description
private	Binding(Core.NamedPat id, @Nullable Core.IdPat overloadId, Core.Exp exp, Object value, boolean parameter, Binding.Kind kind)