code: public final ManagedIndex getManagedIndex( String indexName,
                                                 String workspaceName ) {
          logger().trace("Looking for managed index '{0}' in '{1}' provider in workspace '{2}'", indexName, getName(),
                         workspaceName);
          Map<String, AtomicIndex> byWorkspaceNames = providedIndexesByWorkspaceNameByIndexName.get(indexName);
          if (byWorkspaceNames == null) {
              return null;
          }
          AtomicIndex atomicIndex = byWorkspaceNames.get(workspaceName);
          return atomicIndex == null ? null : atomicIndex.managed();
      }
docs: Get the managed index with the given name and applicable for the given workspace.
  
  @param indexName the name of the index in this provider; never null
  @param workspaceName the name of the workspace; never null
  @return the managed index, or null if there is no such index