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 enum	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 final 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.
private static boolean	isAtom(Core.Exp exp)
private static Analyzer	of(TypeSystem typeSystem, Environment env)	Creates an Analyzer.
protected Analyzer	push(Environment env)	Creates a visitor the same as this but with a new environment.
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

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

Methods inherited from class java.lang.Object

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

Field Details

map

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

Constructor Details

Analyzer

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

Private constructor.

Method Details

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.

push

protected Analyzer 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.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