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:

Def2Doc3.UsedIn_Collector, 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.

(Does not visit the expressions X in "import _ from _ ^ ( X / _)"

Field Summary

Fields

Modifier and Type	Field	Description
(package private) final Set<Definition>	done	Definitions already visited.
(package private) T	result	Register by which the payload code can return a result.
(package private) final Set<Definition>	todo	Definitions still to visit.

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 visitedx.
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, follow_allRawModules, 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_resolved, follow_sources, follow_weakfirsts, follow_xattributes

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

_visitor_trace, action, action, action, action, compile, followAll_allRawModules, 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_resolved, followAll_sources, 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, nomatch

Methods inherited from class java.lang.Object

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

Field Details

todo

final Set<Definition> todo

Definitions still to visit.

done

final Set<Definition> done

Definitions already visited.

result

T result

Register by which the payload code can return a result.

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.

processPublic

public T processPublic(Module mod)

Process all definitions and expressions reachable from all public definitions in the given module.

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 visitedx.

markToDo

protected void markToDo(Reference ref)

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