eu.bandm.tools.d2d2.base

Class Resolver4

java.lang.Object

eu.bandm.tools.d2d2.model.MATCH_ONLY_00

eu.bandm.tools.d2d2.model.Rewrite

eu.bandm.tools.d2d2.base.Resolver4

All Implemented Interfaces:

Rewriter

public class Resolver4
extends Rewrite

Executes instantiation of a d2d definition module. This includes the resolving of all imports. This must be done for each definition module exactly once, before it can be used. The returned result (of type ResolvedModule FIXME CURRENTLY FALSE?!) can then be used for the parsing and further processing of input data. This is a one-shot class: generate it for the rootModule and call resolveAllPublics()

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	Resolver4.Binding<T>
protected class	Resolver4.DifferenceFound
class	Resolver4.DistributeToResolved
protected class	Resolver4.Equivalence
protected class	Resolver4.FlattenContext
protected class	Resolver4.ImportContext
protected class	Resolver4.Instance
protected class	Resolver4.LocalInstance

Field Summary

Fields

Modifier and Type	Field and Description
protected @Opt String	currentDefinitionName
protected Resolver4.FlattenContext	currentFlattenContext
protected Resolver4.Binding<Expression>	currentLocalSubsts
protected Resolver4.DifferenceFound	differenceFound
protected CheckedMap_RD<String,Definition>	emptyLocals
protected Resolver4.ImportContext	importContextForDefs
protected Resolver4.ImportContext	importContextForRews
protected Map<Definition,Map<Resolver4.ImportContext,Resolver4.Instance>>	instances
protected Map<Definition,List<Resolver4.LocalInstance>>	localInstances
protected ModuleRegistry	moduleRegistry
protected MessageTee<SimpleMessage<XMLDocumentIdentifier>>	msg Splits to msgcount and to the message channel of the caller.
protected MessageCounter<SimpleMessage<XMLDocumentIdentifier>>	msgcount Own counter to abolish processing when an error has occured.
protected Map<Reference,Resolver4.Instance>	reference2instance
protected ResolvedModule	resolvedModule
protected Resolver4.ImportContext	rootImportContext
protected Module	rootModule
static String	rootModuleExpandedSuffix DOCME
static String	rootModuleSymbolicName DOCME
protected Set<Resolver4.Instance>	waitForClassification

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

cache, mcache, original

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

_visitor_debug_stream, partial

Constructor Summary

Constructors

Constructor and Description
Resolver4(MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msgoutput, ModuleRegistry moduleRegistry, Module rootModule)

Method Summary

Modifier and Type	Method and Description
void	action(Insertion ins)
void	action(Perm x)
void	action(Subst subst)
protected Resolver4.Instance	createNewInstance(Resolver4.ImportContext ic, Definition raw)
void	dumpInstances()
protected boolean	equivalent(Definition def1, Definition def2)
protected boolean	equivalent(Expression exp1, Expression exp2)
protected void	error(Location<XMLDocumentIdentifier> loc, String txt, Object... obj)
protected <T> @Opt Resolver4.Binding<T>	findBinding(@Opt Resolver4.Binding<T> binding, String id)
protected @Opt Resolver4.Instance	findInstance(Definition raw, Resolver4.ImportContext ic)
protected Map<Resolver4.ImportContext,Resolver4.Instance>	findInstances(Definition raw)
protected List<Resolver4.LocalInstance>	findLocalInstances(Definition def)
protected @Opt Resolver4.ImportContext	loadImportedModule(Location<XMLDocumentIdentifier> loc, Resolver4.ImportContext ic, String pref)
protected boolean	localEquivalent(Expression expr, Resolver4.LocalInstance inst)
protected void	processWaitingClassification(Resolver4.Instance instance)
protected void	processWaitingClassifications()
@Opt Module	resolveAllPublics()
protected void	rewriteFields(Alt clone)
protected void	rewriteFields(CharBinary clone)
protected void	rewriteFields(CharSetConst clone) Simply clones.
protected void	rewriteFields(GrUnary clone)
protected void	rewriteFields(ParseParticle clone) Rewrite sub-expression and propagate "empty" upwards.
protected void	rewriteFields(Perm clone)
void	rewriteFields(Reference ref)
protected void	rewriteFields(Seq clone)
protected void	rewriteFields(StringConst clone) Simply clones.
protected void	switchModuleRest(Location<XMLDocumentIdentifier> loc, Reference currentReference, String... prefs)
protected void	visitDefinition(Location<XMLDocumentIdentifier> loc, Reference currentReference, String... prefs)
protected void	visitPossiblyImportedDefinition(Location<XMLDocumentIdentifier> loc, Reference currentReference, String... prefs)
protected void	visitPossiblyImportedDefinition(Location<XMLDocumentIdentifier> loc, Reference currentReference, String id)
protected void	warning(Location<XMLDocumentIdentifier> loc, String txt, Object... obj)

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

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, breakLoop, breakLoop, breakLoop, breakLoop, breakLoop, getResult, isMulti, lookUp, putToCache, revert, rewrite_typed, rewrite, rewriteFields, rewriteFields, rewriteFields, rewriteFields, rewriteFields, rewriteFields, rewriteFields, rewriteFields, rewriteFields, rewriteFields, rewriteFields, rewriteFields, rewriteFields, rewriteFields, rewriteFields, rewriteFields, rewriteFields, rewriteFields, rewriteFields, rewriteFields, rewriteFields, rewriteFields, rewriteFields, rewriteFields, rewriteFields, rewriteFields, rewriteFields, rewriteFields, rewriteFields, substitute_empty, substitute, useCache

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

