Package eu.bandm.tools.d2d2.base

Class Navigate.VisitReachable<T>

java.lang.Object

eu.bandm.tools.d2d2.model.MATCH_ONLY_00

eu.bandm.tools.d2d2.model.SinglePhase

eu.bandm.tools.d2d2.base.Navigate.VisitReachable<T>

Direct Known Subclasses:

Def2Xslt3, FirstCalculator, Resolver4.DistributeToResolved, Resolver4.ParseParticleGenerator

Enclosing class:

Navigate

public static class Navigate.VisitReachable<T>
extends SinglePhase

Visits all definitions and their defined expressions which are reachable from given start points.

The "actions" defined in the derived visitors must call markToDo(Refernce) or markToDo(Definition) as appropriate.

Field Summary

Fields inherited from class eu.bandm.tools.d2d2.model.MATCH_ONLY_00

_visitor_debug_stream, partial

Constructor Summary

Constructors

Constructor	Description
VisitReachable()

Method Summary

Modifier and Type	Method	Description
protected void	markToDo(Definition def)	Enter the definition into the to-do-set, if not already visited.
protected void	markToDo(Reference ref)	Enter the referred definition into the to-do-set, if not already visitedx.
T	process(Definition def)	Process all definitions and expressions reachable from one particular definition.
T	process(Module mod)	Process all definitions and expressions reachable from all definitions in the given module.
protected T	processAll()	Process until no more reachable definition is unprocessed.
T	processPublic(Module mod)	Process all definitions and expressions reachable from all public definitions in the given module.

Methods inherited from class eu.bandm.tools.d2d2.model.SinglePhase

action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, action, follow_definitions, follow_defInstances, follow_docu, follow_firsts, follow_globalSubsts, follow_imports, follow_itemDocu, follow_localdefs, follow_localSubsts, follow_modules, follow_namespaces, follow_obligates, follow_on, follow_rawModules, follow_text, follow_weakfirsts, follow_xattributes

Methods inherited from class eu.bandm.tools.d2d2.model.MATCH_ONLY_00

_visitor_trace, action, action, action, action, action, compile, followAll_definitions, followAll_defInstances, followAll_docu, followAll_firsts, followAll_globalSubsts, followAll_imports, followAll_itemDocu, followAll_localdefs, followAll_localSubsts, followAll_modules, followAll_namespaces, followAll_obligates, followAll_on, followAll_rawModules, followAll_text, followAll_weakfirsts, followAll_xattributes, foreignObject, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, match, nomatch

Methods inherited from class java.lang.Object

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

Constructor Details

VisitReachable

public VisitReachable()

Method Details

process

public T process(Module mod)

Process all definitions and expressions reachable from all definitions in the given module. (Does not visit the expressions X in "import _ from _ ^ ( X / _)".

processPublic

public T processPublic(Module mod)

Process all definitions and expressions reachable from all public definitions in the given module. (Does not visit the expressions X in "import _ from _ ^ ( X / _)".

process

public T process(Definition def)

Process all definitions and expressions reachable from one particular definition.

processAll

protected T processAll()

Process until no more reachable definition is unprocessed.

markToDo

protected void markToDo(Definition def)

Enter the definition into the to-do-set, if not already visited.

markToDo

protected void markToDo(Reference ref)

Enter the referred definition into the to-do-set, if not already visitedx.