eu.bandm.tools.d2d2.base

Class Resolver2

java.lang.Object

eu.bandm.tools.d2d2.model.MATCH_ONLY_00

eu.bandm.tools.d2d2.model.SinglePhase

eu.bandm.tools.d2d2.base.Resolver2

public abstract class Resolver2
extends SinglePhase

Changes an unresolved module into a resolved one, new strategy which allows recursive module imports etc., since it has a finer granularity.
THEORY is in metatools/doc/papers/ddd2013/parametrization2b.pdf
Tactics are :

1. (as with the old version:) local identifers have already been expanded (to module level scope) during the "load_uninstantiated" process. (The method ModuleRegistry#load_toplevel_module_from_stream(java.io.InputStream,String) already has called Navigate.LocalReferenceNormalizer()#match(Module)!!)
2. Start with all definitions contained herein and copy them.
3. Copy the expressions and find for each defintion in an external module a copy: either a fresh one, or an existing one with identical parametrization.
4. During processing: (1) eliminate "#none" references, (2) eliminate seq/alt/perm with zero or one sub-elements, (3) flatten all nested permutations.

In contrast to the older version, LOCAL replacements are not resolved and local insertions neither.
Can stop processing after errors encountered.
returns != null iff no error encountered.
All errors are reported into a MessageReceiver, which has to be monitored by the calling level!

The only calling level is currently "ModuleRegistry".

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	Resolver2.Binding<T>
protected class	Resolver2.FlattenContext
protected class	Resolver2.ImportContext

Field Summary

Fields

Modifier and Type	Field and Description
protected String	currentDefinitionName
protected Resolver2.FlattenContext	currentFlattenContext
protected Resolver2.ImportContext	currentImportContext How we came here where we are visiting now.
protected Resolver2.Binding<Expression>	currentLocalSubsts
protected Module	currentModule
protected ModuleRegistry	moduleRegistry
protected MessageTee<SimpleMessage<XMLDocumentIdentifier>>	msg
protected MessageCounter<SimpleMessage<XMLDocumentIdentifier>>	msgcount

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

_visitor_debug_stream, partial

Constructor Summary

Constructors

Constructor and Description
Resolver2(MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msgoutput, ModuleRegistry moduleRegistry)

Method Summary

Modifier and Type	Method and Description
void	action(Enumeration def)
void	action(Insertion ins)
void	action(Reference ref)
void	action(Subst subst)
void	action(XRegExp def)
abstract void	definitionReached(Enumeration def)
abstract void	definitionReached(XRegExp def)
protected void	error(Location<XMLDocumentIdentifier> loc, String txt)
protected void	error(Location<XMLDocumentIdentifier> loc, String txt, Object... obj)
protected <T> T	findBinding(Resolver2.Binding<T> binding, String id)
void	startAt(XRegExp def)
protected void	switchToRewrittenModule(Location<XMLDocumentIdentifier> loc, String... prefs) Resolve a chain of substitutions on module level.

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

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

_visitor_trace, action, action, action, action, 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 Detail

msg

protected MessageTee<SimpleMessage<XMLDocumentIdentifier>> msg

msgcount

protected MessageCounter<SimpleMessage<XMLDocumentIdentifier>> msgcount

moduleRegistry

protected ModuleRegistry moduleRegistry

currentLocalSubsts

protected Resolver2.Binding<Expression> currentLocalSubsts

currentImportContext

protected Resolver2.ImportContext currentImportContext

How we came here where we are visiting now.

currentDefinitionName

protected String currentDefinitionName

currentModule

protected Module currentModule

currentFlattenContext

protected Resolver2.FlattenContext currentFlattenContext

Constructor Detail

Resolver2

public Resolver2(MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msgoutput,
                 ModuleRegistry moduleRegistry)

Method Detail

error

protected void error(Location<XMLDocumentIdentifier> loc,
                     String txt)

error

protected void error(Location<XMLDocumentIdentifier> loc,
                     String txt,
                     Object... obj)

findBinding

protected <T> T findBinding(Resolver2.Binding<T> binding,
                            String id)

startAt

public void startAt(XRegExp def)

action

public void action(Subst subst)

Overrides:

action in class SinglePhase

action

public void action(Insertion ins)

Overrides:

action in class SinglePhase

action

public void action(Reference ref)

Overrides:

action in class SinglePhase

switchToRewrittenModule

protected void switchToRewrittenModule(Location<XMLDocumentIdentifier> loc,
                                       String... prefs)

Resolve a chain of substitutions on module level. At least the very first identifier component is an import id. More may follow.

                      module ddd   <--currentImportContext's raw module
                         import X from xxx        
                         def a = ... X.x ...        <--visiting here
            module ccc             <--- second import context
               import D from ddd ^(Y/X)  <--- currentImportContext's ImportItem
               import Y from yyy
   module bbb     <--initial import context (unresolved module maps IDs to importItems)
      import C from ccc ^(Z/Y)     <--- second import context's ImportItem
      import Z from zzz
  

This chain is cycle-free by construction.

action

public void action(XRegExp def)

Overrides:

action in class SinglePhase

action

public void action(Enumeration def)

Overrides:

action in class SinglePhase

definitionReached

public abstract void definitionReached(XRegExp def)

definitionReached

public abstract void definitionReached(Enumeration def)