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
class	Resolver4.DistributeToResolved	Descend to all reachable References and set their local fields .resolved and sourceText to the result of the rewriting process.
protected class	Resolver4.Inst
protected class	Resolver4.ParseParticleGenerator

Field Summary

Fields

Modifier and Type	Field	Description
protected Map<Resolver4.Inst,Boolean>	activeInsts	For cycle detection of insertions "@".
protected Map<Resolver4.Inst,Classifier.Instance>	allSynthetics	Becomes sensible as soon as Binding has an extended/sematic equality.
(package private) final Classifier	classifier
protected @Opt String	currentDefinitionName	Is ==null iff "c" is visited from "import a = b ^(c/d)"
protected @Opt FlattenContext	currentFlattenContext
protected Binding	currentLocalSubsts
protected int	flattenDepth
protected ImportContext	importContextForDefs
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.Inst>	patchCycles
protected Map<Reference,Classifier.Instance>	reference2instance
protected final ResolvedModule	resolvedModule
protected final ImportContext	rootImportContext
protected final Module	rootModule
static final String	rootModuleExpandedSuffix
static final String	rootModuleSymbolicName
(package private) boolean	tagsNotCharParser
protected final int	verbosity

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

cache, clones, 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)	Central service providing method.

Method Summary

Modifier and Type	Method	Description
void	action(Insertion ins)	"rewriteFields()" 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)
(package private) static String	compoundKey(ImportContext ic)	Return compound string which reflects the path of imports reaching this context.
(package private) static String	compoundKey(ImportContext ic, Definition def)	Return the compound string for the definition instantiation in this context.
(package private) static String	compoundKeyX(ImportContext ic)	Return compound string which reflects the path of imports reaching this context.
(package private) static boolean	equivalentBindings(Binding shorter, Binding longer, Set<String> copies)	Tests whether longer is semantically equivalent to shorter, and shorter is a prefix of longer.
protected void	error(@Opt Location<XMLDocumentIdentifier> loc, String txt, Object... obj)
protected static <T> @Opt Binding	findBinding(@Opt Binding binding, String id)
protected void	hint(@Opt Location<XMLDocumentIdentifier> loc, String txt, Object... obj)
protected void	installCode(Classifier.Instance inst)
(package private) void	installCode_X(Definition def, ImportContext imp)
protected @Opt ImportContext	loadImportedModule(Location<XMLDocumentIdentifier> loc, ImportContext ic, String pref)	Create and store a new import context and load the uninstantiated module text, if not yet done.
(package private) ImportContext	newImportContext(@Opt ImportContext predec, ImportItem importItem, String moduleAddress, Module rawModule, String key)
@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)	Discard the first prefix, as reflected in the global state, and call resolution for the rest components of the identifier.
protected void	TRACE(String s)
protected void	TRACE(Supplier<String> s)
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, action, breakLoop, 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_rawModules, follow_text, 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, rewriteFields, substitute, substitute_empty, useCache

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

_visitor_trace, action, action, action, action, action, compile, 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_rawModules, followAll_text, 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, 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

See Also:

• Constant Field Values

rootModuleExpandedSuffix

public static final String rootModuleExpandedSuffix

See Also:

• Constant Field Values

classifier

final Classifier classifier

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 ImportContext rootImportContext

resolvedModule

protected final ResolvedModule resolvedModule

tagsNotCharParser

boolean tagsNotCharParser

currentLocalSubsts

protected Binding currentLocalSubsts

activeInsts

protected Map<Resolver4.Inst,Boolean> activeInsts

For cycle detection of insertions "@".

patchCycles

protected Map<Reference,Resolver4.Inst> patchCycles

allSynthetics

protected Map<Resolver4.Inst,Classifier.Instance> allSynthetics

Becomes sensible as soon as Binding has an extended/sematic equality.

importContextForDefs

protected ImportContext importContextForDefs

currentDefinitionName

@Opt
protected @Opt String currentDefinitionName

Is ==null iff "c" is visited from "import a = b ^(c/d)"

currentFlattenContext

@Opt
protected @Opt FlattenContext currentFlattenContext

flattenDepth

protected int flattenDepth

reference2instance

protected Map<Reference,Classifier.Instance> reference2instance

Constructor Details

Resolver4

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

Central service providing method. Create a new instance for one particular raw root module. Afterwards resolveAllPublics() must be called. (Can only by used once.)

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.

installCode_X

void installCode_X(Definition def,
 ImportContext imp)

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)

TRACE

protected void TRACE(String s)

TRACE

protected void TRACE(Supplier<String> s)

newImportContext

ImportContext newImportContext(@Opt
 @Opt ImportContext predec,
 ImportItem importItem,
 String moduleAddress,
 Module rawModule,
 String key)

compoundKeyX

static String compoundKeyX(ImportContext ic)

Return compound string which reflects the path of imports reaching this context. This variant returns a symbolic name for the top-level module. Is NOT called recursively but uses compoundKey(ImportContext).

compoundKey

static String compoundKey(ImportContext ic)

Return compound string which reflects the path of imports reaching this context. This variant returns empty string for the top-level module.

compoundKey

static String compoundKey(ImportContext ic,
 Definition def)

Return the compound string for the definition instantiation in this context.

findBinding

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

equivalentBindings

static boolean equivalentBindings(Binding shorter,
 Binding longer,
 Set<String> copies)

Tests whether longer is semantically equivalent to shorter, and shorter is a prefix of longer.

installCode

protected void installCode(Classifier.Instance inst)

action

public void action(Subst subst)

Overrides:

action in class Rewrite

action

public void action(Insertion ins)

"rewriteFields()" 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 that 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)

Discard the first prefix, as reflected in the global state, and call resolution for the rest components of the identifier.

loadImportedModule

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

Create and store a new import context and load the uninstantiated module text, if not yet done.

visitDefinition

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