get_index

Description:

public Index? get_index () throws Error

Get the index for a specific repository.

Parameters:

this

a Repository.

Returns:

a Index.