Package net.hydromatic.morel.compile

Class RefChecker

java.lang.Object

net.hydromatic.morel.ast.Visitor

net.hydromatic.morel.compile.EnvVisitor

net.hydromatic.morel.compile.RefChecker

public class RefChecker
extends EnvVisitor

Validates expressions, making sure that every Core.Id exists in the environment.

Nested Class Summary

Nested classes/interfaces inherited from class net.hydromatic.morel.compile.EnvVisitor

EnvVisitor.FromContext

Field Summary

Fields inherited from class net.hydromatic.morel.compile.EnvVisitor

env, fromStack, typeSystem

Constructor Summary

Constructors

Modifier	Constructor	Description
private	RefChecker(TypeSystem typeSystem, Environment env, Deque<EnvVisitor.FromContext> fromStack)

Method Summary

Modifier and Type	Method	Description
protected EnvVisitor	bind(List<Binding> bindingList)	Creates a shuttle the same as this but with overriding bindings.
protected EnvVisitor	bind(Binding binding)	Creates a shuttle the same as this but overriding a binding.
static RefChecker	of(TypeSystem typeSystem, Environment env)	Creates a reference checker.
protected void	visit(Core.Id id)

Methods inherited from class net.hydromatic.morel.compile.EnvVisitor

visit, visit, visit, visit, visit, visit, visit, visitStep

Methods inherited from class net.hydromatic.morel.ast.Visitor

accept, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

RefChecker

private RefChecker(TypeSystem typeSystem,
                   Environment env,
                   Deque<EnvVisitor.FromContext> fromStack)

Method Detail

of

public static RefChecker of(TypeSystem typeSystem,
                            Environment env)

Creates a reference checker.

bind

protected EnvVisitor bind(Binding binding)

Description copied from class: EnvVisitor

Creates a shuttle the same as this but overriding a binding.

Specified by:

bind in class EnvVisitor

bind

protected EnvVisitor bind(List<Binding> bindingList)

Description copied from class: EnvVisitor

Creates a shuttle the same as this but with overriding bindings.

Specified by:

bind in class EnvVisitor

visit

protected void visit(Core.Id id)

Overrides:

visit in class Visitor