MSV Core 2022.7 · com.sun.msv.verifier.regexp.CombinedChildContentExpCreator

creates "combined child content expression" and gathers "elements of concern" and its "attribute-pruned" content model. Intuitively, "combined child content expression" is a set of content models of "elements of concern", which is appropriately combined to express dependency between elements. "Elements of concern" are ElementExps that are possibly applicable to the next element. These gathered element declarations are then tested against next XML element. "Attribute-pruned" content model is a content model after consuming AttributeTokens and removing unused AttributeExp nodes.

For example, when the current expression is

    <!-- javadoc escape -->
  <choice>
    <concur>
      <element> ..(A).. </element>
      <group>
        <element> ..(B).. </element>
        ...
      </group>
    </concur>
    <group>
      <element> ..(C).. </element>
      ....
    </group>
  </choice>

then the combined child expression is

  <choice>
    <concur>
      ..(A').. 
      ..(B').. 
    </concur>
    ..(C').. 
  </choice>

and elements of concern and its attribute-pruned content models are <element> ..(A).. </element> -> ..(A').. <element> ..(B).. </element> -> ..(B').. <element> ..(C).. </element> -> ..(C').. (A'),(B'), and (C') are attribute-pruned content models of (A),(B), and (C) respectively. Note that combined child pattern contains only <choice> and <concur> as its grue (of course, except ..(A').. , ..(B').. , and ..(C').. ). This function object also calculates "continuation", which is the residual expression after eating elements of concern. For example, say the expression is "(A|(B,C))?,D". When EoC is B, then the continuation will be C,D. When EoC is A, then the continuation will be D. When EoC is D, then the continuation will be epsilon. When there are multiple EoC, (say A and B), then the continuation will be meaningless (because it depends on which EoC will be accepted), and thus won't be used. However, the implementator must be aware that it is possible for a binary operator to have EoC on both branch and EoC is still unique. The following expression is an example. (A|B)*,C?,(A|B)* when A is EoC, SequenceExp of (A|B)* and C?,(A|B)* has EoC on both branch.

Nested and Inner Type Summary

Modifier and Type	Class and Description
public static class	CombinedChildContentExpCreator.ExpressionPair

Modifier and Type	Field and Description
private boolean	checkTagName
private Expression	content
private Expression	continuation
private boolean	foundConcur a flag that indicates that we have 'concur' element to combine elements of concern.
private int	numElements
protected final ExpressionPool	pool
private ElementExp[]	result matched elements.
private StartTagInfo	tagInfo

Access	Constructor and Description
protected	CombinedChildContentExpCreator(ExpressionPool pool)

Method Summary

Modifier and Type	Method and Description
public final CombinedChildContentExpCreator.ExpressionPair	continueGet(Expression combinedPattern, StartTagInfo info, boolean checkTagName)
public CombinedChildContentExpCreator.ExpressionPair	get(Expression if this flag is false, Attribute feeding & pruning are skipped and AttributeExps are fully remained in the resulting expression. combinedPattern, StartTagInfo info, boolean if this flag is false, tag name check is skipped. checkTagName) computes a combined child content pattern and its continuation, with error recovery.
public CombinedChildContentExpCreator.ExpressionPair	get(Expression combinedPattern, StartTagInfo info) computes a combined child content pattern and (,if possible,) its continuation.
public final ElementExp[]	getMatchedElements() obtains matched elements.
public final boolean	Returns: true if the combined child content expression is not the union of all elements of concern. false if otherwise. isComplex() checks if the result of 'get' method is not the union of all elements of concern.
public final int	numMatchedElements() gets the number of matched elements.
public void	onAnyString() Implements com.sun.msv.grammar.ExpressionVisitorVoid.onAnyString.
public void	onAttribute(AttributeExp exp) Implements com.sun.msv.grammar.ExpressionVisitorVoid.onAttribute.
public void	onChoice(ChoiceExp exp) Implements com.sun.msv.grammar.ExpressionVisitorVoid.onChoice.
public void	onConcur(ConcurExp exp) Implements com.sun.msv.grammar.ExpressionVisitorVoid.onConcur.
public void	onData(DataExp exp) Implements com.sun.msv.grammar.ExpressionVisitorVoid.onData.
public void	onElement(ElementExp exp) Implements com.sun.msv.grammar.ExpressionVisitorVoid.onElement.
public void	onEpsilon() Implements com.sun.msv.grammar.ExpressionVisitorVoid.onEpsilon.
public void	onInterleave(InterleaveExp exp) Implements com.sun.msv.grammar.ExpressionVisitorVoid.onInterleave.
public void	onList(ListExp exp) Implements com.sun.msv.grammar.ExpressionVisitorVoid.onList.
public void	onMixed(MixedExp exp) Implements com.sun.msv.grammar.ExpressionVisitorVoid.onMixed.
public void	onNullSet() Implements com.sun.msv.grammar.ExpressionVisitorVoid.onNullSet.
public void	onOneOrMore(OneOrMoreExp exp) Implements com.sun.msv.grammar.ExpressionVisitorVoid.onOneOrMore.
public void	onOther(OtherExp exp) Implements com.sun.msv.grammar.ExpressionVisitorVoid.onOther.
public void	onRef(ReferenceExp exp) Implements com.sun.msv.grammar.ExpressionVisitorVoid.onRef.
public void	onSequence(SequenceExp exp) Implements com.sun.msv.grammar.ExpressionVisitorVoid.onSequence.
public void	onValue(ValueExp exp) Implements com.sun.msv.grammar.ExpressionVisitorVoid.onValue.

Inherited from java.lang.Object:: clone equals finalize getClass hashCode notify notifyAll toString wait wait wait

Field Detail

checkTagName	back to summary
private boolean checkTagName

content	back to summary
private Expression content

continuation	back to summary
private Expression continuation

foundConcur	back to summary
private boolean foundConcur a flag that indicates that we have 'concur' element to combine elements of concern. If 'concur' is used, we have to keep track of combined child content expression to detect errors. If 'concur' is not used, then keeping track of all primitive child content expressions are enough to detect errors.

numElements	back to summary
private int numElements

pool	back to summary
protected final ExpressionPool pool

result	back to summary
private ElementExp[] result matched elements. the buffer is usually bigger than `numElements`, but only first `numElements` items are valid result.

tagInfo	back to summary
private StartTagInfo tagInfo

Constructor Detail

CombinedChildContentExpCreator	back to summary
protected CombinedChildContentExpCreator(ExpressionPool pool)

Method Detail

continueGet	back to summary
public final CombinedChildContentExpCreator.ExpressionPair continueGet(Expression combinedPattern, StartTagInfo info, boolean checkTagName)

get	back to summary
public CombinedChildContentExpCreator.ExpressionPair get(Expression combinedPattern, StartTagInfo info, boolean checkTagName) computes a combined child content pattern and its continuation, with error recovery. After calling this method, caller can call getElementsOfConcern to obtain each EoC. If both feedAttributes and checkTagName are false, then StartTagInfo is also unnecessary. Parameters combinedPattern:Expression if this flag is false, Attribute feeding & pruning are skipped and AttributeExps are fully remained in the resulting expression. checkTagName:boolean if this flag is false, tag name check is skipped.

get

back to summary

public CombinedChildContentExpCreator.ExpressionPair get(Expression combinedPattern, StartTagInfo info, boolean checkTagName)

computes a combined child content pattern and its continuation, with error recovery. After calling this method, caller can call getElementsOfConcern to obtain each EoC. If both feedAttributes and checkTagName are false, then StartTagInfo is also unnecessary.

Parameters

combinedPattern:Expression: if this flag is false, Attribute feeding & pruning are skipped and AttributeExps are fully remained in the resulting expression.
checkTagName:boolean: if this flag is false, tag name check is skipped.

get	back to summary
public CombinedChildContentExpCreator.ExpressionPair get(Expression combinedPattern, StartTagInfo info) computes a combined child content pattern and (,if possible,) its continuation.

getMatchedElements	back to summary
public final ElementExp[] getMatchedElements() obtains matched elements. This method should be called after calling the get method. The result is in effect until the next invocation of get method. The extra care should be taken not to hold reference to the result longer than necessary. The contents of the result is valid only until the next invocation. Because OwnerAndContent objects are reused. Apparently this is a bad design, but this design gives us better performance.

getMatchedElements

back to summary

public final ElementExp[] getMatchedElements()

obtains matched elements. This method should be called after calling the get method. The result is in effect until the next invocation of get method.

The extra care should be taken not to hold reference to the result longer than necessary. The contents of the result is valid only until the next invocation. Because OwnerAndContent objects are reused.

Apparently this is a bad design, but this design gives us better performance.

isComplex	back to summary
public final boolean isComplex() checks if the result of 'get' method is not the union of all elements of concern. Within this class, combined child content expression is always the union of all elements of concern. However, some derived class does not guarantee this property. Returns:boolean true if the combined child content expression is not the union of all elements of concern. false if otherwise.

isComplex

back to summary

public final boolean isComplex()

checks if the result of 'get' method is not the union of all elements of concern. Within this class, combined child content expression is always the union of all elements of concern. However, some derived class does not guarantee this property.

Returns:boolean: true if the combined child content expression is not the union of all elements of concern. false if otherwise.

numMatchedElements	back to summary
public final int numMatchedElements() gets the number of matched elements. This method should be called after calling get method. The result is in effect until next invocation of get method. Apparently this is a bad design, but this design gives us better performance.

onAnyString	back to summary
public void onAnyString() Implements com.sun.msv.grammar.ExpressionVisitorVoid.onAnyString.

onAttribute	back to summary
public void onAttribute(AttributeExp exp) Implements com.sun.msv.grammar.ExpressionVisitorVoid.onAttribute.

onChoice	back to summary
public void onChoice(ChoiceExp exp) Implements com.sun.msv.grammar.ExpressionVisitorVoid.onChoice.

onConcur	back to summary
public void onConcur(ConcurExp exp) Implements com.sun.msv.grammar.ExpressionVisitorVoid.onConcur.

onData	back to summary
public void onData(DataExp exp) Implements com.sun.msv.grammar.ExpressionVisitorVoid.onData.

onElement	back to summary
public void onElement(ElementExp exp) Implements com.sun.msv.grammar.ExpressionVisitorVoid.onElement.

onEpsilon	back to summary
public void onEpsilon() Implements com.sun.msv.grammar.ExpressionVisitorVoid.onEpsilon.

onInterleave	back to summary
public void onInterleave(InterleaveExp exp) Implements com.sun.msv.grammar.ExpressionVisitorVoid.onInterleave.

onList	back to summary
public void onList(ListExp exp) Implements com.sun.msv.grammar.ExpressionVisitorVoid.onList.

onMixed	back to summary
public void onMixed(MixedExp exp) Implements com.sun.msv.grammar.ExpressionVisitorVoid.onMixed.

onNullSet	back to summary
public void onNullSet() Implements com.sun.msv.grammar.ExpressionVisitorVoid.onNullSet.

onOneOrMore	back to summary
public void onOneOrMore(OneOrMoreExp exp) Implements com.sun.msv.grammar.ExpressionVisitorVoid.onOneOrMore.

onOther	back to summary
public void onOther(OtherExp exp) Implements com.sun.msv.grammar.ExpressionVisitorVoid.onOther.

onRef	back to summary
public void onRef(ReferenceExp exp) Implements com.sun.msv.grammar.ExpressionVisitorVoid.onRef.

onSequence	back to summary
public void onSequence(SequenceExp exp) Implements com.sun.msv.grammar.ExpressionVisitorVoid.onSequence.

onValue	back to summary
public void onValue(ValueExp exp) Implements com.sun.msv.grammar.ExpressionVisitorVoid.onValue.

public Class CombinedChildContentExpCreator

Nested and Inner Type Summary

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail

public Class CombinedChildContentExpCreator.ExpressionPair

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Modifier and Type	Field and Description
public final Expression	content
public final Expression	continuation