rootModuleSymbolicName

public static final String rootModuleSymbolicName

DOCME

See Also:

Constant Field Values

rootModuleExpandedSuffix

public static final String rootModuleExpandedSuffix

DOCME

See Also:

Constant Field Values

msg

protected final MessageTee<SimpleMessage<XMLDocumentIdentifier>> msg

Splits to msgcount and to the message channel of the caller.

msgcount

protected final MessageCounter<SimpleMessage<XMLDocumentIdentifier>> msgcount

Own counter to abolish processing when an error has occured.

moduleRegistry

protected final ModuleRegistry moduleRegistry

rootModule

protected final Module rootModule

rootImportContext

protected final Resolver4.ImportContext rootImportContext

resolvedModule

protected final ResolvedModule resolvedModule

currentLocalSubsts

protected Resolver4.Binding<Expression> currentLocalSubsts

importContextForRews

protected Resolver4.ImportContext importContextForRews

importContextForDefs

protected Resolver4.ImportContext importContextForDefs

currentDefinitionName

@Opt
protected @Opt String currentDefinitionName

currentFlattenContext

protected Resolver4.FlattenContext currentFlattenContext

instances

protected Map<Definition,Map<Resolver4.ImportContext,Resolver4.Instance>> instances

localInstances

protected Map<Definition,List<Resolver4.LocalInstance>> localInstances

reference2instance

protected Map<Reference,Resolver4.Instance> reference2instance

waitForClassification

protected Set<Resolver4.Instance> waitForClassification

emptyLocals

protected final CheckedMap_RD<String,Definition> emptyLocals

differenceFound

protected final Resolver4.DifferenceFound differenceFound

Constructor Detail

Resolver4

public Resolver4(MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msgoutput,
                 ModuleRegistry moduleRegistry,
                 Module rootModule)

Method Detail

resolveAllPublics

@Opt
public @Opt Module resolveAllPublics()

error

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

warning

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

findBinding

@Opt
protected <T> @Opt Resolver4.Binding<T> findBinding(@Opt
                                                         @Opt Resolver4.Binding<T> binding,
                                                         String id)

dumpInstances

public void dumpInstances()

findInstances

protected Map<Resolver4.ImportContext,Resolver4.Instance> findInstances(Definition raw)

findInstance

@Opt
protected @Opt Resolver4.Instance findInstance(Definition raw,
                                                    Resolver4.ImportContext ic)

findLocalInstances

protected List<Resolver4.LocalInstance> findLocalInstances(Definition def)

createNewInstance

protected Resolver4.Instance createNewInstance(Resolver4.ImportContext ic,
                                               Definition raw)

action

public void action(Subst subst)

Overrides:

action in class Rewrite

action

public void action(Insertion ins)

Overrides:

action in class Rewrite

rewriteFields

protected void rewriteFields(GrUnary clone)

Overrides:

rewriteFields in class Rewrite

rewriteFields

protected void rewriteFields(Alt clone)

Overrides:

rewriteFields in class Rewrite

rewriteFields

protected void rewriteFields(Perm clone)

Overrides:

rewriteFields in class Rewrite

rewriteFields

protected void rewriteFields(Seq clone)

Overrides:

rewriteFields in class Rewrite

rewriteFields

protected void rewriteFields(CharBinary clone)

Overrides:

rewriteFields in class Rewrite

rewriteFields

protected void rewriteFields(ParseParticle clone)

Rewrite sub-expression and propagate "empty" upwards.

Overrides:

rewriteFields in class Rewrite

rewriteFields

protected void rewriteFields(CharSetConst clone)

Simply clones.

Overrides:

rewriteFields in class Rewrite

rewriteFields

protected void rewriteFields(StringConst clone)

Simply clones.

Overrides:

rewriteFields in class Rewrite

action

public void action(Perm x)

Overrides:

action in class Rewrite

rewriteFields

public void rewriteFields(Reference ref)

Overrides:

rewriteFields in class Rewrite

visitPossiblyImportedDefinition

protected void visitPossiblyImportedDefinition(Location<XMLDocumentIdentifier> loc,
                                               Reference currentReference,
                                               String id)

visitPossiblyImportedDefinition

protected void visitPossiblyImportedDefinition(Location<XMLDocumentIdentifier> loc,
                                               Reference currentReference,
                                               String... prefs)

switchModuleRest

protected void switchModuleRest(Location<XMLDocumentIdentifier> loc,
                                Reference currentReference,
                                String... prefs)

loadImportedModule

@Opt
protected @Opt Resolver4.ImportContext loadImportedModule(Location<XMLDocumentIdentifier> loc,
                                                               Resolver4.ImportContext ic,
                                                               String pref)

visitDefinition

protected void visitDefinition(Location<XMLDocumentIdentifier> loc,
                               Reference currentReference,
                               String... prefs)

localEquivalent

protected boolean localEquivalent(Expression expr,
                                  Resolver4.LocalInstance inst)

processWaitingClassifications

protected void processWaitingClassifications()

processWaitingClassification

protected void processWaitingClassification(Resolver4.Instance instance)

equivalent

protected boolean equivalent(Definition def1,
                             Definition def2)

equivalent

protected boolean equivalent(Expression exp1,
                             Expression exp2)