eu.bandm.tools.d2d2.base

Class Resolver

java.lang.Object

eu.bandm.tools.d2d2.base.Resolver

public final class Resolver
extends Object

Changes an unresolved module into a resolved one.
Tactics are :

1. 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. here make first a Co-Rewriters copy of the module and all (recursively) imported modules, in their raw, uninstantiated state.
3. Then resolve all D2d.References (via "set_resolved()"), thereby stacking and applying all module-level substitutions.
4. Then re-write all expression-level substitutions.
5. Normalize the resulting expression: (1) eliminate "#empty" references, (2) eliminate seq/alt/perm with zero or one sub-elements, (3) flatten all nested permutations.
6. At last do some (more typechecking) analyses: calc first set and calc character sets. THIS COULD BE DISLOCATED TO ONE LEVEL ABOVE !?

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!

Only calling level is currently ModuleRegistry.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	Resolver.AllExpressionNormalizer Flatten all insertions which are subject to a *LOCAL* substitution.
class	Resolver.FirstCalculator Sets up constants in each Expression, which cache structural properties of the syntax for later parsing.
protected class	Resolver.InsertionAndSubstititionResolver Flatten all insertions which are subject to a *LOCAL* substitution.
protected class	Resolver.ParseParticleGenerator Links top-level fragment declarations and all parse particles with the same name.
protected class	Resolver.ReferenceResolver Here all declaration objects, all items and all imported modules are already rewritten.

Field Summary

Fields

Modifier and Type	Field and Description
protected ModuleRegistry	modules
protected Stack<Module>	modulesOpen
protected MessageTee<SimpleMessage<XMLDocumentIdentifier>>	msg
protected MessageCounter<SimpleMessage<XMLDocumentIdentifier>>	msgcount

Constructor Summary

Constructors

Constructor and Description
Resolver(MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msgoutput, ModuleRegistry modules)

Method Summary

Modifier and Type	Method and Description
protected void	error(Location<XMLDocumentIdentifier> loc, String txt)
protected void	error(Location<XMLDocumentIdentifier> loc, String txt, Object... obj)
protected void	failure(String txt)
protected boolean	findLoop(Location<XMLDocumentIdentifier> loc, Module mod)
protected void	hint(Location<XMLDocumentIdentifier> loc, String txt)
static void	liftFirstsToSeq(Expression exp, Seq ns) All directors from "from" are lifted into the directory maps of "to", to point to the "from"-expression.
protected void	log(String txt)
Module	resolve(Module unresolved) Gets an "unresolved" module and resolves all imports.
protected void	warning(Location<XMLDocumentIdentifier> loc, String txt)

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

modules

protected ModuleRegistry modules

modulesOpen

protected Stack<Module> modulesOpen

Constructor Detail

Resolver

public Resolver(MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msgoutput,
                ModuleRegistry modules)

Method Detail

error

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

error

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

warning

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

hint

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

log

protected void log(String txt)

failure

protected void failure(String txt)

resolve

public Module resolve(Module unresolved)

Gets an "unresolved" module and resolves all imports.
For each import item:

1. loads the raw module,
2. apply all substitutions,
3. and do this for all imported modules recursively.

Then for all declarations process the defining expression:

1. resolve all references
2. expand all local substitutions and insertions
3. (( perform TYPE CHECKING / SITLL MISSING FIXME ???))
4. calculate the values of all character set expressions
5. calculate the director map ".firsts" for later parsing.

findLoop

protected boolean findLoop(Location<XMLDocumentIdentifier> loc,
                           Module mod)

liftFirstsToSeq

public static void liftFirstsToSeq(Expression exp,
                                   Seq ns)

All directors from "from" are lifted into the directory maps of "to", to point to the "from"-expression.