@Override
public void visit(Index index) {
visitingIndex = index;
if (index == null) {
output.reportFailure(new AISValidationFailure (
new AISNullReferenceException ("table", visitingTable.getName().toString(), "index")));
} else if (index.isTableIndex() && index.rootMostTable() != visitingTable) {
output.reportFailure(new AISValidationFailure (
new BadAISReferenceException ("Table index", index.getIndexName().toString(),
"table", visitingTable.getName().toString())));
} else if (index.isGroupIndex() && ((GroupIndex)index).getGroup() != visitingGroup) {