Interface TextIndex.Result

  • Enclosing class:
    TextIndex

    public static interface TextIndex.Result
    A Result captures the result of a query.
    • Method Detail

      • getResultSet

        java.util.Set<java.lang.String> getResultSet​(TextIndex ti)
        Returns the set of document IDs represented by this result.
        Parameters:
        ti - the text index to query
        Returns:
        the set of documents that match the query