Class 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)".)
  • Constructor Details

    • DistributeSolutions

      public DistributeSolutions()
  • Method Details