eu.bandm.tools.xslt.base

Class AttributeChecks_valueTemplates

java.lang.Object

eu.bandm.tools.dtm.AttributeChecks

eu.bandm.tools.xslt.base.AttributeChecks_valueTemplates

public class AttributeChecks_valueTemplates
extends AttributeChecks

This is a refinement necessary for xslt of AttributeChecks. Since "attribute value templates" are allowed in xslt code, ill-defined attribute values (in XML sense) must further be analysed, and possibly be removed from error sets. The algorithm steps through the sets of all classified attributes. and moves them from there to the set "computing" iff their values contain template xpath code. Since the base class AttributeChecks is initialized from SAX , all attribute names are unique. ((FIXME stimmt das ???))

Field Summary

Fields

Modifier and Type	Field and Description
protected Set<NamespaceName>	additionalXslt
protected TPathCache	cache
protected Map<NamespaceName,TPathCache.ExprClassified>	computing All attributes which must be computed; represented as parsed and classified TPath expressions.
protected MessageReceiver<SimpleMessage<XMLDocumentIdentifier>>	msg
protected Set<NamespaceName>	nonTemplates
protected Set<NamespaceName>	xsltFound

Fields inherited from class eu.bandm.tools.dtm.AttributeChecks

atts, elDef, loc, missing, nsn2index, ok, undeclared, violateFixed, violateType

Constructor Summary

Constructors

Constructor and Description
AttributeChecks_valueTemplates(MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msg, TPathCache cache, Attributes atts, DTM.Element elDef, Location<XMLDocumentIdentifier> loc, Set<NamespaceName> additionalXslt)

Method Summary

Modifier and Type	Method and Description
boolean	check() Call super.check() and look for "Attribute Value Templates" like "xx{yy}zz" afterwards.
boolean	correctAndConstant()
Set<NamespaceName>	getXsltFound()
protected void	retest(Set<NamespaceName> set)

Methods inherited from class eu.bandm.tools.dtm.AttributeChecks

attValueByNamespaceName, check_more_tokens, check_one_token, check, dump, dump1, get_index, get_loc, get_missing, get_ok, get_undeclared, get_violateFixed, get_violateType, noConstructionProhibitingErrors, noErrors, sendErrorMessages_Undecl_Type_Fixed

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

computing

protected Map<NamespaceName,TPathCache.ExprClassified> computing

All attributes which must be computed; represented as parsed and classified TPath expressions.

additionalXslt

protected Set<NamespaceName> additionalXslt

xsltFound

protected Set<NamespaceName> xsltFound

nonTemplates

protected Set<NamespaceName> nonTemplates

cache

protected final TPathCache cache

msg

protected final MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msg

Constructor Detail

AttributeChecks_valueTemplates

public AttributeChecks_valueTemplates(MessageReceiver<SimpleMessage<XMLDocumentIdentifier>> msg,
                                      TPathCache cache,
                                      Attributes atts,
                                      DTM.Element elDef,
                                      Location<XMLDocumentIdentifier> loc,
                                      Set<NamespaceName> additionalXslt)

Method Detail

getXsltFound

public Set<NamespaceName> getXsltFound()

correctAndConstant

public boolean correctAndConstant()

check

public boolean check()

Call super.check() and look for "Attribute Value Templates" like "xx{yy}zz" afterwards. Use a global TPathCache for parsing. Shift those attributes from their original set to computing. +
In many cases there is no fine-granualr location information, so treat it opaquely. +
+
(FIXME more static checks are possible:

• eg. singular (NMTOKEN) forbids blanks in constant parts
• NMTOKEN(S) NAME(S) can be checked for valid characters
• MORE !?!?

Overrides:

check in class AttributeChecks

retest

protected void retest(Set<NamespaceName> set)