protected abstract class RestrictionChecker.DuplicateNameChecker
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected int |
areaLen |
protected int[] |
areas
areas.
|
private NameClassCollisionChecker |
checker
Name class checker object.
|
protected NameClassAndExpression[] |
exps
ElementExps will be added into this array.
|
protected int |
expsLen
Number of items in the atts array.
|
Modifier | Constructor and Description |
---|---|
protected |
DuplicateNameChecker() |
Modifier and Type | Method and Description |
---|---|
void |
add(NameClassAndExpression exp)
Adds newly found element or attribute.
|
protected abstract void |
check(NameClassAndExpression exp)
tests a given exp against existing expressions (which are stored in
the exps field.)
|
protected void |
check(NameClassAndExpression newExp,
NameClassAndExpression oldExp)
Tests two name classes to see if they collide.
|
void |
endLeftBranch(int start) |
void |
endRightBranch() |
protected abstract java.lang.String |
getErrorMessage()
Gets the error message resource name.
|
int |
start() |
protected NameClassAndExpression[] exps
protected int expsLen
protected int[] areas
An area is a range of index designated by the start and end. Areas are stored as:
{ start, end, start, end, ... }
The start method gives the index. The endLeftBranch method creates an area by using the start index given by the start method. The endRightBranch method will remove the area.
When testing duplicate attributes, areas are created by ChoiceExp and used to exclude test candidates (as two attributes can share the same name if they are in different branches of choice.)
When testing duplicate elements, areas are created by InterleaveExp and used to include test candidates (as two elements cannot share the same name if they are in different branches of interleave.)
protected int areaLen
private final NameClassCollisionChecker checker
public void add(NameClassAndExpression exp)
protected abstract void check(NameClassAndExpression exp)
public int start()
public void endLeftBranch(int start)
public void endRightBranch()
protected void check(NameClassAndExpression newExp, NameClassAndExpression oldExp)
protected abstract java.lang.String getErrorMessage()