polyglot.visit
Class Disambiguator

java.lang.Object
  polyglot.visit.NodeVisitor
      polyglot.visit.HaltingVisitor
          polyglot.visit.ErrorHandlingVisitor
              polyglot.visit.ContextVisitor
                  polyglot.visit.DisambiguationDriver
                      polyglot.visit.AmbiguityRemover
                          polyglot.visit.Disambiguator

All Implemented Interfaces:

java.lang.Cloneable, Copy

Direct Known Subclasses:

BodyDisambiguator, OuterScopeDisambiguator, SignatureDisambiguator, SupertypeDisambiguator

public class Disambiguator
extends AmbiguityRemover

Visitor which performs type checking on the AST.

Nested Class Summary

Nested classes/interfaces inherited from class polyglot.visit.AmbiguityRemover

AmbiguityRemover.AmbChecker, AmbiguityRemover.AmbChecker2

Field Summary

protected Context

beginContext

Fields inherited from class polyglot.visit.AmbiguityRemover

visitBodies, visitSigs

Fields inherited from class polyglot.visit.ContextVisitor

context, outer, prune, rethrowMissingDependencies

Fields inherited from class polyglot.visit.ErrorHandlingVisitor

error, job, nf, ts

Fields inherited from class polyglot.visit.HaltingVisitor

bypass, bypassParent

Constructor Summary

Disambiguator(DisambiguationDriver dd)

Disambiguator(Job job, TypeSystem ts, NodeFactory nf, Context c)

Method Summary

NodeVisitor

begin() Part of the initialization done by begin() in an ErrorHandlingVisitor method is initializing the error-handling state.

Methods inherited from class polyglot.visit.AmbiguityRemover

astAmbiguityCount, bypass, bypass, bypassChildren, enterCall, isASTDisambiguated, leaveCall, override

Methods inherited from class polyglot.visit.ContextVisitor

addDecls, context, context, enter, enter, enterScope, leave, rethrowMissingDependencies, superEnter

Methods inherited from class polyglot.visit.ErrorHandlingVisitor

catchErrors, enterCall, enterError, errorQueue, hasErrors, job, leaveCall, leaveCall, nodeFactory, typeSystem

Methods inherited from class polyglot.visit.HaltingVisitor

visitChildren

Methods inherited from class polyglot.visit.NodeVisitor

copy, finish, finish, leave, override, toString, visitEdge, visitEdgeNoOverride

Methods inherited from class java.lang.Object

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

Field Detail

beginContext

protected Context beginContext

Constructor Detail

Disambiguator

public Disambiguator(DisambiguationDriver dd)

Disambiguator

public Disambiguator(Job job,
                     TypeSystem ts,
                     NodeFactory nf,
                     Context c)

Method Detail

begin

public NodeVisitor begin()

Description copied from class: ErrorHandlingVisitor

Part of the initialization done by begin() in an ErrorHandlingVisitor method is initializing the error-handling state.

Overrides:

begin in class ContextVisitor

Returns:

the NodeVisitor to traverse the ast with. If null is returned, the ast is not traversed.