override fun getListCellRendererComponent()

in src/main/kotlin/org/arend/search/proof/ArendProofSearchRenderer.kt [75:137]
62 lines of code
6 McCabe index (conditional complexity)

    override fun getListCellRendererComponent(
        list: JList<out ProofSearchUIEntry>,
        value: ProofSearchUIEntry,
        index: Int,
        isSelected: Boolean,
        cellHasFocus: Boolean
    ): Component {
        return runReadAction {
            val bgColor = if (isSelected) selectionBgColor else UIUtil.getListBackground()
            val fgColor = if (isSelected) selectionFgColor else list.foreground
            when (value) {
                is DefElement -> {
                    val (def, renderingInfo) = value.entry
                    val (parameterRenders, codomainRender) = renderingInfo
                    val identifierRange: TextRange
                    val parameterRanges: List<TextRange>
                    val typeRange: TextRange
                    val locationRange: TextRange
                    val text = buildString {
                        append("${def.name} : ")
                        identifierRange = TextRange(0, length - 3)
                        val ranges = mutableListOf<TextRange>()
                        for (parameterIndex in parameterRenders.indices) {
                            append("(")
                            val start = length
                            append(parameterRenders[parameterIndex].typeRep)
                            ranges.add(TextRange(start, length))
                            append(")")
                            append(" -> ")
                        }
                        parameterRanges = ranges
                        val start = length
                        append(codomainRender.typeRep)
                        typeRange = TextRange(start, length)
                        val location = getCompleteModuleLocation(def)
                        locationRange = if (location != null) {
                            append(" of $location")
                            TextRange(typeRange.endOffset, length)
                        } else {
                            TextRange(0, 0)
                        }
                    }
                    if (editor.document.text != text) {
                        editor.document.deleteString(0, editor.document.textLength - 1)
                        editor.document.insertString(0, text)
                    }
                    editor.backgroundColor = bgColor

                    setupHighlighting(isSelected, fgColor, text, identifierRange, parameterRanges, parameterRenders, typeRange, codomainRender, locationRange)
                    editor.component
                }
                is MoreElement -> {
                    textArea.background = bgColor
                    textArea.foreground = fgColor
                    panel.font = UIUtil.getLabelFont().deriveFont(UIUtil.getFontSize(UIUtil.FontSize.SMALL))
                    textArea.text = buildMoreHTML(fgColor)
                    panel.border = null
                    label.icon = null
                    panel
                }
            }
        }
    }