TIndexDef findIndex(String indexName) { final result = super.find(indexName) as TIndexDef?; if (result == null) { databaseErrorFmt(SIndexNotFound, [indexName], _dataset); } return result; }