in src/main/kotlin/consumer/ScipService.kt [68:72]
fun findSymbolOccurrences(symbolString: String): List<OccurrenceInDocument> {
return activeIndex?.documentsList?.flatMap {
doc -> doc.occurrencesList.filter { it.symbol == symbolString }.map { OccurrenceInDocument(doc, it) }
} ?: emptyList()
}