Package 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

Nested Class Summary

Nested Classes

Modifier and Type	Class	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
protected class	Resolver4.ParseParticleGenerator

Field Summary

Fields

Modifier and Type	Field	Description
protected @Opt String	currentDefinitionName
protected Resolver4.FlattenContext	currentFlattenContext
(package private) Resolver4.Instance	currentHypothesis
protected Resolver4.Binding<Expression>	currentLocalSubsts
protected final Resolver4.DifferenceFound	differenceFound
protected final CheckedMap_RD<String,Definition>	emptyLocals
protected Resolver4.ImportContext	importContextForDefs
protected Resolver4.ImportContext	importContextForRews
(package private) boolean	insertMode
protected Map<Definition,Map<Resolver4.ImportContext,Resolver4.Instance>>	instances
protected Map<Definition,List<Resolver4.LocalInstance>>	localInstances
protected final ModuleRegistry	moduleRegistry
protected final MessageTee<SimpleMessage<XMLDocumentIdentifier>>	msg	Splits to msgcount and to the message channel of the caller.
protected final MessageCounter	msgcount	Own counter to abolish processing when an error has occured.
(package private) boolean	partialMode
protected Map<Reference,Resolver4.Instance>	reference2instance
protected final ResolvedModule	resolvedModule
protected final Resolver4.ImportContext	rootImportContext
protected final Module	rootModule
static final String	rootModuleExpandedSuffix	DOCME
static final String	rootModuleSymbolicName	DOCME
(package private) boolean	tagsNotCharParser
protected final int	verbosity
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	Description
Resolver4(MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msgoutput, ModuleRegistry moduleRegistry, Module rootModule, int verbosity)

Method Summary

Modifier and Type	Method	Description
void	action(Insertion ins)	"rewriteFields(9" is NOT called on this level, but "match()" on the contained expression, with a further "FlattenContext" added to their stack.
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(@Opt 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 void	hint(@Opt Location<XMLDocumentIdentifier> loc, String txt, Object... obj)
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 ResolvedModule	resolveAllPublics()
@Opt ResolvedModule	resolveAllPublics_partial()	Allows the module to contain references which are already resolved.
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 id)
protected void	visitPossiblyImportedDefinition(Location<XMLDocumentIdentifier> loc, Reference currentReference, String... prefs)
protected void	warning(@Opt 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, follow_allRawModules, follow_definitions, follow_defInstances, follow_docu, follow_firsts, follow_globalSubsts, follow_imports, follow_itemDocu, follow_localdefs, follow_localSubsts, follow_modules, follow_namespaces, follow_obligates, follow_on, follow_resolved, follow_sources, follow_weakfirsts, follow_xattributes, getResult, isMulti, lookUp, putToCache, revert, rewrite, rewrite_typed, 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, substitute_empty, useCache

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

_visitor_trace, action, action, action, action, compile, followAll_allRawModules, followAll_definitions, followAll_defInstances, followAll_docu, followAll_firsts, followAll_globalSubsts, followAll_imports, followAll_itemDocu, followAll_localdefs, followAll_localSubsts, followAll_modules, followAll_namespaces, followAll_obligates, followAll_on, followAll_resolved, followAll_sources, followAll_weakfirsts, followAll_xattributes, 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 Details

partialMode

boolean partialMode

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 msgcount

Own counter to abolish processing when an error has occured.

moduleRegistry

protected final ModuleRegistry moduleRegistry

verbosity

protected final int verbosity

rootModule

protected final Module rootModule

rootImportContext

protected final Resolver4.ImportContext rootImportContext

resolvedModule

protected final ResolvedModule resolvedModule

tagsNotCharParser

boolean tagsNotCharParser

insertMode

boolean insertMode

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

currentHypothesis

Resolver4.Instance currentHypothesis

emptyLocals

protected final CheckedMap_RD<String,Definition> emptyLocals

differenceFound

protected final Resolver4.DifferenceFound differenceFound

Constructor Details

Resolver4

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

Method Details

resolveAllPublics_partial

@Opt
public @Opt ResolvedModule resolveAllPublics_partial()

Allows the module to contain references which are already resolved. This happens when a resolved module is embedded into the generic xslt module. This mode ignores resolved references, while the other mode resolveAllPublics() throws an IllegalStateException.

resolveAllPublics

@Opt
public @Opt ResolvedModule resolveAllPublics()

error

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

warning

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

hint

protected void hint(@Opt
 @Opt 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)

"rewriteFields(9" is NOT called on this level, but "match()" on the contained expression, with a further "FlattenContext" added to their stack. Thus the result of rewriting is the expansion of thad expression, and the Insertion operator itself is eliminated. (NEW insertions containing only one single reference will be synthesized whenever a cycle is detected.)

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)