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
static RefChecker	of(TypeSystem typeSystem, Environment env)	Creates a reference checker.
protected RefChecker	push(Environment env)	Creates a visitor the same as this but with a new environment.
protected void	visit(Core.Id id)

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

bind, bind, 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, visit, visit, visit, visit

Methods inherited from class java.lang.Object

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

Constructor Details

RefChecker

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

Method Details

of

public static RefChecker of(TypeSystem typeSystem,
 Environment env)

Creates a reference checker.

push

protected RefChecker push(Environment env)

Description copied from class: EnvVisitor

Creates a visitor the same as this but with a new environment.

Specified by:

push in class EnvVisitor

visit

protected void visit(Core.Id id)

Overrides:

visit in class Visitor