NameClassAndExpression oldExp ) {
if(checker.check( newExp.getNameClass(), oldExp.getNameClass() )) {
// two attributes/elements collide
NameClass intersection = NameClass.intersection(
newExp.getNameClass(), oldExp.getNameClass() );
reader.reportError(
new Locator[]{
reader.getDeclaredLocationOf(errorContext), // the parent element
reader.getDeclaredLocationOf(newExp),
reader.getDeclaredLocationOf(oldExp)},
getErrorMessage(),
new Object[]{intersection.toString()} );
}
}