eu.bandm.tools.d2d2.base

Class Navigate.LocalReferenceNormalizer

java.lang.Object

eu.bandm.tools.d2d2.model.MATCH_ONLY_00

eu.bandm.tools.d2d2.model.SinglePhase

eu.bandm.tools.d2d2.base.Navigate.LocalReferenceNormalizer

Enclosing class:

Navigate

public static class Navigate.LocalReferenceNormalizer
extends SinglePhase

Replaces hard every refering id which is local to some declared object by the normalized identifier, as valid on module level.
It does remove only syntactic sugar, namely an abbreviated way of writing for a compound identifier. Any non-compountreference text (without any dot) appearing in the expression of a defintion is searched for the local defs of this definition, and then in the local siblings of this definition.
(This is the same strategy when resolving relative module names.)
So the following transformation applies:

       def b =  ___                            def b =  ___
       def a =  ___ b ___                      def a =  ___ a.b ___          
         with local tags b = _ c _ d   ==>     with local tags b = ___ a.b.c _ a.d
                      with local tags c = __ d __               with local tags c = ___ d __
                           end local                             end local
                    tags d = _ d _                        tags d = _ a.d _
              end local                             end local
  

No nesting is supported: only simple identifiers are compared with the names of the local definitions on the same level. So NO replacement happens in:

       def a =  ___ b.c  ___
         with local tags b = ___ ____ 
           with local tags c = ___ b ___
  

Nor is there any replacement in the last argument of an explicit substitution expression, because this means an identifier as a textual component, not a reference to a definition:

       def a =  ___ (@c)^(x/b) ___      
         with local tags b = ___ b ___ 
  

This normalization must be done before any substitution is applied, because these operate on normalized, but unresolved identifiers, simply replacing text. Therefore the TEXTUAL representation of all references must be normalized, independently from the (later) resolution process.
This must be taken into consideration when writing replacement clauses:

       def a =  ___ b  ___      
         with local tags b = ___
   DOES REPLACE:                   DOES NOT REPLACE:
       def x = @a ^(z/a.b)              def x = @a ^(z/b)       
  

Currently this normalization called once for each loaded uninstantiated Module out of ModuleRegistry.load_toplevel_module_from_stream(..)

Field Summary

Fields

Modifier and Type	Field and Description
protected String	prefixLocals
protected String	prefixParent
protected @Opt TagsRegExp	regexpLocals The local defs of the regexp we are currently visiting.
protected @Opt TagsRegExp	regexpParent The local defs of the parent of the regexp we are currently visiting.

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

_visitor_debug_stream, partial

Constructor Summary

Constructors

Constructor and Description
LocalReferenceNormalizer()

Method Summary

Modifier and Type	Method and Description
void	action(CharsRegExp x) Chars Reg Exp do not have local defs.
void	action(Module mod)
void	action(Reference ref) ATTENTION currently NOT supporting nested local defs properly.
void	action(Subst x) Do not normalize the x in "a^(b/x)".
void	action(TagsRegExp x)

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

regexpLocals

@Opt
protected @Opt TagsRegExp regexpLocals

The local defs of the regexp we are currently visiting.

regexpParent

@Opt
protected @Opt TagsRegExp regexpParent

The local defs of the parent of the regexp we are currently visiting. Here we find local *sibling* definitions.

prefixLocals

protected String prefixLocals

prefixParent

protected String prefixParent

Constructor Detail

LocalReferenceNormalizer

public LocalReferenceNormalizer()

Method Detail

action

public void action(Module mod)

Overrides:

action in class SinglePhase

action

public void action(Subst x)

Do not normalize the x in "a^(b/x)".

Overrides:

action in class SinglePhase

action

public void action(CharsRegExp x)

Chars Reg Exp do not have local defs.

Overrides:

action in class SinglePhase

action

public void action(TagsRegExp x)

Overrides:

action in class SinglePhase

action

public void action(Reference ref)

ATTENTION currently NOT supporting nested local defs properly.
Compound ids like "A.b" will not be replaced because they are never entered as keys in a directory of definitins.

Does currently not recognize mixcure of implict/partly qualified, like ...:

   tags a =   b.c 
        with local tags b = // ...
            with local tags c = // ...
            end local 
        end local
 

Overrides:

action in class SinglePhase