int () { int result = searchScope.hashCode(); result = 31 * result + word.hashCode(); result = 31 * result + (int)searchContext; result = 31 * result + (caseSensitive ? 1 : 0); result = 31 * result + processor.hashCode(); return result; }