Package net.hydromatic.morel.compile

Class Analyzer

java.lang.Object

net.hydromatic.morel.ast.Visitor

net.hydromatic.morel.compile.EnvVisitor

net.hydromatic.morel.compile.Analyzer

public class Analyzer
extends EnvVisitor

Shuttle that counts how many times each expression is used.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Analyzer.Analysis	Result of an analysis.
private static class	Analyzer.MutableUse	Work space where the uses of a binding are counted.
static class	Analyzer.Use	How a binding (assignment of a value to a variable) is used.

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

EnvVisitor.FromContext

Field Summary

Fields

Modifier and Type	Field	Description
private Map<Core.NamedPat,Analyzer.MutableUse>	map

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

env, fromStack, typeSystem

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Analyzer(TypeSystem typeSystem, Environment env, Map<Core.NamedPat,Analyzer.MutableUse> map, Deque<EnvVisitor.FromContext> fromStack)	Private constructor.

Method Summary

Modifier and Type	Method	Description
static Analyzer.Analysis	analyze(TypeSystem typeSystem, Environment env, AstNode node)	Analyzes an expression.
protected Analyzer	bind(List<Binding> bindingList)	Creates a shuttle the same as this but with overriding bindings.
protected Analyzer	bind(Binding binding)	Creates a shuttle the same as this but overriding a binding.
private static boolean	isAtom(Core.Exp exp)
private static Analyzer	of(TypeSystem typeSystem, Environment env)	Creates an Analyzer.
private Analyzer.Analysis	result()	Returns the result of an analysis.
private Analyzer.MutableUse	use(Core.NamedPat name)	Gets or creates a Analyzer.MutableUse for a given name.
protected void	visit(Core.Case case_)
void	visit(Core.Id id)
protected void	visit(Core.IdPat idPat)
protected void	visit(Core.NonRecValDecl valDecl)

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

Methods inherited from class java.lang.Object

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

Field Detail

map

private final Map<Core.NamedPat,Analyzer.MutableUse> map

Constructor Detail

Analyzer

private Analyzer(TypeSystem typeSystem,
                 Environment env,
                 Map<Core.NamedPat,Analyzer.MutableUse> map,
                 Deque<EnvVisitor.FromContext> fromStack)

Private constructor.

Method Detail

of

private static Analyzer of(TypeSystem typeSystem,
                           Environment env)

Creates an Analyzer.

analyze

public static Analyzer.Analysis analyze(TypeSystem typeSystem,
                                        Environment env,
                                        AstNode node)

Analyzes an expression.

result

private Analyzer.Analysis result()

Returns the result of an analysis.

bind

protected Analyzer 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 Analyzer 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.IdPat idPat)

Overrides:

visit in class Visitor

visit

public void visit(Core.Id id)

Overrides:

visit in class Visitor

use

private Analyzer.MutableUse use(Core.NamedPat name)

Gets or creates a Analyzer.MutableUse for a given name.

visit

protected void visit(Core.NonRecValDecl valDecl)

Overrides:

visit in class Visitor

isAtom

private static boolean isAtom(Core.Exp exp)

visit

protected void visit(Core.Case case_)

Overrides:

visit in class Visitor