Class TREXSequencedStringChecker

java.lang.Object

com.sun.msv.reader.trex.TREXSequencedStringChecker

All Implemented Interfaces:

ExpressionVisitor

public class TREXSequencedStringChecker
extends Object
implements ExpressionVisitor

makes sure that there is no sequenced string. "sequenced string" is something like this. <oneOrMore> <string> abc </string> </oneOrMore> Also, TREX prohibits sequence of typed strings and elements.

In this checker, we introduce a function "f" that takes a string and computes the string-sensitivity of the pattern.

"f" returns 3 bits of information. One is whether it contains elements. Another is whehter it contains text. And the last is whether it contains DataExp/ValueExp.

"f" is computed recursively through the pattern.

Field Summary

Fields

Modifier and Type	Field	Description
private final Set	checkedExps	set of checked Expressions.
private final Map	checkedRefExps	set of checked ReferenceExps.
private static final int	HAS_ANYSTRING
private static final int	HAS_DATA
private static final int	HAS_ELEMENT
private static final Integer[]	intPool	integer pool implementation.
private final TREXBaseReader	reader
private final boolean	rejectTextInInterleave	If this flag is set to true, this class raises an error for anyStrings in two branches of interleave.

Constructor Summary

Constructors

Constructor	Description
TREXSequencedStringChecker(TREXBaseReader reader, boolean _rejectTextInInterleave)

Method Summary

Modifier and Type	Method	Description
private static boolean	isError(Object o1, Object o2)	It is an error if a pattern with data is combined to other patterns.
private static Object	merge(Object o1, Object o2)
Object	onAnyString()
Object	onAttribute(AttributeExp exp)
Object	onChoice(ChoiceExp exp)
Object	onConcur(ConcurExp exp)
Object	onData(DataExp exp)
Object	onElement(ElementExp exp)
Object	onEpsilon()
Object	onInterleave(InterleaveExp exp)
Object	onList(ListExp exp)
Object	onMixed(MixedExp exp)
Object	onNullSet()
Object	onOneOrMore(OneOrMoreExp exp)
Object	onOther(OtherExp exp)
Object	onRef(ReferenceExp exp)
Object	onSequence(SequenceExp exp)
Object	onValue(ValueExp exp)
private static final int	toInt(Object o)

Methods inherited from class Object

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

Field Details

rejectTextInInterleave

private final boolean rejectTextInInterleave

If this flag is set to true, this class raises an error for anyStrings in two branches of interleave.

intPool

private static final Integer[] intPool

integer pool implementation.

HAS_ELEMENT

private static final int HAS_ELEMENT

See Also:

• Constant Field Values

HAS_ANYSTRING

private static final int HAS_ANYSTRING

See Also:

• Constant Field Values

HAS_DATA

private static final int HAS_DATA

See Also:

• Constant Field Values

reader

private final TREXBaseReader reader

checkedExps

private final Set checkedExps

set of checked Expressions. once an ElementExp/AttributeExp is checked, it will be added to this set. this set is used to prevent infinite recursion.

checkedRefExps

private final Map checkedRefExps

set of checked ReferenceExps. Once a ReferenceExp is checked, it will be added (with its result) to this map. This is useful to speed up the check.

Constructor Details

TREXSequencedStringChecker

public TREXSequencedStringChecker(TREXBaseReader reader,
 boolean _rejectTextInInterleave)

Method Details

onRef

public Object onRef(ReferenceExp exp)

Specified by:

onRef in interface ExpressionVisitor

onOther

public Object onOther(OtherExp exp)

Specified by:

onOther in interface ExpressionVisitor

onInterleave

public Object onInterleave(InterleaveExp exp)

Specified by:

onInterleave in interface ExpressionVisitor

onSequence

public Object onSequence(SequenceExp exp)

Specified by:

onSequence in interface ExpressionVisitor

onEpsilon

public Object onEpsilon()

Specified by:

onEpsilon in interface ExpressionVisitor

onNullSet

public Object onNullSet()

Specified by:

onNullSet in interface ExpressionVisitor

onData

public Object onData(DataExp exp)

Specified by:

onData in interface ExpressionVisitor

onValue

public Object onValue(ValueExp exp)

Specified by:

onValue in interface ExpressionVisitor

onList

public Object onList(ListExp exp)

Specified by:

onList in interface ExpressionVisitor

onAnyString

public Object onAnyString()

Specified by:

onAnyString in interface ExpressionVisitor

onAttribute

public Object onAttribute(AttributeExp exp)

Specified by:

onAttribute in interface ExpressionVisitor

onElement

public Object onElement(ElementExp exp)

Specified by:

onElement in interface ExpressionVisitor

toInt

private static final int toInt(Object o)

merge

private static Object merge(Object o1,
 Object o2)

isError

private static boolean isError(Object o1,
 Object o2)

It is an error if a pattern with data is combined to other patterns.

onChoice

public Object onChoice(ChoiceExp exp)

Specified by:

onChoice in interface ExpressionVisitor

onConcur

public Object onConcur(ConcurExp exp)

Specified by:

onConcur in interface ExpressionVisitor

onOneOrMore

public Object onOneOrMore(OneOrMoreExp exp)

Specified by:

onOneOrMore in interface ExpressionVisitor

onMixed

public Object onMixed(MixedExp exp)

Specified by:

onMixed in interface ExpressionVisitor