Package eu.bandm.tools.d2d2.base
Class TypeCheck
java.lang.Object
eu.bandm.tools.d2d2.model.MATCH_ONLY_00
eu.bandm.tools.d2d2.model.SinglePhase
eu.bandm.tools.d2d2.base.TypeCheck
ATTENTION: Typecheck itself NOT YET used, BUT collectAttributes.
Important in Udom2Sax (and in Def2Dtd)! FIXME make non-invasive !?!?!
- "new TypeCheck().check(..)" NOT YET USED
- "new TypeCheck.AttributeCollector().collectAttributes(...)" crrently used from "Umod2Sax"
- "CollectParseParticles()" still missing
-
Nested Class Summary
Modifier and TypeClassDescriptionprotected static class
static enum
-
Field Summary
Modifier and TypeFieldDescriptionprotected MessageReceiver<SimpleMessage<XMLDocumentIdentifier>>
protected TypeCheck.Type
protected Map<Expression,
TypeCheck.Type> Fields inherited from class eu.bandm.tools.d2d2.model.MATCH_ONLY_00
_visitor_debug_stream, partial
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
void
void
void
void
void
void
check
(Module mod, MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msg) static Set<Definition>
collectAttributes
(XRegExp host) Every XRegExp has a local cache with definitions which are realized as attributes.static Set<Expression>
collectAttributesOpt
(XRegExp host) Delivers an Expression ONLY for indicating whether the attribute is optional.protected void
error
(Expression exp, String text) protected TypeCheck.Type
testDefinition
(Expression caller, XRegExp x) protected void
protected TypeCheck.Type
typeOf
(Expression 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, 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
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
-
Field Details
-
msg
-
types
-
currentlyOpen
-
result
-
-
Constructor Details
-
TypeCheck
public TypeCheck()
-
-
Method Details
-
get_types
-
check
-
error
-
testDefinition
-
typeOf
-
action
- Overrides:
action
in classSinglePhase
-
twoCharSets
-
action
- Overrides:
action
in classSinglePhase
-
action
- Overrides:
action
in classSinglePhase
-
action
- Overrides:
action
in classSinglePhase
-
action
- Overrides:
action
in classSinglePhase
-
action
- Overrides:
action
in classSinglePhase
-
collectAttributesOpt
Delivers an Expression ONLY for indicating whether the attribute is optional. +
FIXME this is currently NOT in the cache, needs UNIFICATION! statt SET besser MAP Definition -> Boolean (is optional) -
collectAttributes
Every XRegExp has a local cache with definitions which are realized as attributes. This function updates this cache, if necessary. FIXME use this cache also for OPT indication
-