Package eu.bandm.tools.d2d2.base

Class Resolver3.DistributeSolutions

java.lang.Object

eu.bandm.tools.d2d2.model.MATCH_ONLY_00

eu.bandm.tools.d2d2.model.SinglePhase

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

eu.bandm.tools.d2d2.base.Resolver3.DistributeSolutions

Enclosing class:

Resolver3

public class Resolver3.DistributeSolutions
extends Navigate.VisitReachable<Boolean>

Adjusts alle reachable references to point to the representative of its equivalence class: by the pointer ".resolved" to the rewritten Definition object, as well as by "sourceText" to the compound name. (".name" of the cloned Definition has on its construction been set to "ImportContext.compundName(Definition)".)

Field Summary

Fields inherited from class eu.bandm.tools.d2d2.base.Navigate.VisitReachable

done, result, todo

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

_visitor_debug_stream, partial

Constructor Summary

Constructors

Constructor	Description
DistributeSolutions()

Method Summary

Modifier and Type	Method	Description
protected void	action(Reference ref)

Methods inherited from class eu.bandm.tools.d2d2.base.Navigate.VisitReachable

markToDo, markToDo, process, process, processAll, processPublic

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, descend_ImportItem$globalSubsts, descend_ImportItem$localSubsts, descend_Module$definitions, descend_Module$imports, descend_Module$modules, descend_TagsRegExp$localdefs

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

_visitor_trace, action, action, action, action, compile, descend_Alt$on, descend_Perm$on, descend_Seq$on, 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

Constructor Details

DistributeSolutions

public DistributeSolutions()

Method Details

action

protected void action(Reference ref)

Overrides:

action in class SinglePhase